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.
    • Correction
    • Source
    • Cite
    • Save
    • Machine Reading By IdeaReader
    0
    References
    18
    Citations
    NaN
    KQI
    []