[ main page ] [ back ]

2010 : A Requirement-Based Systematic Test-Case Generation Method for Safety-Critical Embedded Systems

Author(s)
Susanne Kandl
Abstract
Safety-critical systems have to be tested exhaustively to ensure that they do not exhibit erroneous behavior, because failures may have a serious impact. In relevant standards requirements for the testing process are defined, for instance, the required coverage metrics (like MC/DC) or traceability, that means that the generated test cases have to map to the requirements originally defined in the system specification. Many test-case generation methods exist, but it is still a challenge to generate the test cases systematically (based on the requirements) and to guarantee that the resulting test set achieves full MC/DC on the system under test. The aim of this PhD thesis is to make a significant contribution to solve this problem. In this PhD thesis a testing framework is developed that provides a testcase generation method that is able to generate the test cases based on the requirements. The resulting test cases are traceable back to the system requirements. With the generated test set we achieve maximum possible MC/DC on the code of the system under test (SUT) for a safety-critical application from the automotive domain. Furthermore, we evaluate the actual error detection rate of the test set by defining three different error scenarios: errors in the value domain, errors in the variable domain, and errors in the operator domain. The results show that the error detection probability for the value domain is quite sufficient, whereas the error detection rates for the variable and operator domain are significantly less than expected. The results are important for the discussion about whether MC/DC is a suitable coverage metric for safety-critical systems.
Bibtex
@phdthesis{ kandl:2010,
  author =      "Susanne Kandl",
  title =       "A Requirement-Based Systematic Test-Case Generation Method for Safety-Critical Embedded Systems",
  address =     "Treitlstr. 3/3/182-1, 1040 Vienna, Austria",
  school =      "Technische Universit{\"a}t Wien, Institut f{\"u}r Technische Informatik",
  year =        "2010"
}
Download
Get diss_susanne.pdf - Adobe PDF-format, (1402.0381 KB; posted at July 09 2013)


[ main page ] [ back ]