Automated Black-Box Test Case Generation for MC/DC with SAT

KIPS Journal D (2001 ~ 2012) , Vol. 16D, No.6, pp.911-920, June 2009
10.3745/KIPSTD.2009.16D.6.911, Full Text

Abstract

Airbone software must comply the DO-178B standard in order to be certified by the FAA. The standard requires the unit testing of safety-critical software to meet the coverage criterion called MC/DC(Modified Condition/Decision Coverage). Although MC/DC is known to be effective in finding errors related to safety, it is also true that generating test cases which satisfy the MC/DC criterion is not easy. This paper presents a tool named MD-SAT which generates MC/DC test cases with SAT(SATisfiability) technology. It can be employed for generating diverse test cases in tools implementing various testing techniques including decision table based test, cause-effect graphing, and state-based test.


Statistics

Show / Hide Statistics

Statistics (Cumulative Counts from October 15, 2016)

Multiple requests among the same browser session are counted as one view. If you mouse over a chart, the values of data points will be shown.


Cite this paper

[KIPS Transactions Style]
I. S. Chung, "Automated Black-Box Test Case Generation for MC/DC with SAT," KIPS Journal D (2001 ~ 2012) , Vol.16D, No.6, pp.911-920, 2009, DOI: 10.3745/KIPSTD.2009.16D.6.911.

[IEEE Style]
In Sang Chung, "Automated Black-Box Test Case Generation for MC/DC with SAT," KIPS Journal D (2001 ~ 2012) , vol. 16D, no. 6, pp. 911-920, 2009. DOI: 10.3745/KIPSTD.2009.16D.6.911.

[ACM Style]
Chung, I. S. 2009. Automated Black-Box Test Case Generation for MC/DC with SAT. KIPS Journal D (2001 ~ 2012) , 16D, 6, (2009), 911-920. DOI: 10.3745/KIPSTD.2009.16D.6.911.