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


The KIPS Transactions:PartD, Vol. 16, No. 6, pp. 911-920, Dec. 2009
10.3745/KIPSTD.2009.16.6.911,   PDF Download:

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 September 1st, 2017)
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 article
[IEEE Style]
I. S. Chung, "Automated Black-Box Test Case Generation for MC/DC with SAT," The KIPS Transactions:PartD, vol. 16, no. 6, pp. 911-920, 2009. DOI: 10.3745/KIPSTD.2009.16.6.911.

[ACM Style]
In Sang Chung. 2009. Automated Black-Box Test Case Generation for MC/DC with SAT. The KIPS Transactions:PartD, 16, 6, (2009), 911-920. DOI: 10.3745/KIPSTD.2009.16.6.911.