Automatic generation of test scripts from formal test specifications

ABSTRACT

TSL is a language for writing formal test specifications of the functions of a software system. The test specifications are compiled into executable test scripts that establish test environments, assign values to input variables, perform necessary setup and cleanup operations, run the test cases, and check the correctness of test results. TSL is a working system that has been used to test commercial software in a production environment.

REFERENCES

• 1: Jonathan A. Bauer , Alan B. Finger, Test plan generation using formal grammars, Proceedings of the 4th international conference on Software engineering, p.425-432, September 17-19, 1979, Munich, Germany
• 2: David L Bird , Carlos Urias Munoz, Automatic generation of random self-checking test cases, IBM Systems Journal, v.22 n.3, p.229-245, 1983
• 3: Duncan, A.G. Test grammars: A method for generating program test data. In Digest for the Workshop on Software Testing and Test Documentation. (Dec. 1978, Ft. Lauderdale, Florida). IEEE, 270-283.
• 4: A. G. Duncan , J. S. Hutchison, Using attributed grammars to test designs and implementations, Proceedings of the 5th international conference on Software engineering, p.170-178, March 09-12, 1981, San Diego, California, United States
• 5: Elmendorf, W.R. Functional analysis using causeeffect graphs. In Proceedings of SHARE XLJII (1974, New York). Share.
• 6: Goodenough, J.B. and Gerhart, S.L. Toward a theory of test data selection. IEEE Trans. Softw. Eng. SE-2,2 (June 1975), 156-173.
• 7: Hamlet, D. and Taylor, R. Partition testing does not inspire confidence. In Proceedings of the Second Workshop on Testing, Verification, and Analysis (July 1988, Banff, Alberta). IEEE, 1988.
• 8: William Homer , Richard Schooler, Independent testing of compiler phases using a test case generator, Software—Practice & Experience, v.19 n.1, p.53-62, Jan. 1989 [doi>10.1002/spe.4380190106]
• 9: Howden, W.E. Functional Program Testing. Technical Report DM-146-IR, University of Victoria, Victoria, B.C., Canada, August 1978.
• 10: Glenford J. Myers, Softwear Reliability, John Wiley & Sons, Inc., New York, NY, 1976
• 11: T. J. Ostrand , M. J. Balcer, The category-partition method for specifying and generating fuctional tests, Communications of the ACM, v.31 n.6, p.676-686, June 1988 [doi>10.1145/62959.62964]
• 12: Debra J. Richardson , Lori A. Clarke, A partition analysis method to increase program reliability, Proceedings of the 5th international conference on Software engineering, p.244-253, March 09-12, 1981, San Diego, California, United States
• 13: Weyuker, E.J. and O&and, T.J. Theories of program testing and the application of revealing subdomains. IEEE Transactions on Software Engineering SE-6.3 (May 1980), 236-246.

INDEX TERMS

Primary Classification:
  I. Computing Methodologies
  I.2 ARTIFICIAL INTELLIGENCE
      I.2.2 Automatic Programming
          Subjects: Program transformation

Additional Classification:
  D. Software
  D.2 SOFTWARE ENGINEERING
      D.2.5 Testing and Debugging
          Subjects: Testing tools (e.g., data generators, coverage testing)

General Terms:
Languages, Reliability, Verification