Issue No. 04 - Dec. (1975 vol. 1)
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.
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. , pp. 350-357, Dec. 1975, doi:10.1109/TSE.1975.6312864