Specification and testing using generalized machines: A presentation and a case study

Software Testing Verification and Reliability

Volumn 8, Issue 2, 1998, Pages 61-81

  Ipate, Florentin ^a   Holcombe, Mike ^a  

^a UNIVERSITY OF SHEFFIELD   (United Kingdom)

Author keywords

Correctness; Finite state machines; Formal specification; Functional testing; Test set; X machines

Indexed keywords

COMPUTER HARDWARE DESCRIPTION LANGUAGES; DATA STRUCTURES; ERROR DETECTION; FORMAL LANGUAGES; FORMAL LOGIC; SEQUENTIAL MACHINES; SOFTWARE ENGINEERING;

FINITE STATE MACHINES (FSM);

COMPUTER SOFTWARE SELECTION AND EVALUATION;

EID: 0032090537     PISSN: 09600833     EISSN: None     Source Type: Journal    
DOI: 10.1002/(sici)1099-1689(199806)8:2<61::aid-stvr154>3.0.co;2-w     Document Type: Article

References (22)

1. Bernot, G., Gaudel, M. C. and Marre, B. (1991) 'Software testing based on formal specifications: a theory and a tool', Software Engineering Journal, 6(6), 387-405.
2. Bhattacharrya, A. (1989) Checking Experiments in Sequential Machines, Wiley Eastern, New Delhi, India.
3. Chiu, F. P. (1994) 'Formal specification of VLSI', M.Phil, thesis, University of Sheffield, U.K.
4. Chow, T. S. (1978) 'Testing software design modelled by finite state machines', IEEE Transactions on Software Engineering, 4(3), 178-187.
5. Cohen, D. I. A. (1991) Introduction to Computer Theory, Wiley, New York, U.S.A.
6. DeMillo, R., Lipton, R. and Sayward, F. (1978) 'Hints on test data selection: help for the practicing programmer', IEEE Computer, 11(4), 34-41.
7. Fairtlough, M., Holcombe, M., Ipate, F., Jordan, C., Laycock, G. and Duan, Z. (1995) 'Using an X-machine to model a video cassette recorder', Current Issues in Electronic Modelling, 3, 141-161.
8. Fujiwara, S., von 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.
9. Holcombe, M. (1988) 'X-machines as a basis for dynamic system specification', Software Engineering Journal, 3(2), 69-76.
10. Holcombe, M. (1993) 'An integrated methodology for the specification, verification and testing of systems', Software Testing, Verification and Reliability, 3(3/4), 149-163.
11. Holcombe, M. and Duan, Z. (1990) 'Traceable X-machines as models for describing user interfaces', Departmental Report, Department of Computer Science, University of Sheffield, U.K.
12. Holcombe, M., Ipate, F. and Grondoudis, A. (1995) 'Complete functional testing of safety-critical systems', Proceedings of the Second IFAC Workshop on Safety and Reliability in Emerging Control Technologies, Daytona Beach, Florida, U.S.A., pp. 343-358.
13. Howden, W.E. (1982) 'Weak mutation testing and completeness of test sets', IEEE Transactions on Software Engineering, 8(4), 371-379.
14. Ipate, F. (1995) 'Theory of X-machines with applications in specification and testing', Ph.D. thesis, University of Sheffield, U.K.
15. Ipate, F. and Holcombe, M. (1997) 'An integration testing method that is proved to find all faults', International Journal of Computer Mathematics, 63(3/4), 159-178.
16. Laycock, G. T. (1992a) 'The theory and practice of specification based testing', Ph.D. thesis, University of Sheffield, U.K.
17. Laycock, G. (1992b) 'Formal specification and testing: a case study', Software Testing, Verification and Reliability, 2(1), 7-23.
18. Luo, G., v. Bochmann, G. and Petrenko, A. (1994) 'Test selection based on communicating nondeterministic finite-state machines using a generalised Wp-method', IEEE Transactions on Software Engineering, 20(2), 149-161.
19. Myers, G. J. (1979) The Art of Software Testing, Wiley, New York, U.S.A.
20. Ntafos, S. C. (1989) 'A comparison of some structural testing strategies', IEEE Transactions on Software Engineering, 14(6), 868-873.
21. Ostrand, T. J. and Balcer, M. J. (1989) 'The category-partition method for specifying and generating functional tests', Communications of the ACM, 31(6), 667-686.
22. Thévenod-Fosse, P. and Waeselynck, H. (1991) 'An investigation of statistical software testing', Software Testing, Verification and Reliability, 1(2), 5-25.