Deriving Software Test Cases from Formal Specifications

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.