Automatic generation of auto-checking testing functions

Details Automatic generation of auto-checking testing functions Automatic generation of auto-checking testing functions

1992-06-30

1994-10-18

Cosimano, Edward R.

Boots, shoes, and leggings

371 19, G06F 1520

Patent

active

053574524

ABSTRACT:
An auto-checking testing funtion generator is provided for generating auto-checking testing functions for procedures of a software interface from a formal specification specifying the procedures. The procedures are specified with procedure semantic expressions identifying the procedures and specifying their arguments, returning results, raisable exceptions, exceptional and normal terminations. Each exception or normal termination specifies the correct post-execution exception or normal termination state for the procedure given a particular pre-execution state. The procedure semantic expressions are boolean expressions constructed using comparison and boolean operators, calls to the procedure, auxiliary and special functions. The auxiliary functions are user supplied, and the special functions are supplied by the auto-checking testing funtion generator. An auto-checking testing funtion is generated for each procedure. Each generated auto-checking testing funtion has the same execution flow for determining whether the procedure behaved properly or improperly when executed. The execution flow makes the determination by evaluating the specified exceptional and normal terminations.

REFERENCES:
patent: 4550406 (1985-10-01), Neal
patent: 4595981 (1986-06-01), Leung
patent: 4729096 (1988-03-01), Larson
patent: 5159600 (1992-10-01), Chintapalli et al.
Robert Dunn, Software Defect Removal, McGraw Hill, 1984, pp. 232-251.
Glenford Myers, The Art of Software Testing, Wiley-Interscience, 1979 pp. 4-16, 44-55, 147-164.
Randall Neff, ADA/ANNA Specification Analysis, Technical Report: CSL-TR-89-406, Computer Systems Laboratory, Dept. of Electrical Engineering & Computer Science, Stanford U., Stanford, Calif. 94305-4055.
Denise M. Woit, An Analysis of Black Box Testing Techniques, May 1992, CSL Report No. 245, Telecommunications Research Institute of Ontario (TRIO), McMaster U., Hamilton, Ontario, L8S 4K1.

Affiliated with

Also associated with

Rating

Automatic generation of auto-checking testing functions does not yet have a rating. At this time, there are no reviews or comments for this patent.

If you have personal experience with Automatic generation of auto-checking testing functions, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Automatic generation of auto-checking testing functions will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFUS-PAI-O-2377542