Combining the animation and testing of abstract data types

Proceedings - 2nd Asia-Pacific Conference on Quality Software, APAQS 2001

Volumn , Issue , 2001, Pages 249-258

  Miller, Tim ^a   Strooper, Paul ^a  

^a UNIVERSITY OF QUEENSLAND   (Australia)

Author keywords

[No Author keywords available]

Indexed keywords

ANIMATION; FORMAL SPECIFICATION; SOFTWARE TESTING; SPECIFICATION LANGUAGES; SPECIFICATIONS; USER INTERFACES;

ITS APPLICATIONS; SPECIFICATION ANIMATIONS; TOOL SUPPORT;

ABSTRACT DATA TYPES;

EID: 84948956216     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/APAQS.2001.990027     Document Type: Conference Paper

References (34)

1. B. K. Aichemig, A. Gerstinger, and R. Aster. Formal specification techniques as a catalyst in validation. In Proc. of the 5th Int. High Assurance Sys. Eng. Symposium, pages 203- 206. IEEE Computer Society, 2000.
2. P. Ammann and P. Black. A specification-based coverage metric to evaluate test suites. In 4th 1EEE Int. High-Assurnce Sys Eng. Symposium, pages 239-248, 1999.
3. A. Bloesch and O. Traynor. The Cogito tool architecture. In Proc. 19th Aust. Comp. Sci. Conf, pages 97-106, 1996.
4. O. Bosman and H. Schmidt. Object test coverage using finite state machines. In Technology of Object-Oriented h n g. and Sys. (TOOLS 18), pages 171-178, 1995.
5. D. Carrington, I. MacColl, J. McDonald, L. Murray, and P. Strooper. From Object-Z specifications to ClassBench test suites. Journal on Soft. Testing, VeriJication and Reliability, 10:111-137, 1998
6. K. H. Chang, S.-S. Liao, S. Seidman, and R. Chapman. Testing object-oriented programs: From formal specifications to test scenario generation. The Journal of Sys. and Soft. 42:141-151,1998
7. N. Daley, D. Hoffman, and P. Strooper. Unit operations for automated class testing. TR 00-04, SVRC, The University of Queensland, Australia, Jan. 2000.
8. J. Dick and A. Faivre. Automating the generation and sequencing of test cases from model-based specifications. In Formal Methods Europe (FME'93), pages 268-284, 1993.
9. R.-K. Doong and P. Frankl. The ASTOOT approach to testing object-oriented programs. ACM Transactions of Soft. Eng. and Methodology, 3: 102-130, 1994.
10. M. Gaudel. Testing can be formal too. In Theory and Practice of Soft. Development, pages 82-96, 1995.
11. D. Hazel, P. Strooper, and O. Traynor. Possum: An animator for the Sum specification language. In Proc. Asia-Pacific Soft. Eng. Conf and Int. Comp. Sci. Conf, pages 42-51. IEEE Computer Society, 1997.
12. D. Hazel, P. Strooper, and O. Traynor. Requirements engineering and verification using specification animation. In Proc. 13th IEEE Int. Conf on Automated Soft. Eng., pages 302-305. IEEE Computer Society, 1998.
13. C. Heitmeyer, J. Kirby, B. Labaw, and R. Bharadwaj. SCR: A toolset for specifying and analysing software requirements. In Computer-Aided Verg 10th Annual Conf 1998.
14. M. Hewitt, C. O'Halloran, and C. Sennett. Experiences with PiZA, an animator for Z. In ZUM'Y7: The Z Formal Specification Notation, volume 1212 of LNCS, pages 37-51, 1996.
15. R. M. Hierons. Testing from a Z specification. Soft. Testing, Verification and Reliability, 7(1): 19-33, 1997.
16. D. Hoffman, J. Nair, and P. Strooper. Testing generic Ada packages with APE. In Proc. ACM SIGAda Annual Int. Conf pages 255-262. ACM Press, 1998.
17. D. Hoffman and P. Strooper. Software Design, Automated Testing, and Maintenance: A Practical Approach. Int. Thompson Computer Press, 1995.
18. H.-M. Horcher. Improving software tests using Z specifications. In Z User Meeting (ZUM'95), volume 967 of LACS, pages 152-166, 1995.
19. IFAD. Features of VDM tools. http://www.ifad.dk/products/vdmtools/features.htm.
20. IPL. IPL software products - Cantata, Cantata++ and AdaTEST for testing C, C++ and Ada. http://www.iplbath.com/p4.htm.
21. E. Kazmierczak, P. Kearney, O. Traynor, and L. Wang. A modular extension to Z for specification, reasoning and refinement. TR 95-15, SVRC, The University of Queensland, Australia, Feb. 1995.
22. E. Kazmierczak, M. Winikoff, and P. Dart. Verifying model oriented specifications through animation. In Proc. Asia-Pacific Soft. Eng. Conf;, pages 254-261, 1998.
23. P. Kearney and L. Wildman. From formal specifications to Ada programs. TR 98-24, SVRC, The University of Queensland, Australia, Oct. 1998.
24. J. McDonald, L. Murray, and P. Strooper. Translating Object-Z specifications to object-oriented test oracles. In Proc. Asia-Pacijc Sof. Eng. Cont and Int. Comp. Sci. Conf, pages 414-423. IEEE Computer Society, 1997.
25. T. Miller and P. Strooper. Animation can show only the presence of errors, never their absence. In Proc. Australian Soft. Eng. Conf(ASWEC 2001). Australian Comp. Soc., 2001.
26. T. Miller and P. Strooper. Combining the animation and testing of abstract data types. TR 01-17, SVRC, The University of Queensland, Australia, May 2001.
27. D. Peters and D. L. Pamas. Using test oracles generated from program documentation. IEEE Transactions on Soft. Eng., 24:161-173, 1998.
28. S. Stepney. Testing as abstraction. In Z User Meeting (ZUM'Y5), volume 967 of LNCS, pages 137-151, 1995.
29. P. Stocks and D. Carrington. A framework for specification-based testing. IEEE Transactions on Soft. Eng., 22(11):777-793, 1996.
30. H. Trehame, J. Draper, and S. Schneider. Test case preparation using a prototype. In 2nd Int. B Conf, Recent Advances in the Development and Use of the B Method, pages 293- 311. Springer Verlag, 1998.
31. H. Treharne, B. Ormsby, J. Draper, and T. Boyce. Evaluating the B-Method on an avionics example. In Proc. DASIA Conference, pages 89-97, 1996.
32. C. D. Turner and D. J. Robson. A state-based approach to the testing of class-based programs. Soft. Concepts and Tools, 16:106-112, 1995.
33. H. Waeselynck and S. Behnia. B-Model animation for external verification. In Proc. Conf for Formal Eng. Methods. IEEE Computer Society, 1998.
34. H. Zweben and W. Heym. Systematic testing of data abstractions based on software specifications. Journal of Soft. Testing, Verification and Reliability, 1 :39-55, 1992.