论文部分内容阅读
随着航空型号的快速发展，航空电子系统的数字化程度越来越高，软件在其中所占的比例越来越大．对航空电子系统中的软件进行测试和检测是保证航空电子系统质量及可信运行的基础．通过分析航空电子系统软件体系结构，对航空电子系统进行形式化建模，并在此基础上，提出了一种形式化的系统级综合检测方法，从静态和动态两个方面对航空电子系统进行检测，最后通过设计并实现一个综合检测系统来验证该方法的有效性．