A framework for testing object oriented software using formal specifications

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1088, Issue , 1996, Pages 159-170

  Fletcher, Rohan ^a   Sajeev, A S M ^a  

^a MONASH UNIVERSITY   (Australia)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 84875033747     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/BFb0013486     Document Type: Conference Paper

References (13)

1. Nina Amla and Paul Ammann. Using Z specifications in category partition testing. In Compass 1992 Proceedings of the annual conference on computer assurance, pages 3-10, 1992.
2. David Carrington and Phil Stocks. A tale of two paradigms: Formal methods and software testing. Technical report, Software Verification Research Center, Department of Computer Science, The University of Queensland, Queensland 4072, February 1994.
3. Antoni Diller. Z—An Introduction to Formal Methods. John Wiley and Sons Ltd., Chichester, West Sussex P019 1UD, England, 1990.
4. Roong-Ko Doong and Phyllis G Frankl. The ASTOOT approach to testing object object-oriented programs. ACM Transactions on Software Engineering and Methodology, 3(2):101-30, 1994.
5. Roger Duke, Paul King, Gordon Rose, and Graeme Smith. The Object-Z specification language: Version 1. Technical report, Sofware Verification Research Center: Department of Computer Science, The University of Queensland Queensland 4072 Australia, May 1991.
6. Rohan Schreiber Fletcher. Testing of object-oriented software using formal specifications. Master Thesis, Department of Software Development, Monash Univer- sity:260, November 1995.
7. Pankaj Jalote. Testing the completeness of specifications. IEEE Transactions on Software Engineering, 15(5):526-31, May 1989.
8. Shekhar Kirani, and W T Tsai. Specification and verification of object-oriented programs. Technical report, Computer Science Department, University of Minnesota, Minneapolis, MN 55455, December 1994.
9. Gilbert Laycock. Formal specifications and testing: a case study. Software Testing, Verification and Reliability, 2(1):7-23, May 1992.
10. Bertrand Meyer. Eiffel The Language. Prentice Hall International, Campus 400, Maylands Avenue, Hemel Hempstead, Hertfordshire, HP2 7EL, 1992.
11. M. D. Smith and D. J. Robson. A framework for testing object-oriented programs. Journal of Object-Oriented Programming, 5(3):45-53, June 1992.
12. C. D. Turner, and D. J. Robson. State-based testing and inheritance TR 1/93. Technical report, Computer Science Division, School of Engineering and Computer Science(SECS), University of Durham, Durham, England, April 1993.
13. C. D. Turner, and D. J. Robson. A suite of tools for the state-based testing of object- oriented programs TR-14/92. Technical report, Computer Science Division, School of Engineering and Computer Science(SECS), University of Durham, Durham, England, April 1993.