|
|||||
|
|
Real-time embedded software testing method based on extended finite state machine |
|
| Authors: | Yongfeng Yin Bin Liu Hongying Ni |
| Institution: | 1. School of Reliability and Systems Engineering, Beihang University, Beijing 100191, P. R. China 2. National Key Laboratory of Science and Technology on Avionics System Integration, Shanghai 200233, P. R. China |
| Abstract: | |
| Keywords: | real-time system real-time embedded software formal method extended finite state machine (EFSM) testing sequence test case |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ | |