Supporting the software testing process through specification animation

Proceedings - 1st International Conference on Software Engineering and Formal Methods, SEFM 2003

Volumn , Issue , 2003, Pages 14-23

  Miller, T ^a   Strooper, P ^a  

^a UNIVERSITY OF QUEENSLAND   (Australia)

Author keywords

[No Author keywords available]

Indexed keywords

ANIMATION; DIRECTED GRAPHS; FORMAL METHODS; SOFTWARE DESIGN; SOFTWARE ENGINEERING; SPECIFICATIONS;

ANIMATION TOOLS; SELF CHECKING; SPECIFICATION ANIMATIONS; STATES AND TRANSITIONS; TEST ORACLES; TESTGRAPHS; TESTING TIME; WORK PRODUCTS;

SOFTWARE TESTING;

COMPUTER PROGRAMS; SPECIFICATIONS; TESTING;

EID: 2542444329     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/SEFM.2003.1236203     Document Type: Conference Paper

References (29)

1. B. K. Aichernig, A. Gerstinger, and R. Aster. Formal specification techniques as a catalyst in validation. In P. Srimani, editor, Proceedings of the 5th International High Assurance Systems Engineering Symposium, pages 203-206. IEEE Computer Society, 2000.
2. F. Ambert, F. Bouquet, S. Chemin, S. Guenaud, B. Legeard, F. Peureux, and N. Vacelet. BZ-TT: A tool-set for test generation from Z and B using constraint logic programming. In Proc. of Formal Approaches to Testing of Software, Workshop of CONCUR'02,, pages 105-120, 2002.
3. P. Ammann and P. Black. A specification-based coverage metric to evaluate test suites. International Journal of Reliability, Quality and Safety Engineering, 8(4):275-300, 1999.
4. J. Callahan, Easterbrook. S., and T. Montgomery. Generating test oracles via model checking. Technical Report NASA-IVV-98-015, NASA / West Virginia University Software Research Laboratory, 1998.
5. D. Carrington, I. MacColl, J. McDonald, L. Murray, and P. Strooper. From Object-Z specifications to Classbench test suites. Journal on Software Testing, Verification and Reliability, 10(2):111-137, 2000.
6. N. Daley, D Hoffman, and P. Strooper. Unit operations for automated class testing. Technical Report 00-04, SVRC, 2000.
7. J. Dick and A. Faivre. Automating the generation and sequencing of test cases from model-based specifications. In Formal Methods Europe, pages 268-284. Springer-Verlag, 1993.
8. R. Doong and P. Frankl. The ASTOOT approach to testing object-oriented programs. ACM Transactions of Software Engineering and Methodology, 3(2):101-130, 1994.
9. R. Duke and G. Rose. Formal Object-Oriented Specification Using Object-Z. MacMillan Press Limited, London, 2000.
10. M. Gaudel. Testing can be formal too. In Proceedings of TAPSOFT'95, pages 82-96. Springer-Verlag, 1995.
11. D. Hazel, P. Strooper, and O. Traynor. Possum: An animator for the SUM specification language. In Proceedings Asia-Pacific Software Engineering Conference and International Computer Science Conference, pages 42-51. IEEE Computer Society, 1997.
12. D. Hazel, P. Strooper, and O. Traynor. Requirements engineering and verification using specification animation. In 13th IEEE International Conference on Automated Software Engineering, pages 302-305. IEEE Computer Society, 1998.
13. M. Hewitt, C. O'Halloran, and C. Sennett. Experiences with PiZA, an animator for Z. In ZUM'97: The Z Formal Specification Notation, volume 1212 of LNSC, pages 37-51. Springer, 1997.
14. R. M. Hierons. Testing from a Z specification. Software Testing, Verification and Reliability, 7(1):19-33, 1997.
15. D. M. Hoffman and P. A. Strooper. ClassBench: A methodology and framework for automated class testing. In D. C. Kung, P. Hsia, and J. Gao, editors, Testing Object-Oriented Software, pages 152-176. IEEE Computer Society, 1998.
16. H. M. Hörcher. Improving software tests using Z specifications. In J. P. Bowen and M. G. Hinchey, editors, Proceedings of the Ninth Annual Z User Meeting, volume 967 of LNCS, pages 152-166, Limerick, Ireland, 1995. Springer-Verlag.
17. JUnit. JUnit, testing resources for extreme programming. http://ww.junit.org.
18. E. Kazmierczak, M. Winikoff, and P. Dart. Verifying model oriented specifications through animation. In Asia-Pacific Software Engineering Conference, pages 254-261. IEEE Computer Society, 1998.
19. B. Legeard, F. Peureux, and M. Utting. Automated boundary testing from Z and B. In Formal Methods Europe, pages 21-40. Springer, 2002.
20. J. McDonald and P. Strooper. Translating Object-Z specifications to passive test oracles. In S. Liu J. Staples, M.G. Hinchey, editor, Second International Conference on Formal Engineering Methods, pages 165-174. IEEE Computer Society, 1998.
21. T. Miller and P. Strooper. Animation can show only the presence of errors, never their absence. In Australian Software Engineering Conference, pages 76-85, Canberra, Australia, 2001. IEEE Computer Society.
22. T. Miller and P. Strooper. Combining the animation and testing of abstract data types. In Asia-Pacific Conference on Quality Software, pages 249-258. IEEE Computer Society, 2001.
23. T. Miller and P. Strooper. A framework and tool support for the systematic testing of model-based specifications. TR 02-35, SVRC, 2002.
24. T. Miller and P. Strooper. Model-based animation using testgraphs. In International Conference on Formal Engineering Methods, pages 192-203. Springer Verlag, 2002.
25. J. Spivey. The Z Notation: A Reference Manual. Prentice Hall, 2nd edition, 1992.
26. S. Stepney. Testing as abstraction. In Z User Meeting '95, pages 137-151. Springer-Verlag, 1995.
27. P. Stocks and D. Carrington. A framework for specification-based testing. IEEE Transactions on Software Engineering, 22(11):777-793, 1996.
28. C. Turner and D. Robson. A state-based approach to the testing of class-based programs. Software-Concepts and Tools, 16(3):106-112, 1995.
29. H. Waeselynck and S. Behnia. B-Model animation for external verification. In Proceedings of International Conference for Formal Engineering Methods, pages 36-45. IEEE Computer Society, 1998.