Multi-Level Test Models for Embedded Systems
暂无分享,去创建一个
[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.