An integrated refinement and testing method for stream X-machines

Applicable Algebra in Engineering, Communications and Computing

Volumn 13, Issue 2, 2002, Pages 67-91

  Ipate, Florentin ^a   Holcombe, Mike ^b  

^a UNIVERSITY OF PITESTI   (Romania)

^b UNIVERSITY OF SHEFFIELD   (United Kingdom)

Author keywords

Finite state machine; Refinement; Stream X machine; Testing

Indexed keywords

CALCULATIONS; COMPUTER SOFTWARE SELECTION AND EVALUATION; CONFORMAL MAPPING; EQUIVALENCE CLASSES; FAILURE ANALYSIS; FINITE AUTOMATA; FUNCTION EVALUATION; MATHEMATICAL MODELS; SET THEORY; THEOREM PROVING;

FINITE STATE MACHINE; SOFTWARE QUALITY; STREAM X-MACHINES;

SOFTWARE ENGINEERING;

EID: 0036602236     PISSN: 09381279     EISSN: None     Source Type: Journal    
DOI: 10.1007/s002000100090     Document Type: Article

References (26)

1. Software testing based on formal specifications: A theory and a tool
2. Testing software design modelled by finite state machines
3. Using algebraic specifications in software testing: A case study on the software of an automatic subway
4. Using an X-machine to model a video cassette recorder
5. Test selection based on finite state models
6. Testing from a Z specifications
7. Testing from a finite state machine: Extending invertibility to sequences
8. Adaptive testing of a deterministic implementation against a nondeterministic finite state machine
9. X-machines as a basis for dynamic system specification
10. An integrated methodology for the specification, verification and testing of systems
11. Another look at computability
12. An integration testing method that is proved to find all faults
13. Specification and testing using generalized machines: A presentation and a case study
14. A method for refining and testing generalised machine specifications
15. Generating test sequences from non-deterministic generalised stream X-machines, accepted
16. Theory of X-machines and applications in specification and testing
17. Formal specification and testing
18. Test selection based on communicating nondeterministic finite-state machines using a generalised Wp-method
19. The category-partition method for specifying and generating functional tests
20. Test template framework: A specification-based test case study