| 摘要: |
| 随着航空型号的快速发展,航空电子系统的数字化程度越来越高,软件在其中所占的比例越来越大.对航空电子系统中的软件进行测试和检测是保证航空电子系统质量及可信运行的基础.通过分析航空电子系统软件体系结构,对航空电子系统进行形式化建模,并在此基础上,提出了一种形式化的系统级综合检测方法,从静态和动态两个方面对航空电子系统进行检测,最后通过设计并实现一个综合检测系统来验证该方法的有效性. |
| 关键词: 模型检测 系统形式化 航空电子系统 软件配置项 有限状态自动机 |
| DOI：10.13328/j.cnki.jos.004775 |
| 分类号: |
| 基金项目:国家自然科学基金(61003016, 61300007, 61305054); 科技部基本科研业务费重点科技创新类项目(YWF-14-JSJXY-007); 软件开发环境国家重点实验室自主探索基金(SKLSDE-2012ZX-28, SKLSDE-2014ZX-06) |
|
| Avionics System Testing Based on Formal Methods |
|
LI Rui, LIAN Hang, MA Shi-Long, LI Tao
|
|
State Key Laboratory of Software Development Environment BeiHang University, 100191, China
|
| Abstract: |
| With the rapid development of aviation models, the degree of digitalization of avionics systems becomes higher and higher, and the proportion of the software in those systems becomes larger and larger. In this paper, software architecture and formal modeling of avionics systems are discussed. Further, a system level integrated testing method based on formalization for avionics system from static and dynamic aspects is proposed. At last, the effectiveness of the proposed approach is evaluated through an integrated testing system designed and implemented in this research. |
| Key words: model checking system formalization avionics system software configuration item finite state automaton |
