This Article 
 Bibliographic References 
 Add to: 
An experimental program-testing facility
Dec. 1975 (vol. 1 no. 4)
pp. 350-357
Richard E. Fairley, Computing Science Division, Department of Industrial Engineering, Texas A&M University, College Station, Tex. 77843
This paper describes an experimental program testing facility called the interactive semantic modeling system (ISMS). The ISMS is designed to allow experimentation with a wide variety of tools for collecting, analyzing, and displaying testing information. The design methodology is applicable to procedural programming languages, and Algol 60 is being used as the vehicle for elaboration of design principles and implementation techniques. This paper discusses the ISMS design, and describes the various types of analysis and display tools being developed to facilitate program testing. The ISM Preprocessor is described, and an example is presented to illustrate the data structures utilized in the ISMS.
Index Terms:
History,Computational modeling,Testing,Semantics,Syntactics,Algorithms,Programming,static analysis,Dynamic analysis,preprocessors,semantic models,software testing
Richard E. Fairley, "An experimental program-testing facility," IEEE Transactions on Software Engineering, vol. 1, no. 4, pp. 350-357, Dec. 1975, doi:10.1109/TSE.1975.6312864
Usage of this product signifies your acceptance of the Terms of Use.