Testing a system specified using Statecharts and Z

Information and Software Technology

Volumn 43, Issue 2, 2001, Pages 137-149

  Hierons, R M ^a   Sadeghipour, S ^b   Singh, H ^c  

^a BRUNEL UNIVERSITY   (United Kingdom)

^b IT Power Consultants   (Germany)

^c DAIMLER AG   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER HARDWARE DESCRIPTION LANGUAGES; DATA REDUCTION; DATA STRUCTURES; FINITE AUTOMATA; RESPONSE TIME (COMPUTER SYSTEMS); SEQUENTIAL MACHINES;

EXTENDED FINITE STATE MACHINES (EFSM);

COMPUTER SYSTEMS PROGRAMMING;

EID: 0035254666     PISSN: 09505849     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0950-5849(00)00145-2     Document Type: Article

References (22)

1. Aho A.V., Dahbura A.T., Lee D., Uyar M.U. An Optimization Technique for Protocol Conformance Test Generation Based on UIO Sequences and Rural Chinese Postman Tours. Protocol Specification, Testing, and Verification ,VIII, 1988, Atlantic City. 1988;Elsevier, Amsterdam.
2. R. Büssow, R. Geisler, W. Grieskamp, M. Klar, The μSZ Notation Version 1.0, TU Berlin, Report No. 97-26, 1977.
3. Chow T.S. Testing software design modelled by finite state machines. IEEE Transactions on Software Engineering. 4:1978;178-187.
4. J. Dick, A. Faive, 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, 1993, pp. 268-284.
5. M.-C. Gaudel, Testing Can be Formal Too, TAPSOFT '95: Sixth International Joint Conference on Theory and Practice of Software Development, 1995, Lecture Notes in Computer Science, vol. 915, pp. 82-96.
6. Gibbons A. Algorithmic Graph Theory. 1985;Cambridge University Press, Cambridge.
7. P.A.V. Hall, R.M. Hierons, Formal Methods and Testing, The Open University Computing Department, Tech Report No. 91/16, 1991.
8. Hierons R.M. Extending test sequence overlap by invertibility. The Computer Journal. 39:(4):1996;325-330.
9. Hierons R.M. Testing from a finite state machine: extending invertibility to sequences. The Computer Journal. 40:(4):1997;220-230.
10. Hierons R.M. Testing from a Z specification. Journal of Software Testing, Verification and Reliability. 7:(1):1997;19-33.
11. Hierons R.M. Testing from semi-independent communicating finite state machines with a slow environment. IEE Proceedings on Software Engineering. 144:(5/6):1997;291-295.
12. Hörcher H.-M., Peleska J. Using formal specifications to support software testing. Software Quality Journal. 4:(4):1995;309-327.
13. Ipate F., Holcombe M. Tests which are proved to find all faults. International Journal of Computer Mathematics. 63:1997;159-178.
14. Lenstra J.L., Rinnoy Kan A.H.G. On general routing problems. Networks. 6:1976;273-280.
15. Luo G., von Bochmann G., Petrenko A. Test selection based on communicating nondeterministic finite-state machines using a generalized Wp-method. IEEE Transactions on Software Engineering. 20:(2):1994;149-162.
16. Moore E.P. Gedanken-Experiments. Shannon C., McCarthy J.M. Automata Studies. 1956;129-153 Princeton University Press, Princeton, NJ.
17. N.D. North, Automatic Test Generation for the Triangle Problem, National Physical Laboratory Report DITC 161/90, 1990.
18. Sidhu D.P., Leung T.K. Formal methods in protocol testing: a detailed study. IEEE Transactions in Software Engineering. 15:(4):1989;413-426.
19. H. Singh, M. Conrad, S. Sadeghipour, Test Case Design Based on Z and the Classification-Tree Method, First IEEE International Conference on Formal Engineering Methods, Hiroshima, Japan, 1997, pp. 81-90.
20. Stocks P., Carrington D. Test template framework: a specification-based testing case study. SIGSOFT Software Engineering Notes. 18:(3):1993;11-18.
21. Ural H., Wu X., Zhang F. On minimizing the lengths of checking sequences. IEEE Transactions on Computers. 46:(1):1997;93-99.
22. B. Yang, H. Ural, Protocol Conformance Test Generation Using Multiple UIO Sequences with Overlapping, ACM SIGCOMM 90: Communications, Architectures, and Protocols, September 24-27, 1990, Twente, The Netherlands, pp. 118-125.