[发明专利]一种嵌入式软件可信性保障方法

摘要

本发明公开了一种嵌入式软件可信性保障方法，通过构建基于可信要素的五元组技术体系，实现在每一个研制阶段针对每一个可信要素利用理论方法、工具以及度量评估对嵌入式软件的可信性进行系统全面的保障。本发明以工程实践中提炼出的嵌入式软件可信要素为基础，将软件可信性保障按照可信要素分配到软件研制各阶段，使得可信性保障更具有针对性。使用不同粒度的、与研制阶段相关联的可信要素来指导可信性保障活动，保证了可实施性。本发明采用工具作为嵌入式软件可信性保障活动的最终手段，与目前大多数依赖过程管理体系保证软件质量的方法有明显不同，实现了软件可信性保障从依赖人到依赖工具的转变。

主权项

一种嵌入式软件可信性保障方法，其特征在于包括如下步骤：（1）确定嵌入式软件的可信要素，包括动态时序、内存使用、数据使用、计算误差、协议正确性、状态转换、故障处理、编译等价性、编码、各阶段一致性；（2）在步骤（1）确定的嵌入式软件可信要素的基础上构建一个五元组技术体系模型{E,S,TM,T,M}，用该五元组技术体系模型表示嵌入式软件可信性保障方法；其中E是嵌入式软件可信要素的集合，E={动态时序、内存使用、数据使用、计算误差、协议正确性、状态转换、故障处理、编译等价性、编码、各阶段一致性}；S是嵌入式软件生命周期各个研制阶段的集合，S={需求分析阶段、软件设计阶段、软件编码阶段、软件测试阶段}；TM是可信性保障理论和方法的集合，根据可信要素选择与研制阶段相匹配的可信性保障理论和方法；T是可信性保障工具的集合，T是TM的工程化形态，即相关可信性保障理论和方法对应的自动化软件工具集合；M表示可信性度量和评估；（3）基于步骤（2）构建的五元组技术体系模型，在每一个研制阶段，针对每一个可信要素利用理论方法、工具以及度量评估进行可信性保障活动，具体过程为：首先判断S中的各个阶段是否已完成，如果未完成，则对可信要素E分解到该阶段的每个子要素和元要素，判断T中是否存在对应的工具，如果存在，则使用工具进行可信性保障，否则采用对应的指南、规范保障该要素，直到S中的所有研制阶段都已完成；当完成S中的所有研制阶段后，对软件的可信性进行度量和评估，如果评估结果满足要求，则结束；否则，按照上述步骤实施二次保障；从而实现嵌入式软件可信性的系统全面的保障。