Improving MC/DC and Fault Detection Strength Using Combinatorial Testing.

Dong Li,Linghuan Hu,Ruizhi Gao,W. Eric Wong,D. Richard Kuhn,Raghu N. Kacker
DOI: https://doi.org/10.1109/qrs-c.2017.131
2017-01-01
Abstract:Software, in many different fields and tasks, has played a critical role and even replaced humans to improve efficiency and safety. However, catastrophic consequences can be caused by implementation bugs and design defects. Modified condition/decision coverage (MC/DC), required by the Federal Aviation Administration on Level A (the most safety critical system), has been shown to be effective in detecting software bugs. However, generating tests to achieve high MC/DC can be very expensive and time consuming. Recently, many studies showed that combinatorial testing (CT) could generate high-quality test cases in a cost-effective way. Can CT generate test cases to achieve high MC/DC? In this paper, we conduct an empirical study on two real-life programs to evaluate the efficiency and effectiveness of using combinatorial testing to improve MC/DC coverage achievement, as well as the fault detection strength.
What problem does this paper attempt to address?