%0 Journal Article
%T 基于形式化方法的航空电子系统检测
%A 李睿？
%A 连航？
%A 马世龙？
%A 黎涛？
%J 软件学报
%P 181-201
%D 2015
%R 10.13328/j.cnki.jos.004775
%X 随着航空型号的快速发展,航空电子系统的数字化程度越来越高,软件在其中所占的比例越来越大.对航空电子系统中的软件进行测试和检测是保证航空电子系统质量及可信运行的基础.通过分析航空电子系统软件体系结构,对航空电子系统进行形式化建模,并在此基础上,提出了一种形式化的系统级综合检测方法,从静态和动态两个方面对航空电子系统进行检测,最后通过设计并实现一个综合检测系统来验证该方法的有效性.
%K 模型检测
%K 系统形式化
%K 航空电子系统
%K 软件配置项
%K 有限状态自动机
%U http://www.jos.org.cn/ch/reader/view_abstract.aspx?file_no=4775&flag=1