From Functional Requirements through Test Evaluation Design to Automatic Test Data Patterns Retrieval - a Concept for Testing of Software Dedicated for Hybrid Embedded Systems
暂无分享,去创建一个
[1] Jürgen Großmann,et al. Continuous TTCN-3: testing of embedded control systems , 2006, SEAS '06.
[2] Raymond A. Paul,et al. Rapid embedded system testing using verification patterns , 2005, IEEE Software.
[3] Eckard Lehmann. Time partition testing: systematischer Test des kontinuierlichen Verhaltens von eingebetteten Systemen , 2004 .
[4] Mirko Conrad,et al. Selective integration of formal methods in the development of electronic control units , 1998, Proceedings Second International Conference on Formal Engineering Methods (Cat.No.98EX241).
[5] I. Schieferdecker,et al. Automotive Validation Functions for On-Line Test Evaluation of Hybrid Real-Time Systems , 2006, 2006 IEEE Autotestcon.
[6] Ina Schieferdecker,et al. From U2TP Models to Executable Tests with TTCN-3 - An Approach to Model Driven Testing , 2005, TestCom.