兵工自动化
兵工自動化
병공자동화
ORDNANCE INDUSTRY AUTOMATION
2012年
9期
93-96
,共4页
董成基%齐杏林%吕静%赵志宁
董成基%齊杏林%呂靜%趙誌寧
동성기%제행림%려정%조지저
飞行控制软件%测试用例%EFSM%组合设计%时间属性
飛行控製軟件%測試用例%EFSM%組閤設計%時間屬性
비행공제연건%측시용례%EFSM%조합설계%시간속성
为进行飞行控制软件测试,采用扩展有限状态机(extended finite state machine,EFSM)模型对弹药飞行控制软件测试需求建模和测试用例的生成展开研究.将时间约束作为变量处理和并发任务的平坦化分析进行研究,通过分析生成了模拟软件完整执行过程的测试序列,采用组合设计解决了各输入变量不同取值之间的组合问题,并提出为变量增加时间属性来描述产生测试信号的时刻.以某弹药飞控软件为例,进行建模和测试用例生成实践,验证了方法的可行性.该研究为有限状态机模型在飞控软件和其它实时软件测试中的应用进行了探索.
為進行飛行控製軟件測試,採用擴展有限狀態機(extended finite state machine,EFSM)模型對彈藥飛行控製軟件測試需求建模和測試用例的生成展開研究.將時間約束作為變量處理和併髮任務的平坦化分析進行研究,通過分析生成瞭模擬軟件完整執行過程的測試序列,採用組閤設計解決瞭各輸入變量不同取值之間的組閤問題,併提齣為變量增加時間屬性來描述產生測試信號的時刻.以某彈藥飛控軟件為例,進行建模和測試用例生成實踐,驗證瞭方法的可行性.該研究為有限狀態機模型在飛控軟件和其它實時軟件測試中的應用進行瞭探索.
위진행비행공제연건측시,채용확전유한상태궤(extended finite state machine,EFSM)모형대탄약비행공제연건측시수구건모화측시용례적생성전개연구.장시간약속작위변량처리화병발임무적평탄화분석진행연구,통과분석생성료모의연건완정집행과정적측시서렬,채용조합설계해결료각수입변량불동취치지간적조합문제,병제출위변량증가시간속성래묘술산생측시신호적시각.이모탄약비공연건위례,진행건모화측시용례생성실천,험증료방법적가행성.해연구위유한상태궤모형재비공연건화기타실시연건측시중적응용진행료탐색.
