Formalization of Software Testing Criteria using the Z Notation

@inproceedings{Vilkomir2001FormalizationOS,
  title={Formalization of Software Testing Criteria using the Z Notation},
  author={Sergiy A. Vilkomir and Jonathan P. Bowen},
  booktitle={COMPSAC},
  year={2001}
}
This paper describes an approach to formalization of criteria of computer systems software testing. A brief review of control-flow criteria is introduced. As a formal language fo r describing the criteria, the Z notation is selected. Z schem as are presented for definitions of the following criteria: sta tement coverage, decision coverage, condition coverage, decision/condition coverage, full predicate coverage, modi fie condition/decision coverage, and multiple condition cove rage. This… CONTINUE READING

From This Paper

Figures, tables, and topics from this paper.

Similar Papers

Loading similar papers…