Automatic Test Case Generation for Safety-Related Embedded Systems

Software testing for embedded systems is based on a labor-intensive manual process, which often fails to provide the required level of quality. Nevertheless, faults within software systems, especially those which are relevant for safety-related applications (e.g., Steer-by-Wire, Break-by-Wire), must be detected to prevent the occurrence of a catastrophe. Considering upcoming technologies such as X-By-Wire systems, future software for embedded systems will become more complex and a higher level of quality has to be achieved. This will lead to a significantly increased testing effort. Thus, a systematic method for automated software testing is highly desirable.