scispace - formally typeset
Topic

Modified condition/decision coverage

About: Modified condition/decision coverage is a(n) research topic. Over the lifetime, 399 publication(s) have been published within this topic receiving 14170 citation(s). The topic is also known as: MC/DC.

...read more

Papers
  More

Open accessBook
01 Jan 1979-
Abstract: The classic, landmark work on software testingThe hardware and software of computing have changed markedly in the three decades since the first edition of The Art of Software Testing, but this book's powerful underlying analysis has stood the test of time. Whereas most books on software testing target particular development techniques, languages, or testing methods, The Art of Software Testing, Third Edition provides a brief but powerful and comprehensive presentation of time-proven software testing approaches. If your software development project is mission critical, this book is an investment that will pay for itself with the first bug you find.The new Third Edition explains how to apply the book's classic principles to today's hot topics including:Testing apps for iPhones, iPads, BlackBerrys, Androids, and other mobile devicesCollaborative (user) programming and testingTesting for Internet applications, e-commerce, and agile programming environmentsWhether you're a student looking for a testing guide you'll use for the rest of your career, or an IT manager overseeing a software development team, The Art of Software Testing, Third Edition is an expensive book that will pay for itself many times over.

...read more

Topics: Software development (69%), Team software process (62%), Domain testing (61%) ...read more

3,313 Citations


Open accessJournal ArticleDOI: 10.1145/267580.267590
Hong Zhu1, Patrick A. V. Hall2, John H R May2Institutions (2)
Abstract: Objective measurement of test quality is one of the key issues in software testing. It has been a major research focus for the last two decades. Many test criteria have been proposed and studied for this purpose. Various kinds of rationales have been presented in support of one criterion or another. We survey the research work in this area. The notion of adequacy criteria is examined together with its role in software dynamic testing. A review of criteria classification is followed by a summary of the methods for comparison and assessment of criteria.

...read more

  • Figure 3. Flow graph for Example 2.1.
    Figure 3. Flow graph for Example 2.1.
  • Table I. Levels of Analysis in Mutation Testing
    Table I. Levels of Analysis in Mutation Testing
  • Figure 9. Universally properly cover relation among adequacy criteria.
    Figure 9. Universally properly cover relation among adequacy criteria.
  • Figure 5. Partition of input space of DISCOUNT INVOICE module.
    Figure 5. Partition of input space of DISCOUNT INVOICE module.
  • Table III. Relationships among Fault-Detecting Ability and Orderings on Adequacy Criteria (ki, i 5 1, 2, is the number of subdomains in pCi(p, s))
    Table III. Relationships among Fault-Detecting Ability and Orderings on Adequacy Criteria (ki, i 5 1, 2, is the number of subdomains in pCi(p, s))
  • + 7

Topics: Test Management Approach (61%), Software reliability testing (60%), Regression testing (60%) ...read more

1,226 Citations


Open accessBook ChapterDOI: 10.1007/978-3-540-88194-0_8
27 Oct 2008-
Abstract: Conformance testing in model-based development refers to the testing activity that verifies whether the code generated (manually or automatically) from the model is behaviorally equivalent to the model. Presently the adequacy of conformance testing is inferred by measuring structural coverage achieved over the model. We hypothesize that adequacy metrics for conformance testing should consider structural coverage over the requirementseither in place of or in addition to structural coverage over the model. Measuring structural coverage over the requirements gives a notion of how well the conformance tests exercise the required behavior of the system. We conducted an experiment to investigate the hypothesis stating structural coverage over formal requirements is more effective than structural coverage over the model as an adequacy measure for conformance testing. We found that the hypothesis was rejected at 5% statistical significance on three of the four case examples in our experiment. Nevertheless, we found that the tests providing requirements coverage found several faults that remained undetected by tests providing model coverage. We thus formed a second hypothesis stating that complementing model coverage with requirements coverage will prove more effective as an adequacy measure than solely using model coverage for conformance testing. In our experiment, we found test suites providing both requirements coverage and model coverage to be more effective at finding faults than test suites providing model coverage alone, at 5% statistical significance. Based on our results, we believe existing adequacy measures for conformance testing that only consider model coverage can be strengthened by combining them with rigorous requirements coverage metrics.

...read more

  • Table 2. Complete results for all case examples.
    Table 2. Complete results for all case examples.
  • Table 4. MC/DC achieved by the reduced UFC suites over the system model
    Table 4. MC/DC achieved by the reduced UFC suites over the system model
  • Table 3. Hypotheses Evaluation for different case examples
    Table 3. Hypotheses Evaluation for different case examples
  • Table 5. UFC achieved by the reduced MC/DC suites over the system model
    Table 5. UFC achieved by the reduced MC/DC suites over the system model
  • Table 1. Average percentage of mutants caught by test suites and relative improvement over MC/DC.
    Table 1. Average percentage of mutants caught by test suites and relative improvement over MC/DC.

631 Citations


Journal ArticleDOI: 10.1049/SEJ.1994.0025
Abstract: Modified condition/decision coverage is a structural coverage criterion requiring that each condition within a decision is shown by execution to independently and correctly affect the outcome of the decision. This criterion was developed to help meet the need for extensive testing of complex Boolean expressions in safety-critical applications. The paper describes the modified condition/decision coverage criterion, its properties and areas for further work.

...read more

Topics: Modified condition/decision coverage (84%), Code coverage (58%), Regression testing (54%) ...read more

494 Citations


Journal ArticleDOI: 10.1109/TSE.2003.1183927
James A. Jones1, Mary Jean Harrold1Institutions (1)
Abstract: Software testing is particularly expensive for developers of high-assurance software, such as software that is produced for commercial airborne systems. One reason for this expense is the Federal Aviation Administration's requirement that test suites be modified condition/decision coverage (MC/DC) adequate. Despite its cost, there is evidence that MC/DC is an effective verification technique and can help to uncover safety faults. As the software is modified and new test cases are added to the test suite, the test suite grows and the cost of regression testing increases. To address the test-suite size problem, researchers have investigated the use of test-suite reduction algorithms, which identify a reduced test suite that provides the same coverage of the software according to some criterion as the original test suite, and test-suite prioritization algorithms, which identify an ordering of the test cases in the test suite according to some criteria or goals. Existing test-suite reduction and prioritization techniques, however, may not be effective in reducing or prioritizing MC/DC-adequate test suites because they do not consider the complexity of the criterion. This paper presents new algorithms for test-suite reduction and prioritization that can be tailored effectively for use with MC/DC. The paper also presents the results of empirical studies of these algorithms.

...read more

Topics: Test suite (73%), Test case (66%), Code coverage (65%) ...read more

373 Citations


Performance
Metrics
No. of papers in the topic in previous years
YearPapers
20211
20202
20192
20188
201718
201624

Top Attributes

Show by:

Topic's top 5 most impactful authors

Durga Prasad Mohapatra

10 papers, 53 citations

Kalpesh Kapoor

6 papers, 90 citations

Mats P. E. Heimdahl

5 papers, 953 citations

Michael W. Whalen

4 papers, 764 citations

Nikolai Tillmann

4 papers, 97 citations

Network Information
Related Topics (5)
Test Management Approach

4.8K papers, 103.1K citations

79% related
Software performance testing

4.9K papers, 94.9K citations

77% related
Test suite

5.8K papers, 127.9K citations

76% related
Software quality

20.1K papers, 366.4K citations

76% related
Software construction

36.2K papers, 743.8K citations

75% related