Defect Identification With Model-Based Test Automation 2003-01-1031

Software is an integral part of automotive products, but organizations face many problems that impede rapid development of software systems critical to their operations and growth. Manual processes to generate tests for software will become increasingly insufficient as automotive software becomes more complex, and more safety-critical. A method exists to develop tests automatically from formal, precise requirement and design models. A model-based approach allows teams to build software systems with measurably higher quality, in less time than with non model-based approaches. This paper discusses a Test Automation Framework (TAF) combining tools and methods to automate comprehensive test generation based on models. Automatic generation of software tests leads to dramatic performance and quality gains relative to manual test generation.