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


Vol. 16,  No. 6, pp. 911-920, Dec.  2009
10.3745/KIPSTD.2009.16.6.911


PDF
  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
  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.

Forms

Search
(IN TITLE, AUTHOR, ABSTRACT,KEYWORDS)

Advanced Search ▼

POPULAR KEYWORDS
(TOP 10 KEYWORDS)

Recent Publications
(LAST 3 YEARS)

Old Journals

Indexing

All publications of TKIPS is indexed in DOI, EBSCO, Google Scholar, Crossref, and CrossCheck.

TKIPS is also selected as the Journal for Accreditation by NRF (National Research Foundation of Korea).

Related Journals