Generating a test oracle from program documentation: Work in progress

Proceedings of the 1994 ACM SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 1994

Volumn , Issue , 1994, Pages 58-65

  Peters, Dennis ^a   Pamas, David L ^a  

^a MCMASTER UNIVERSITY   (Canada)

Author keywords

[No Author keywords available]

Indexed keywords

CONCRETES; PROGRAM DOCUMENTATION; SPECIFICATIONS; TESTING;

FORMAL DOCUMENTATION; PROGRAM VARIABLES; RELATIONAL MODEL; RELATIONAL SPECIFICATION; TABULAR EXPRESSIONS; TEST EXECUTION; TEST ORACLES; WORK IN PROGRESS;

SOFTWARE TESTING;

EID: 84989202112     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/186258.186508     Document Type: Conference Paper

References (17)

1. Antoy, S. & Hamlet, R., "Objects that Check Themselves against Formal Specifications", TR 91-1, Dept. of Computer Science, Portland State University School of Engineering and Applied Sciences, Portland, OR. 18 Pgs.
2. Bernot, G., Gaudel M. C. & Marre, B., "Software Testing Based on Formal Specifications: A Theory and a Tool", Software Engineering Journal, Vol. 6, pp. 387-405.
3. Chapman, D., "A Program Testing Assistant", Communications of the ACM, Vol. 25, No. 9(September 1982), pp. 625-634.
4. Gannon, J., McMullin, P. & Hamlet, R., "Data-Abstraction Implementation, Specification, and Testing", ACM Transactions on Programming Languages and Systems, Vol. 3, No. 3(July 1981), pp. 211-223.
5. Gerhart, S., Craigen, D. & Ralston, T., "Experience with Formal Methods in Critical Systems", IEEE Software, (January, 1994) pp. 21-28.
6. Hamlet, R. G., "Testing Programs with the Aid of a Compiler", IEEE Transactions on Software Engineering, Vol. SE-3, No. 4(July 1977), pp. 279-290.
7. Luckham, D. C, von Henke, F. W., Krieg-Brückner, B. & Owe, O., ANNA A Language for Annotating Ada Programs Reference Manual, Lecture Notes in Computer Science, 260, Goos, G. & Hartmanis, J. (editors), Springer-Verlag, 1987.
8. Panzl, D. J., "Automatic Software Test Drivers", Computer, April 1978, pp. 44-50.
9. Pamas, D. L., "A Generalized Control Structure and Its Formal Definition", Communications of the ACM, Vol. 26, No. 8(August 1983), pp. 572-581.
10. Parnas, D. L. & Madey, J., "Functional Documentation for Computer Systems Engineering (Version 2) ", CRL Report No. 237, Telecommunications Research Institute of Ontario (TRIO), September 1991, 14 pgs.
11. Parnas, D. L., Madey, J. & Iglewski, M., "Formal Documentation of Well-Structured Programs", CRL Report No. 259, Telecommunications Research Institute of Ontario (TRIO), September 1992, 37 pgs.
12. Parnas, D. L., "Tabular Representation of Relations", CRL Report No. 260, Telecommunications Research Institute of Ontario (TRIO), November 1992, 17 pgs.
13. Parnas, D. L., "Predicate Logic for Software Engineering", IEEE Transactions on Software Engineering, Vol. 19, No. 9(September 1993), pp. 856-862.
14. Peters, D. K., "Shortest Path Algorithm - Formal Program Documentation", CRL Report No. 280, Telecommunications Research Institute of Ontario (TRIO), February 1994, 11 pgs.
15. Richardson, D. J., Aha, S. L. & O'Malley, T. O. "Specification-based Test Oracles for Reactive Systems", Proceedings of the 1992 International Conference on Software Engineering (ICSE), (May, 1992), pp. 105-118.
16. Stocks, P. & Carrington, D., "Test Template Framework: A specification-based testing case study", Proceedings of the 1993 International Symposium on Software Testing and Analysis (ISSTA), (June, 1993), pp. 11-18.
17. Weyuker, E. J., "On Testing Non-testable Programs", The Computer Journal, Vol. 25, No. 4(1982), pp. 465-470.