Academic
Publications
MC/DC automatic test input data generation

MC/DC automatic test input data generation,10.1145/1569901.1570123,Zeina Awedikian,Kamel Ayari,Giuliano Antoniol

MC/DC automatic test input data generation   (Citations: 2)
BibTex | RIS | RefWorks Download
In regulated domain such as aerospace and in safety critical domains, software quality assurance is subject to strict regulation such as the RTCA DO-178B standard. Among other conditions, the DO-178B mandates for the satisfaction of the modified condition/decision coverage (MC/DC) testing criterion for software where failure condition may have catastrophic consequences. MC/DC is a white box testing criterion aiming at proving that all conditions involved in a predicate can influence the predicate value in the desired way. In this paper, we propose a novel fitness function inspired by chaining test data generation to efficiently generate test input data satisfying the MC/DC criterion. Preliminary results show the superiority of the novel fitness function that is able to avoid plateau leading to a behavior close to random test of traditional white box fitness functions.
Cumulative Annual
View Publication
The following links allow you to view full publications. These links are maintained by other sources not affiliated with Microsoft Academic Search.
    • ...In our evaluations, we used benchmarks that were previously used in evaluating related approaches [3], [21]...
    • ...Two of the benchmarks were written in Java and used in evaluating a related approach [3]...
    • ...The first benchmark is the triangle classification program (Triangle [3])...
    • ...The second benchmark NextDate [3] accepts three integer inputs as a day, month, and year of a date...
    • ...To minimize the threat, we used benchmarks that were used by previous related approaches [3], [11]...
    • ...Awedikian et al. [3] proposed automatic MC/DC-based test generation...

    Rahul Panditaet al. Guided test generation for coverage criteria

    • ...Awedikian et al. [96] / 2009 Х Fitness function based on branch coverage fitness function to deal with predicate clauses extending Bottaci rules (modified condition/ decision coverage: control and data dependencies) Х Х...

    Rohaida Romliet al. Automatic programming assessment and test data generation a review on ...

Sort by: