E. F. Miller
Abstract
Software quality enhancement can be achieved in the near term through use of a systematic program testing methodology. The methodology attempts to relate functional software testcases with formal software specifications as a means to achieve correspondence between the software and its specifications. To do this requires generation of appropriate testcase data.
Automatic testcase generation is based on
During backtracking a number of simplifying, consolidating, and consistency analyses are applied. The result is either (1) early recognition of the impossibility of a particular program flow, or (2) efficient generation of input variable specifications which cause the testcase to traverse each portion of the required program flow.
A number of machine output examples of the backtracking facility are given, and the general effectiveness of the entire process is discussed.
- 1 Methodology for Comprehensive Software Testing, Program Validation Project, General Research Corporation CR-1-465, 1 October 1974.Google Scholar
- 2 E. F. Miller, Jr. and W. R. Wisehart, Automated Tools to Support Software Quality Assurance, Program Validation Project, General Research Corporation U77, April 1974.Google Scholar
- 3 C. V. Ramamoorthy, Reliability and Integrity of Large Computer Programs, Electronics Research Laboratory, UC Berkeley, ERL-M430, March 1974.Google Scholar
- 4 D. Reifer, Computer Program Verification/Validation/Certification, Aerospace Corp., May 1974.Google Scholar
- 5 E. F. Miller, Jr. et al., Structurally Based Automatic Program Testing, EASCON-74, Washington, D.C., 7-9 October 1974.Google Scholar
- 6 B. Elspas, et al., "An Assessment of Techniques for Proving Program Correctness," Computing Surveys, June 1972. Google ScholarDigital Library
- 7 E. Ashcroft and Z. Manna, "The Translation of GOTO Program to WHILE Programs," Information Processing 71, North Holland Publishing Co., 1972.Google Scholar
- 8 J. E. Sullivan, "Measuring the Complexity of Computer Software," MITRE Corp. MTR-2648, June 1973.Google Scholar
- 9 M. R. Paige, A Methodology for Generating Paths in a Directed Graph, General Research Corporation IM-1816, November 1973 (GRC PRIVATE/PROPRIETARY).Google Scholar
- 10 RXVP-1 Reference Manual, General Research Corporation, 1975.Google Scholar
- 11 RXVP-2 System Specification, Program Validation Project, General Research Corporation, 1 October 1974 (GRC PROPRIETARY).Google Scholar
Index Terms
- Automated generation of testcase datasets
Recommendations
Automated generation of testcase datasets
Proceedings of the international conference on Reliable softwareSoftware quality enhancement can be achieved in the near term through use of a systematic program testing methodology. The methodology attempts to relate functional software testcases with formal software specifications as a means to achieve ...
Engineering Software Under Statistical Quality Control
Eight common misconceptions of software quality are examined and refuted. The concept of cleanroom engineering of software is introduced. Cleanroom engineering achieves intellectual control by applying rigorous, mathematics-based engineering practices, ...
Factors affecting effective software quality management revisited
Developing a good software system is a very complex task. In order to produce a good software product, several measures for software quality attributes need to be taken into account. System complexity measurement plays a vital role in controlling and ...
Comments