A formal analysis of MCDC and RCDC test criteria

Kapoor, Kalpesh; Bowen, Jonathan P.

doi:10.1002/stvr.306

Cited by 19 publications

(6 citation statements)

References 19 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…A formal analysis of the effectiveness of three different variations of MCDC and RCDC test criteria using the detection conditions have been presented in Kapoor and Bowen [2005]. It is shown that none of these criteria are guaranteed to detect ASFs.…”

Section: Application Of the Resultsmentioning

confidence: 99%

Test conditions for fault classes in Boolean specifications

Kapoor

Bowen²

2007

ACM Trans. Softw. Eng. Methodol.

Self Cite

View full text Add to dashboard Cite

Fault-based testing of software checks the software implementation for a set of faults. Two previous papers on fault-based testing [Kuhn 1999;Tsuchiya and Kikuno 2002] represent the required behavior of the software as a Boolean specification represented in Disjunctive Normal Form (DNF) and then show that faults may be organized in a hierarchy. This article extends these results by identifying necessary and sufficient conditions for fault-based testing. Unlike previous solutions, the formal analysis used to derive these conditions imposes no restrictions (such as DNF) on the form of the Boolean specification.

show abstract

Section: Application Of the Resultsmentioning

confidence: 99%

Test conditions for fault classes in Boolean specifications

Kapoor

Bowen²

2007

ACM Trans. Softw. Eng. Methodol.

Self Cite

View full text Add to dashboard Cite

show abstract

“…Testing can continue as long as there are different, untested execution paths and/or requirements that have not been verified, but the constraints of software development, such as time and budget limitations, only allow a certain amount of test cases to be carried out. Therefore, different sets of rules that prescribe some property of the test sets are suggested in the literature (Kapoor and Bowen 2004, Ammann et al 2003, Chilenski and Miller 1994. These sets of rules are named as test coverage criteria.…”

Section: Mc/dc In the Literaturementioning

confidence: 99%

“…In Miller 1994, Chilenski andNewcomb 1994) (Hayhurst et al 2001, CAST 2001. MC/DC requires the following statements to be true for the given set of test cases (Hayhurst et al 2001, Kapoor and Bowen 2004, Ammann et al 2003: -Every point of entry and exit in the program has been invoked at least once. -Every decision in the program has taken all possible outcomes at least once.…”

Section: Mc/dc In the Literaturementioning

confidence: 99%

Goal-Oriented Automatic Test Case Generators for Mc/Dc Compliancy

Aydal¹,

Woodcock²,

Cavalcanti³

2007

Proceedings of the Second International Conference on Software and Data Technologies

View full text Add to dashboard Cite

Testing is a crucial phase of the software development process. Certification standards such as DO-178B impose certain steps to be accomplished in testing phase and certain testing coverage criteria to be met in order to certify a software as Level-A software. Modified Condition/Decision Coverage, listed as one of these requirements in DO-178B, is one of the most difficult targets to achieve for testers and software developers. This paper presents the state-of-the-art goal-oriented automatic test case generators and evaluates them in the context of MC/DC satisfaction. It also aims to guide the production of MC/DCcompliant test case generators by pointing out the strengths and weaknesses of the current tools and by highlighting the further expectations.

show abstract

“…Or should they select one test case pair for each occurrence of the condition (hence, selecting multiple pairs for the condition)? The former option is known as the weak form of MCDC whereas the latter is the strong form [11,15,40,58,70,72]. The resolution of this complicates the interpretations of "variant definitions" of MCDC proposed to address the previous issue.…”

Section: Introductionmentioning

confidence: 99%

“…We further categorized these publications based on their usage of MCDC, as white-box approach, as black-box approach, or unspecified (meaning that the publications do not specify explicitly which approaches they are using). [15,44,72,73] UCM MCDC [14,41,70] Weak UCM [11,39,40,58,70] Strong UCM [11,39,40,58,70] Masking MCDC [11,14,16,21,25,27 Table 1 shows which MCDC definitions were discussed in these 54 publications and their approaches. Forty three of them discussed original MCDC definitions and treated it as a white-box approach (e.g., [27]).…”

mentioning

confidence: 99%

A systematic literature review on modified condition and decision coverage

Paul

Lau

2014

Proceedings of the 29th Annual ACM Symposium on Applied Computing

View full text Add to dashboard Cite

One of the requirements of Modified Condition and Decision Coverage (MCDC) is that test cases should be selected to demonstrate that a condition can independently affect the outcome of a decision. However, it is known that test cases cannot be selected to satisfy this "independently-affect" requirement when a decision contains strongly coupled conditions. Researchers have proposed various forms of MCDC in addressing this issue. In last 20 years, these variant MCDC forms have been discussed and applied as test data adequacy criteria in white-box testing, and as fault revealing techniques in empirical studies. In this paper, we performed a systematic literature review (SLR) on these MCDC variants. By clarifying the existing meanings of these variants, we are able to define another MCDC form. Moreover, we performed an empirical study to compare the fault detecting ability of this new form with other existing MCDC variants. The results showed that this new form of MCDC has a higher fault detecting ability than the others.

show abstract

A formal analysis of MCDC and RCDC test criteria

Cited by 19 publications

References 19 publications

Test conditions for fault classes in Boolean specifications

Test conditions for fault classes in Boolean specifications

Goal-Oriented Automatic Test Case Generators for Mc/Dc Compliancy

A systematic literature review on modified condition and decision coverage

Contact Info

Product

Resources

About