论文信息 - Test Design and Verification of a Model-Based Spacecraft Thermal Control System - 字舞流文

Test Design and Verification of a Model-Based Spacecraft Thermal Control System

Da Li | Wei Zhang | Ailing Han | Wei Lv | He Gao | Wei Zhang | Da Li | Wei Lv | A. Han | He Gao

[1] Yang Liu,et al. FSM-Based Testing: Theory, Method and Evaluation: FSM-Based Testing: Theory, Method and Evaluation , 2011 .

[2] Antonia Bertolino,et al. Software Testing Research: Achievements, Challenges, Dreams , 2007, Future of Software Engineering (FOSE '07).

[3] Ferhat Khendek,et al. Test Selection Based on Finite State Models , 1991, IEEE Trans. Software Eng..

[4] A. Wayne Wymore,et al. Model-based systems engineering , 1993 .