TinMan - A test derivation and management tool for specification-based class testing

"Technology of Object-Oriented Languages and Systems

Volumn , Issue TOOL 32, 1999, Pages 222-233

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

^a UNIVERSITY OF QUEENSLAND   (Australia)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SIMULATION; INFORMATION MANAGEMENT; OBJECT ORIENTED PROGRAMMING; SOFTWARE PROTOTYPING;

SOFTWARE TESTING;

COMPUTER AIDED SOFTWARE ENGINEERING;

EID: 0033487783     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/TOOLS.1999.809428     Document Type: Conference Paper

References (17)

1. D. Carrington, I. MacColl, J. McDonald, L. Murray and P. Strooper. From Object-Z Specifications to ClassBench Test Suites, Technical Report No. 98-22, Software Verification Research Centre, The University of Queensland, 1998.
2. J. Dick and A. Faivre. Automating the generation and sequencing of test cases from model-based specifications. In J. Woodcock and P. Larsen (editors), Formal Methods Europe (FME93), pp. 268-284, Springer-Verlag, 1993.
3. R. Duke, G. Rose and G. Smith. Object-Z: A specification language advocated for the description of standards. Computer Standards and Interfaces, 17:511-533, 1995.
4. S. Helke, T. Neustupny and T. Snaten. Automating test case generation from Z specifications with Isabelle. In J. Bowen, M. Hinchey and D. Till, (editors), Z User Meeting (ZUM'97), pp. 52-71, Springer-Verlag, 1997.
5. D. Hoffman and P. Strooper. ClassBench: A methodology and framework for automated class testing. Software Practice and Experience, 27(5):573-597, 1997.
6. H.-M. Hörcher and J. Peleska. Using formal specifications to support software, Software Quality Journal, 209:309-327, 1995.
7. H.-M. Hörcher. Improving software tests using Z specifications. In J. Bowen and M. Hinchey (editors), Z User Meeting (ZUM'95), pp. 152-166, Springer-Verlag, 1995.
8. C.S. Horstmann and G. Cornell. Core Java 1.1 Volume 11 - Advanced Features. The SunSoft Press Java Series, Sun Microsystems Press, 1998.
9. P. Lindsay. The Dependency Management System case study. Technical Report No. 94-01, Software Verification Research Centre, The University of Queensland, 1994.
10. J. McDonald and P. Strooper. Translating Object-Z specifications to passive test oracles. In J. Staples, M. Hinchey and S. Liu (editors), Second International Conference on Formal Engineering Methods (IUFEM'98), pp. 165-174, IEEE Computer Society, 1998.
11. E. Mikk. Compilation of Z specifications into C for automatic test result evaluation. In J. Bowen and M. Hinchey (editors), Z User Meeting (ZUM'95), pp. 167-180, Springer-Verlag, 1995.
12. L. Murray. Software Requirements Specification for TinMan, Technical Report No. 99-02, Software Verification Research Centre, The University of Queensland, 1999.
13. L. Murray, D. Carrington, I. MacColl, J. McDonald and P. Strooper. Formal Derivation of Finite State Machines for Class Testing. In J. Bowen, A. Fett and M. Hinchey (editors), ZUM'98: The Z Formal Specification Notation, pp. 42-59, Springer-Verlag, 1998. Also Software Verification Research Centre Technical Report No. 98-03.
14. H. Singh, M. Conrad and S. Sadeghipour. Test case design based on Z and the classification-tree method. In proceedings of International Conference on Formal Engineering (ICFEM'97), pp. 81-90, IEEE Computer Society, 1997.
15. J.M. Spivey. The Z Notation: A Reference Manual, Prentice-Hall, 2nd edition, 1992.
16. S. Stepney. Testing as abstraction. In J. Bowen and M. Hinchey, (editors), Z User Meeting (ZUM'95), pp. 137-151, Springer-Verlag, 1995.
17. P. Stocks and D. Carrington. A framework for specification-based testing. IEEE Transactions on Software Engineering, 22(11):777-793, November 1996.