Testing from a Z specification

Software Testing Verification and Reliability

Volumn 7, Issue 1, 1997, Pages 19-33

  Hierons, Robert M ^a  

^a UNIVERSITY OF LONDON   (United Kingdom)

Author keywords

Finite state automaton; Formal specification language; Partition testing; Test case generation

Indexed keywords

ALGORITHMS; CONTROL; FINITE AUTOMATA; MATHEMATICAL MODELS; TESTING;

FORMAL SPECIFICATION LANGUAGES; INPUT DOMAIN; PARTITION; SEMANTICS; SYNTAX;

SPECIFICATIONS;

EID: 0031094715     PISSN: 09600833     EISSN: None     Source Type: Journal    
DOI: 10.1002/(SICI)1099-1689(199703)7:1<19::AID-STVR124>3.0.CO;2-N     Document Type: Article

References (24)

1. Aho, A. V., Dahbura, A. T., Lee, D. and Uyar, M. U. (1988) 'An optimization technique for protocol conformance test generation based on UIO sequences and rural Chinese postman tours', Proceedings of Protocol Specification, Testing, and Verification VIII, Atlantic City, U.S.A., North-Holland, Amsterdam, The Netherlands, pp. 75-86.
2. Amla, N. and Ammann, P. (1992) 'Using Z specifications in category partition testing', Proceedings of COMPASS '92, Seventh Annual Conference on Computer Assurance, 15-18 June, Gaithersburg, Maryland, U.S.A., pp. 3-10.
3. Chow, T. S. (1978) 'Testing software design modeled by finite state machines', IEEE Transactions on Software Engineering, 4(3), 178-187.
4. Clarke, L. A., Hassell, J. and Richardson, D. J. (1982) 'A close look at domain testing', IEEE Transactions on Software Engineering, 15(11), 380-390.
5. Dick, J. and Faivre, A. (1993) 'Automating the generation and sequencing of test cases from model-based specifications', FME '93, First International Symposium on Formal Methods in Europe, Odense, Denmark, 19-23 April, pp. 268-284.
6. Fujiwara, S., v. Bochmann, G., Khendek F., Amalou, M. and Ghedamsi, A. (1991) 'Test selection based on finite state models', IEEE Transactions on Software Engineering, 17(6), 591-603.
7. Hall, P. A. V. and Hierons, R. M. (1991) 'Formal methods and testing', The Open University Computing Department, Technical Report No. 91/16, August 1991.
8. Hierons, R. M. (1993) 'Using formal specifications to enhance the software testing process', Ph.D. thesis, Brunel University, U.K.
9. Hierons, R. M. (1996) 'Extending test sequence overlap by invertibility', The Computer Journal, 39(4), 325-330.
10. Horcher, H.-M. and Peleska, J. (1995) 'Using formal specifications to support software testing', Software Quality Journal, 4(4), 309-327.
11. Jones, C. B. (1990) Systematic Software Development Using VDM, 2nd edn, Prentice Hall, Hemel Hempstead, U.K.
12. Kohavi, Z. (1978) Switching and Finite Automata Theory, 2nd edn, McGraw-Hill, New York, U.S.A.
13. Laycock, G. (1992) 'Formal specification and testing: a case study', Software Testing, Verification and Reliability, 2(1), 7-23.
14. Moore, E. P. (1956) 'Gedanken-experiments', In Automata Studies, C. Shannon and J. McCarthy (Eds), Princeton University Press, Princeton, New Jersey, U.S.A., pp. 129-153.
15. Oikonomou, K. N. (1987) 'Abstractions of finite-state machines and immediately-detectable output faults', IEEE Transactions on Computers, 41(3), 325-338.
16. Oikonomou, K. N. (1992) 'Abstractions of finite-state machines optimal with respect to single undetectable output faults', IEEE Transactions on Computers, 35(2), 185-200.
17. Ostrand, T. J. and Balcer, M. J. (1988) The category-partition method for specifying and generating functional tests', Communications of the ACM, 31(6), 676-686.
18. Sidhu, D. P. and Leung, T. K. (1989) 'Formal methods in protocol testing: a detailed study', IEEE Transactions on Software Engineering, 15(4), 413-426.
19. Spivey, J. M. (1988) Understanding Z: a Specification Language and its Formal Semantics, Cambridge University Press, Cambridge, U.K.
20. Spivey, J. M. (1992) The Z Notation: a Reference Manual, 2nd edn, Prentice Hall, Hemel Hempstead, U.K.
21. Stocks, P. and Carrington, D. (1993) 'Test template framework: a specification-based testing case study', SIGSOFT Software Engineering Notes, 18(3), 11-18.
22. White, L. J. and Cohen, E. I. (1980) 'A domain strategy for computer program testing', IEEE Transactions on Software Engineering, 6(3), 247-257.
23. Wordsworth, J. B. (1987) 'Formal methods in the development of CICS', Computer Bulletin, 3(4), 6-8.
24. Yang, B. and Ural, H. (1990) 'Protocol conformance test generation using multiple UIO sequences with overlapping', ACM SIGCOMM 90: Communications, Architectures, and Protocols, 24-27 September, pp. 118-125.