Automatically generating information from a Z specification to support the classification tree method

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2651, Issue , 2003, Pages 388-407

  Hierons, Robert M ^a   Harman, Mark ^a   Singh, Harbhajan ^b  

^a BRUNEL UNIVERSITY   (United Kingdom)

^b DAIMLER AG   (Germany)

Author keywords

Classification tree method; Formal methods; Test automation; Z notation

Indexed keywords

AUTOMATION; FORMAL METHODS; FORMAL SPECIFICATION; SPECIFICATION LANGUAGES; SPECIFICATIONS;

CLASSIFICATION TREE METHOD; CLASSIFICATION TREES; NEW APPROACHES; SYSTEMATIC TESTING; TEST AUTOMATION; Z SPECIFICATIONS;

CLASSIFICATION (OF INFORMATION);

EID: 33947426845     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-44880-2_23     Document Type: Article

References (18)

1. N. Amla and P. Ammann. Using Z specifications in category partition testing. In COMPASS '92, Seventh Annual Conference on Computer Assurance, pages 15-18, Gaithersburg, MD, USA, 1992.
2. T. Y. Chen and P. L. Poon. Construction of classification trees via the classification-hierarchy table. Information and Software Technology, 39:889-896, 1997.
3. T. Y. Chen and P. L. Poon. On the effectiveness of classification trees for test case construction. Information and Software Technology, 40:765-775, 1998.
4. J. Derrick and E. Boiten. Testing refinements of state-based formal specifications. Journal of Software Testing, Verification, and Reliability, 9:27-50, 1999.
5. J. Dick and A. Faivre. Automating the generation and sequencing of test cases from model-based specifications. In FME '93, First International Symposium on Formal Methods in Europe, pages 268-284, Odense, Denmark, 19-23 April 1993. Springer-Verlag, Lecture Notes in Computer Science 670.
6. M. C. Gaudel. Testing can be formal too. In TAPSOFT'95, pages 82-96. Springer-Verlag, March 1995.
7. M. Grochtmann and K. Grimm. Classification trees for partition testing. Journal of Software Testing, Verification and Reliability, 3:63-82, 1993.
8. P. A. V. Hall and R. M. Hierons. Formal Methods and Testing. Technical Report 91/16, Computing Department, The Open University, August 1991.
9. R. M. Hierons. Testing from a Z specification. Journal of Software Testing, Verification and Reliability, 7:19-33, 1997.
10. R. M. Hierons and M. Harman. Testing comformance to a quasi-non-determinstic stream X-machine. Formal Aspects of Computing, 12:423-442, 2000.
11. R. M. Hierons, S. Sadeghipour, and H. Singh. Testing a system specified using statecharts and Z. Information and Software Technology, 43:137-149, 2001.
12. R. M. Hierons and H. Ural. Reduced length checking sequences. IEEE Transactions on Computers, 51:1111-1117, 2002.
13. C. A. R. Hoare. How did software get so reliable without proof? In Proceedings of Formal Methods Europe, 96 (Lecture Notes in Computer Science 1051), pages 1-17. Springer-Verlag, 1996.
14. M. Holcombe and F. Ipate. Correct Systems: Building a Business Process Solution. Springer-Verlag, 1998.
15. G. Laycock. Formal specification and testing: A case study. Journal of Software Testing, Verification and Reliability, 2:7-23, 1992.
16. D. Lee and M. Yannakakis. Principles and methods of testing finite-state machines. Proceedings of the IEEE, 84:1089-1123, 1996.
17. H. Singh, M. Conrad, and S. Sadeghipour. Test case design based on Z and the classification-tree method. In First IEEE Conference on Formal Engineering Methods, pages 81-90, Hiroshima, Japan, November 1997. IEEE Computer Society.
18. P. Stocks and D. Carrington. A Framework for Specification-Based Testing. IEEE Transactions on Software Engineering, 2:777-793, 1996.