MetaCartSign in to MyCiteSeer

Include Citations | Advanced Search | Help

Include Citations | Advanced Search | Help

  Formalization of software testing criteria using the Z notation (2001) [9 citations — 4 self]

Download:
Download as a PDF
by Sergiy A. Vilkomir, Jonathan P. Bowen
Proceedings of COMPSAC 2001: 25th IEEE Annual International Computer Software and Applications Conference
http://www.jpbowen.com/pub/compsac2001.pdf
Add To MetaCart

Abstract:

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 for describing the criteria, the Z notation is selected. Z schemas are presented for definitions of the following criteria: statement coverage, decision coverage, condition coverage, decision/condition coverage, full predicate coverage, modified condition/decision coverage, and multiple condition coverage. This characterization could help in the correct understanding of different types of testing and also the correct application of a desired testing regime. 1

Citations

57 Applicability of modified condition/decision coverage to software testing – Chilenski, Miller
54 A formal analysis of the fault-detecting ability of testing methods – Frankl, Weyuker - 1993
32 Improving software tests using Z specifications – Horcher
26 Formal Specification and Documentation Using Z: A Case Study Approach – Bowen - 1996
25 A tale of two paradigms: formal methods and software testing – Carrington, Stocks - 1994
20 Specification Directed Module Testing – Hayes - 1986
11 The Use of Industrial-Strength Formal Methods – Bowen, Hinchey - 1997
10 Test generation and recognition with formal methods – AMMANN, BLACK
10 Automated V&V for high integrity systems, a target formal methods approach – Burton, Clark, et al. - 2000
8 Experience Teaching Z with Tool and Web Support – Bowen - 2001
7 Adequacy criteria for object testing – Haworth - 1998
6 Z: A Formal Specification Notation – Bowen - 2000
5 Proof and Automation. An Integrated Approach. The – Burton, Clark, et al. - 2000
5 Applicability of Modified Condition /Decision Coverage to Software Testing – Chilenski, Miller - 1994
4 Evaluation of Three Spesification-based Testing Criteria – Abdurazik, Amman, et al. - 2000
3 An Empirical Evaluation of the MC/DC – Dupuy, Leveson - 2000
3 An Applicable Family of Data Flow Testing – Frankl, Weyuker - 1988
View or Download | Add to My Collection | Correct Errors