Automating Functional Test Design with Model-Based Testing

Classic problems of functional software test development industry include often poorly documented coverage of specification requirements, challenging delivery cycles, high software quality requirements, costly test development, inflexible test sets, and high maintenance costs due to ever changing requirements. Technology and commercial software exist today that can help to resolve all of these issues by automating test design with model-based testing (MBT), i.e., by automatically generating tests and test documentation. In numerous case studies over a wide range of application areas MBT has been independently confirmed [9, 10] to cut testing costs significantly by increasing productivity, to enable of up to 91% code coverage during test execution [8], and to locate numerous defects that have escaped in conventional testing approaches. But deployment of MBT in organizations is a shift in paradigm, and requires a different way of thinking about test development and an adaptation of processes. In this paper, we introduce automated test design and compare it with conventional software test development. We outline a methodology for developing functional tests from models that describe the operation of the system (aspect) to be tested. Although the approach is illustrated here with an AUTOSAR basic software module [7] example, it can also be applied in driver, system integration and even end-to-end testing. Automated test design is presented by showing modeling, steering of test generation, test case review, all the way to test script generation based on one of the commercially available MBT tools called Conformiq Designer.

• Record URL:
  • https://doi.org/10.4271/2012-01-0010
• Availability:
  • Find a library where document is available. Order URL: http://worldcat.org/issn/19464614
• Supplemental Notes:
  • Abstract reprinted with permission of SAE International.
• Authors:
  • Schulz, Stephan
• Conference:
  • SAE 2012 World Congress & Exhibition
  • Location: Detroit Michigan, United States
  • Date: 2012-4-24 to 2012-4-26
• Publication Date: 2012-4-16

Language

• English

Media Info

• Media Type: Web
• Features: Figures; References;
• Pagination: pp 27-33
• Serial:
  • SAE International Journal of Passenger Cars - Electronic and Electrical Systems
  • Volume: 5
  • Issue Number: 1
  • Publisher: SAE International
  • ISSN: 1946-4614
  • EISSN: 1946-4622
  • Serial URL: https://www.sae.org/publications/collections/content/E-JOURNAL-07/

Subject/Index Terms

• TRT Terms: Design; Motor vehicles; Simulation; Software; Testing
• Identifier Terms: Model-based testing
• Subject Areas: Data and Information Technology; Design; Highways; Vehicles and Equipment;

Filing Info

• Accession Number: 01649773
• Record Type: Publication
• Source Agency: SAE International
• Report/Paper Numbers: 2012-01-0010
• Files: TRIS, SAE
• Created Date: Oct 30 2017 9:10AM