Formalization of software testing criteria using the Z notation

Refinement in Formal Proof of Equivalence in Morphisms over Strongly Connected Algebraic Automata

“…Some interesting work [40,41,42] in addition to given in Section 2 was found but our work and approach are different because of abstract and conceptual level integration of Z and automata. We believe that this work will be useful in development of integrated tools increasing their modeling power.…”

Using formal specifications to support testing

“…A unification of two categories of test criteria, using programbased and specification-based approaches, has been presented by Behnia and Waeselynck [Behnia and Waeselynck 1999] for B models. Vilkomir and Bowen have formalized control-flow testing criteria using the Z notation [Vilkomir and Bowen 2001;. In [Vilkomir and Bowen 2001], Z schemas are presented for definitions of some of the main control-flow criteria.…”

“…Vilkomir and Bowen have formalized control-flow testing criteria using the Z notation [Vilkomir and Bowen 2001;. In [Vilkomir and Bowen 2001], Z schemas are presented for definitions of some of the main control-flow criteria. In [Vilkomir and Bowen 2002], a new Reinforced Condition/Decision Coverage criterion is proposed and formalized using Z.…”

FORTEST: formal methods and testing

“…This paper has explored some of the possibilities, although not in an exhaustive manner. For example, formal methods could also be useful in the formalization of existing testing criteria [54] to help eliminate misunderstanding and in the precise formulation of new testing criteria [55].…”