Sergiy A. Vilkomir, Jonathan P. Bowen  Home/Search
Context
Related
| jpbowen.com/pub/zb2002.pdf csis.ul.ie/staff/S...b2002_Vilkomir.pdf Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: myweb.lsbu.ac.uk/~...publications (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: A new Reinforced Condition/Decision Coverage (RC/DC) criterion for software testing is proposed. This criterion provides further development of the well-known Modified Condition/Decision Coverage (MC/DC) criterion and is more suitable for testing of safety-critical software. Formal definitions in the Z notation for RC/DC, as well as MC/DC, are presented. Specific examples of using of these criteria are considered and some features are formally proved. (Update)
Similar documents (at the sentence level):
71.7%: From MC/DC to RC/DC: Formalization and Analysis of.. - Vilkomir, Bowen (2002) (Correct)
5.2%: Formalization of Control-flow Criteria of Software Testing - Vilkomir, Bowen (2001) (Correct)
Active bibliography (related documents): More All
3.6: Reinforced Condition/Decision Coverage (RC/DC): A New.. - Vilkomir, Bowen (2002) (Correct)
0.6: Formalization of Software Testing Criteria using the Z Notation - Vilkomir, Bowen (2001) (Correct)
0.3: A Practical Approach To Modified Condition/decision Coverage - Hayhurst, Veerhusen (2001) (Correct)
Similar documents based on text: More All
0.7: Tolerance of Control-Flow Testing Criteria - Vilkomir, Kapoor, Bowen (2003) (Correct)
0.4: Experimental Evaluation of the Tolerance for Control-Flow Test .. - Kapoor, Bowen (2003) (Correct)
0.3: Establishing Formal Regulatory Requirements for.. - Vilkomir, Bowen (2002) (Correct)
BibTeX entry: (Update)
@inproceedings{ vilkomir02reinforced,
author = "Sergiy A. Vilkomir and Jonathan P. Bowen",
title = "Reinforced Condition/Decision Coverage ({RC}/{DC}): A New Criterion for Software Testing",
booktitle = "{ZB}",
pages = "291-308",
year = "2002",
url = "citeseer.ist.psu.edu/vilkomir02reinforced.html" }
Citations (may not include all citations):206 The Art of Software Testing (context) - Myers - 1979
71 Software Considerations in Airborne Systems and Equipment Ce.. (context) - DO- - 1992
61 Software unit test coverage and adequacy (context) - Zhu, Hall et al. - 1997
24 A formal specification notation (context) - Bowen - 2001
20 Applicability modified conditiondecision coverage to softwar.. (context) - Miller, modified et al. - 1994
14 Criteria for generating specification-based tests - Offutt, Xiong et al. - 1999
13 Software Testing (context) - Roper - 1994
12 Test data generation and feasible path analysis (context) - Jasper, Brennan et al. - 1994
11 Methodology of the Review of Software for Safety Important S.. - Vilkomir, Kharchenko - 1999
10 Formalization of software testing criteria using the Z notat.. - Vilkomir, Bowen - 2001
9 empirical evaluation MCDC coverage criterion HETE satellite.. - Leveson, evaluation et al. - 2000
5 Towards Automated Unit Testing of Statechart Implementations - Burton - 1999
5 Formal specification tool for test coverage analysis (context) - Chilenski, Newcomb - 1994
5 Formalization of Control-flow Criteria of Software Testing - Vilkomir, Bowen - 2001
5 Practical Tutorial Modified ConditionDecision Coverage - Chilenski, Tutorial et al. - 2001
5 Division of Software Engineering (context) - Jia, ZTC et al. - 1998
4 Industrial Experience with SPARK - Chapman - 2000
4 blistering lovehate relationship (context) - blistering, relationship et al. - 1999
3 Structural test cases analysis and implementation (context) - Li - 1999
3 Design Features in Comparison with Western PWRS (context) - Voznessensky, Berkovich - 1992
2 Decision Coverage and Modified Condition Decision Coverage (context) - Dolman - 2000
2 Application of Formal Methods for Establishing Regulatory Re.. - Vilkomir, Bowen - 2001
Documents on the same site (http://myweb.lsbu.ac.uk/~bowenjp/publications.html): More
The Ethics of Safety-Critical Systems - Bowen (2000) (Correct)
Web Access to Cultural Heritage for the Disabled - Bowen (2003) (Correct)
Generating Decompilers - Breuer, Bowen (1998) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC