Deriving Software Test Cases from Formal Specifications
1991
Software testing is a critical phase of the software life cycle. It is the most practical and common method of software validation. Techniques that improve testing quality are significant in software development. Formal specifications have many uses in testing software. This paper examines some of these uses, concentrating on test case derivation, and specification/requirements validation. The specification language Z, which is a state-based formal description technique, is very suitable for test information derivation.
Keywords:
- Systems engineering
- System integration testing
- Software construction
- Software reliability testing
- Software requirements specification
- Software design description
- Package development process
- Software quality analyst
- Software verification and validation
- Computer science
- Software verification
- Software engineering
- Formal specification
- Regression testing
- Correction
- Source
- Cite
- Save
- Machine Reading By IdeaReader
0
References
18
Citations
NaN
KQI