机译:基于扩展有限状态机的实时嵌入式软件测试方法
School of Reliability and Systems Engineering Beihang University Beijing 100191 P. R. China;
School of Reliability and Systems Engineering Beihang University Beijing 100191 P. R. China;
National Key Laboratory of Science and Technology on Avionics System Integration Shanghai 200233 P. R. China;