A method for refining and testing generalised machine specifications

International Journal of Computer Mathematics

Volumn 68, Issue 3-4, 1998, Pages 197-219

  Ipate, Florentin ^a   Holcombe, Mike ^b,c  

^a ROMANIAN AMERICAN UNIVERSITY   (Romania)

^b UNIVERSITY OF SHEFFIELD   (United Kingdom)

^c NONE   (United Kingdom)

Author keywords

Finite state machines; Formal specification; Refinement; Test set; Testing; X machines

Indexed keywords

APPLICATION PROGRAMS; FINITE AUTOMATA; REFINING; TESTING; COMPUTER AIDED SOFTWARE ENGINEERING; ELECTRIC MACHINERY TESTING; SPECIFICATIONS;

INTEGRATED APPROACH; REFINEMENT; SOFTWARE APPLICATIONS; SPECIFICATION TOOLS; STREAM X-MACHINES; TEST SETS; TESTING MACHINE; X-MACHINES; GENERALIZED MACHINE SPECIFICATIONS;

FORMAL SPECIFICATION; FORMAL LOGIC;

EID: 0031607094     PISSN: 00207160     EISSN: None     Source Type: Journal    
DOI: 10.1080/00207169808804689     Document Type: Article

References (7)

1. Chow, T. S. (1978). "Testing software design modelled by finite state machines", IEEE Transactions on Software Engineering, 4(3), 178-187.
2. 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.
3. Holcombe, M. (1988). "X-machines as a basis for dynamic system specification", Software Engineering Journal, 3(2), 69-76.
4. Holcombe, M., Ipate, F. and Grondoudis, A. (1995). "Complete Functional Testing of Safety-Critical Systems", in Proceedings of Second IFAC Workshop on Safety and Reliability in Emerging Control Technologies, Daytona Beach, Florida, USA, 1-3 November 1995.
5. Ipate, F. (1995). Theory of X-machines and Applications in Specification and Testing, Ph.D. thesis, University of Sheffield, UK.
6. Ipate, F. and Holcombe, M. (1997). "An integration testing method that is proved to find all faults", International Journal of Computer Mathematics, 63, 159-178.
7. Laycock, G. T. (1991). The theory and practice of specification based testing, Ph.D. thesis, University of Sheffield, UK.