航空电子系统基于需求的自动测试方法

摘要

提出了一种基于需求的自动测试方法.该方法针对目前航空电子系统的系统设计与验证中的"V"型流程进行建模,并对其进行形式化的描述,以供计算机分析、识别.设计了一套有效、完备的自动测试系统以达到对系统需求的验证,并在此基础上提出了进一步研究的方向.通过实际软件验证了所提方法的有效性.