基于最小置信度的嵌入式软件成熟度静态分析

陈会平

(四川工业科技学院 电子信息与计算机工程学院, 四川 德阳 618500)

0 引 言

随着嵌入式软件发展日益成熟, 嵌入式软件成熟度静态分析工作受到社会的高度重视, 引起许多测评机构对其进行分析和研究[1-2]。但在嵌入式软件静态分析方面, 由于各项测试单位本身对测试等级和测试类型的要求差异, 目前还没有形成完全规范且覆盖全部测试等级的方法, 尤其是在静态分析以及部件测试方面存在十分明显的差异。由于嵌入式型号软件测试周期十分紧缺, 相关专家主要通过简单的静态分析进行测试。任武[3]利用聚类技术将系统划分为多个更小且容易控制的子系统, 将软件的主要特征设定为出发点, 组建目标系统的核心架构, 分析不同结构和模块间的关联性, 全面添加到已经构建的聚类中, 完成静态分析。李家栋[4]主要使用动态模拟分析软件(AFT： Aft fathom)和CAESAR II两者相结合, 在AFT软件中模拟计算出水击载荷, 同时将结果导入CAESAR II中进行静态分析。以上两种算法由于未能加入最小置信度及大数据技术, 导致静态分析结果不理想, 且静态分析费用偏高。笔者进行基于最小置信度的嵌入式软件成熟度静态分析, 仿真实验结果表明, 所提算法不仅能有效减少静态分析费用, 同时还能获取更加理想的静态分析结果。

1 基于最小置信度及大数据的嵌入式软件成熟度评价指标预处理

嵌入式软件成熟度评价是进行静态分析的基础, 通过嵌入式软件成熟度评价体系描述人类对嵌入式软件的认知和理解程度, 同时也能描述评价过程的具体进展[5-6]。……