Formalization of control-flow criteria of software testing


This paper describes an approach to formalization of criteria of complex computer systems software testing. A brief review of control-flow criteria is introduced. As a formal language for describing the criteria, the Z notation is selected. Z schemas are presented for definitions of the following criteria: statement coverage, decision coverage, condition… (More)


6 Figures and Tables

Cite this paper

@inproceedings{Vilkomir2001FormalizationOC, title={Formalization of control-flow criteria of software testing}, author={Sergiy A. Vilkomir and Jonathan P. Bowen}, year={2001} }