Cited By
View all- Chusho T(1987)Test Data Selection and Quality Estimation Based on the Concept of Essential Branches for Path TestingIEEE Transactions on Software Engineering10.1109/TSE.1987.23319613:5(509-517)Online publication date: 1-May-1987
HITS: a symbolic testing and debugging system for multilingual microcomputer software
Authors: 
Takeshi Chusho, Atsushi Tanaka, Eri Okamoto, Akinori Honda, Toru KurosakiAuthors Info & Claims
Takeshi Chusho, Atsushi Tanaka, Eri Okamoto, Akinori Honda, Toru KurosakiAuthors Info & ClaimsPages 73 - 80
Abstract
The use of a large-scale computer is the key to the development of increasingly numerous and large-scale microcomputer software programs. HITS (Highly Interactive Testing-and-debugging System) constructs an integrated programming environment for 68000 microcomputer systems on a large-scale computer in cooperation with language translators. This system supports efficient and effective software validation from module testing through system testing. Functions of HITS are provided in the test-procedure description language, in which test data, expected results and the testing environment are described and separated from the target program. The main features are (1) symbolic support of both a high-level language and an assembly language, (2) module testing facilities such as driver and stub definitions, (3) a testing coverage monitor for branch testing, (4) debugging commands added temporarily to a test procedure from a terminal, and (5) a macro definition for language extension. HITS has already been used at many sites. In our early experience of applying it to the software development of various communication systems, software productivity and reliability were considerably improved.
References
[1]
Guide to Intellec Microcomputer Development Systems. Santa Clara, Calif.: Intel Corporation, 1978.
[2]
Eanes, R. S., C. K. Hitcon, R. M. Thall, and J. W. Brackett. "An Environment for Producing Well-Engineered Microcomputer Software." Proceedings of the 4th International Conference on Software Engineering, 1979, pp. 386--398.
[3]
Hitachi Microcomputer System: 68000 Super-PL/H Language Manual. Tokyo: Hitachi Ltd., 1981.
[4]
Chusho, T., T. Watanabe, T. Kurosaki, and T. Yamamoto. "Design Concepts of a Microcomputer Software Testing and Debugging System." The Fall Conference of Information Processing Society of Japan (in Japanese) 1981, pp. 419--420.
[5]
Miller, E. F., and W. E. Howden. "Tutorial: Software Testing and Validation Techniques," IEEE Catalog No. EHO 138--8, 1978.
[6]
Module Testing System (MTS) Fact Book. London: Management Systems and Programming Ltd., 1972.
[7]
Panzl, D. J. "Automatic Software Testing Drivers." Computer, 11 (1978), pp. 44--50.
[8]
Myers, G. I. The Art of Software Testing. New York: Wiley-Interscience, 1979.
[9]
Sorkowitz, A. R. "Certification Testing: A Procedure to Improve the Quality of Software Testing." Computer, 12 (1979), pp. 20--24.
[10]
Holthouse, M. A., and M. J. Hatch. "Experience with Automated Testing Analysis." Computer, 12 (1979), pp. 33--36.
[11]
Howden, W. E. "Applicability of Software Validation Techniques to Scientific Programs." ACM TOPLAS, 2 (1980), pp. 307--320.
[12]
Miller, E. F. "Program Testing: Art Meets Theory." Computer, 10 (1977), pp. 42--51.
- HITS: a symbolic testing and debugging system for multilingual microcomputer software
Recommendations
Layout-sensitive language extensibility with SugarHaskell
Haskell '12: Proceedings of the 2012 Haskell SymposiumProgrammers need convenient syntax to write elegant and concise programs. Consequently, the Haskell standard provides syntactic sugar for some scenarios (e.g., do notation for monadic code), authors of Haskell compilers provide syntactic sugar for more ...
Comparing the effectiveness of hits and salsa
CIKM '07: Proceedings of the sixteenth ACM conference on Conference on information and knowledge managementThis paper compares the effectiveness of two well-known query-dependent link-based ranking algorithms, "Hyperlink-Induced Topic Search" (HITS) and the "Stochastic Approach for Link-Structure Analysis" (SALSA). The two algorithms are evaluated on a very ...
Authority Rankings from HITS, PageRank, and SALSA: Existence, Uniqueness, and Effect of Initialization
Algorithms such as Kleinberg's HITS algorithm, the PageRank algorithm of Brin and Page, and the SALSA algorithm of Lempel and Moran use the link structure of a network of web pages to assign weights to each page in the network. The weights can then be ...
Comments
Information & Contributors
Information
Published In
May 1983
808 pages
ISBN:0882830392
DOI:10.1145/1500676
Copyright © 1983 ACM.
Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]
Sponsors
- AFIPS: American Federation of Information Processing Societies
Publisher
Association for Computing Machinery
New York, NY, United States
Publication History
Published: 16 May 1983
Check for updates
Qualifiers
- Research-article
Contributors
Other Metrics
Bibliometrics & Citations
Bibliometrics
Article Metrics
- View Citations1Total Citations
- 86Total Downloads
- Downloads (Last 12 months)16
- Downloads (Last 6 weeks)6
Reflects downloads up to 07 Mar 2025
Other Metrics
Citations
Cited By
View all- Chusho T(1987)Test Data Selection and Quality Estimation Based on the Concept of Essential Branches for Path TestingIEEE Transactions on Software Engineering10.1109/TSE.1987.23319613:5(509-517)Online publication date: 1-May-1987
View Options
Login options
Check if you have access through your login credentials or your institution to get full access on this article.
Sign in