Multi-Level Test Models for Embedded Systems

Test methodologies for large embedded systems fail to reflect the test process as a whole. Instead, the test process is divided into independent test levels featuring differences like the functional abstraction levels, but also similarities such as many functional test cases. Desirable instruments such as test front-loading feature a considerable test effort and test cost reduction potential, but their efficiency suffers nowadays from the strict separation of the test levels and the consequent lack of appropriate mechanisms for reusing tests across test levels. Multi-level test cases have shown to provide the means for a seamless test level integration based on test case reuse across test levels. This paper extends this concept by introducing multi-level test models which are capable of systematically integrating different functional abstraction levels. From these models, we can derive multi-level test cases that are executable at different test levels. With this novel approach, multi-level testing benefits from the principles of model-based testing while the requirements for providing multi-level capabilities to any test models are analyzed and described.

[1]  Andreas Krämer,et al.  Model-Based Testing of Automotive Systems , 2008, 2008 1st International Conference on Software Testing, Verification, and Validation.

[2]  Vtt Publications,et al.  Reuse of TTCN-3 Code , 2005 .

[3]  Torben Amtoft,et al.  Faithful Translations between Polyvariant Flows and Polymorphic Types , 2000, ESOP.

[4]  Eckard Lehmann Time Partition Testing , 2004 .

[5]  Daniel M. Yellin,et al.  Protocol specifications and component adaptors , 1997, TOPL.

[6]  Justyna Zander-Nowicka,et al.  Model-based Testing of Real-Time Embedded Systems in the Automotive Domain , 2009 .

[7]  Alexander Pretschner,et al.  Methodological Issues in Model-Based Testing , 2004, Model-Based Testing of Reactive Systems.

[8]  Bernhard Schätz,et al.  Integrating Component Tests to System Tests , 2010, Electron. Notes Theor. Comput. Sci..

[9]  J. Davenport Editor , 1960 .

[10]  Stefan Kaiser,et al.  Integrating Test Levels for Embedded Systems , 2009, 2009 Testing: Academic and Industrial Conference - Practice and Research Techniques.

[11]  James A. Whittaker,et al.  Model‐Based Software Testing , 2002 .

[12]  Stefan Kaiser,et al.  Reusing Component Test Cases for Integration Testing of Retarding Embedded System Components , 2009, 2009 First International Conference on Advances in System Testing and Validation Lifecycle.