航天控制
航天控製
항천공제
AEROSPACE CONTROL
2010年
6期
63-66,76
,共5页
软件测试%目标码%数字仿真%测试环境
軟件測試%目標碼%數字倣真%測試環境
연건측시%목표마%수자방진%측시배경
阐述了一种飞行软件目标码测试环境的设计方法.该方法基于全数字仿真技术,通过分析目标文件得到反映目标码和源代码映射关系的关键信息,结合动态测试的数据实现目标码测试覆盖率统计.最后通过应用实例验证了设计方法的可行性.
闡述瞭一種飛行軟件目標碼測試環境的設計方法.該方法基于全數字倣真技術,通過分析目標文件得到反映目標碼和源代碼映射關繫的關鍵信息,結閤動態測試的數據實現目標碼測試覆蓋率統計.最後通過應用實例驗證瞭設計方法的可行性.
천술료일충비행연건목표마측시배경적설계방법.해방법기우전수자방진기술,통과분석목표문건득도반영목표마화원대마영사관계적관건신식,결합동태측시적수거실현목표마측시복개솔통계.최후통과응용실례험증료설계방법적가행성.