From Object-Z specifications to ClassBench test suites

Software Testing Verification and Reliability

Volumn 10, Issue 2, 2000, Pages 111-137

  Carrington, David ^a   MacColl, Ian ^a   McDonald, Jason ^a   Murray, Leesa ^a   Strooper, Paul ^a  

^a UNIVERSITY OF QUEENSLAND   (Australia)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER HARDWARE DESCRIPTION LANGUAGES; FINITE AUTOMATA; FORMAL LANGUAGES; OBJECT ORIENTED PROGRAMMING; SOFTWARE ENGINEERING;

FINITE STATE MACHINE; FORMAL SPECIFICATION; SPECIFICATION BASED TESTING;

COMPUTER SOFTWARE SELECTION AND EVALUATION;

EID: 0034206998     PISSN: 09600833     EISSN: None     Source Type: Journal    
DOI: 10.1002/1099-1689(200006)10:2<111::AID-STVR204>3.0.CO;2-P     Document Type: Article

References (36)

1. Bowen JP, Hinchey MG. Ten commandments of formal methods. Computer 1995; 28(4): 56-63.
2. Binder RV. Testing object-oriented software: a survey. Software Testing, Verification and Reliability 1996; 6(3/4): 125-252.
3. Stocks P, Carrington D. A framework for specification-based testing. IEEE Transactions on Software Engineering 1996; 22(11): 777-793.
4. Duke R, Rose G. Formal Object-Oriented Specification Using Object-Z. Macmillan, Basingstoke, 2000, to be published.
5. Duke R, Rose G, Smith G. Object-Z: a specification language advocated for the description of standards. Computer Standards & Interfaces 1995; 17(5/6): 511-533.
6. Hoffman DM, Strooper PA. The testgraph methodology: Automated testing of collection classes. Journal of Object-Oriented Programming 1995; 8(7): 35-41.
7. Hoffman DM, Strooper PA. ClassBench: a methodology and framework for automated class testing. Software Practice and Experience 1997; 27(5): 573-597.
8. Murray L, Carrington D, MacColl I, Strooper P. Extending Test Templates with inheritance. In Australian Software Engineering Conference (ASWEC97). IEEE Computer Society, 1997; 80-87.
9. Murray L, Carrington D, MacColl I, McDonald J, Strooper P. Formal derivation of finite state machines for class testing. In Z User Meeting (ZUM98), LNCS vol. 1493. Springer-Verlag, 1998; 42-59 (also SVRC TR98-03).
10. Murray L, McDonald J, Strooper PA. Specification-based class testing with ClassBench. In Asia-Pacific Software Engineering Conference (APSEC98). 1998; 164-173 (also SVRC TR98-12).
11. McDonald J, Strooper PA. Translating Object-Z specifications to passive test oracles. In International Conference on Formal Engineering Methods (ICFEM98). IEEE 1998; 165-174. (extended version appears as SVRC TR98-04).
12. MacColl I, Murray L, Strooper P, Carrington D. Specification-based object-oriented testing: a case study. In International Conference on Formal Engineering Methods (ICFEM98). IEEE, 1998; 222-231.
13. Lindsay P. The Dependency Management System case study. Technical Report 94-01, Software Verification Research Centre, The University of Queensland, Australia, 1994.
14. Spivey JM. The Z Notation: a Reference Manual (2nd edn). Prentice Hall, 1992.
15. McDonald J. Translating Object-Z specifications to passive test oracles. Technical Report TR98-04, Software Verification Research Centre, The University of Queensland, Australia, 1998.
16. McDonald J, Hoffman DM, Strooper PA. Programmatic testing of the standard template library containers. In Automated Software Engineering (ASE'98). IEEE Computer Society 1998; 147-156.
17. Stocks P. Applying formal methods to software testing. PhD thesis, Department of Computer Science, The University of Queensland, 1993.
18. Murray L, Canington D, MacColl I, Strooper P. TinMan - a test derivation and management tool for specification-based class testing. In Technology of Object-Oriented Languages and Systems (TOOLS 32). IEEE Computer Society, 1999; 222-233 (also SVRC TR99-07).
19. Dick J, Faivre A. Automating the generation and sequencing of test cases from model-based specifications. In Formal Methods Europe (FME93), LNCS vol. 670. Springer-Verlag, 1993; 268-284.
20. Hörcher H-M. Improving software tests using Z specifications. In Z User Meeting (ZUM95), LNCS vol. 967. Springer-Verlag, 1995; 152-166.
21. Johnston W. A type checker for Object-Z. Technical Report 96-24, Software Verification Research Centre, The University of Queensland, Australia, 1996.
22. Gaudel M-C. Testing can be formal too. In Theory and Practice of Software Development (TAPSOFT95), LNCS vol. 915. Springer-Verlag, 1995; 82-96.
23. Stepney S. Testing as abstraction. In Z User Meeting (ZUM95). LNCS vol. 967. Springer-Verlag, 1995; 137-151.
24. Hierons RM. Testing from a Z specification. Software Testing, Verification and Reliability 1997; 7(1): 19-33.
25. Turner CD, Robson DJ. A state-based approach to the testing of class-based programs. Software - Concepts and Tools 1995; 16(3): 106-112.
26. Antoy S, Hamlet R. Objects that check themselves against formal specifications. Technical Report 91-1, Department of Computer Science, Portland State University School of Engineering and Applied Sciences, 1991.
27. Mikk E. Compilation of Z specifications in C for automatic test result evaluation. In Proceedings of the Ninth Annual Z User Meeting, LNCS vol. 967. Springer-Verlag, Berlin 1995; 167-180.
28. Peters DK, Parnas DL. Using test oracles generated from program documentation. IEEE Transactions on Software Engineering 1998; 24(3): 161-173.
29. Chang KH, Liao S-S, Seidman SB, Chapman R. Testing object-oriented programs: from formal specification to test scenario generation. The Journal of Systems and Software 1998; 42(2): 141-151.
30. Bosman O, Schmidt HW. Object test coverage using finite state machines. In Technology of Object-Oriented Languages and Systems (TOOLS 18). Prentice-Hall, 1995; 171-178.
31. Harel D. Statecharts: a visual formalism for complex systems. Science of Computer Programming 1987; 8(3): 231-274.
32. Doong R-K, Frankl PG. The ASTOOT approach to testing object-oriented programs. ACM Transactions on Software Engineering and Methodology 1994; 3(2): 101-130.
33. Kung D, Hsia P, Gao JZ, Toyoshima Y, Chen C, Kim Y-S, Song Y-K. Developing an object-oriented software testing and maintenance environment. Communications of the ACM 1995; 38(10): 75-87.
34. Murphy GC, Townsend P, Wong P. Experiences with class and cluster testing. Communications of the ACM 1994; 37(9): 39-47.
35. Smith MD, Robson DJ. A framework for testing object-oriented programs. Journal of Object-Oriented Programming 1992; 5(3): 45-53.
36. Johnston W, Rose G. Guidelines for the manual conversion of Object-Z to C++. Technical Report 93-32, Software Verification Research Centre, The University of Queensland, Australia, 1993.