The Community for Technology Leaders
RSS Icon
Subscribe
Issue No.04 - Dec. (1975 vol.1)
pp: 350-357
Richard E. Fairley , Computing Science Division, Department of Industrial Engineering, Texas A&M University, College Station, Tex. 77843
ABSTRACT
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
CITATION
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
10 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool