兵工自动化Issue(9)：93-96,4.DOI:10.3969/j.issn.1006-1576.2012.09.027
飞行控制软件测试用例生成技术
Test Case Generation Technique for Flight Control Software
董成基 1齐杏林 1吕静 1赵志宁1
作者信息
- 1. 军械工程学院弹药工程系,石家庄 050003
- 折叠
摘要
Abstract
10.3969/j.issn.1006-1576.2012.09.027关键词
飞行控制软件/测试用例/EFSM/组合设计/时间属性Key words
flight control software/test cases/EFSM/composite design/time attribute分类
军事科技引用本文复制引用
董成基,齐杏林,吕静,赵志宁..飞行控制软件测试用例生成技术[J].兵工自动化,2012,(9):93-96,4.
