[发明专利]借助失效数据的嵌入式软件需求安全性验证方法

权利要求书

1.一种借助失效数据的嵌入式软件需求安全性验证方法，其特征在于，其包括以下步骤：

S1、建立软件需求模型，将软件需求进行形式化模型描述，所述软件需求模型的元素包括功能输入接口、功能输出接口和功能处理过程；定义所述软件需求模型为功能集合F＝{F₁,...,F_i,...,F_n}，其中，n为常数；F_i表示第i个功能且定义为：

F_i＝{(F_iName,f_i)|f_i∈F_iI×F_iP→F_iO}＝{F_iName,F_iI,F_iO,F_iP}

其中，F_iName表示第i个功能的功能名称；F_iI表示第i个功能的功能输入接口集合；F_iO表示第i个功能的功能输出接口集合；F_iP表示第i个功能的功能处理过程；f_i表示第i个功能的功能描述；

S2、进行失效数据的模式化处理，明确失效数据模式信息：将所有失效数据进行整理与归纳，为每条失效数据分级关联引导词，并明确失效数据的失效数据模式信息；所述引导词包括第一级引导词和第二级引导词，该步骤具体包括以下子步骤：

S21、为失效数据关联第一级引导词：将所述失效数据按失效类型分为功能输入接口失效数据、功能处理过程失效数据和功能输出接口失效数据；所述第一级引导词包括功能输入接口失效、功能处理过程失效和功能输出接口失效；

S22、为失效数据关联第二级引导词，明确失效数据模式信息：

S3、建立软件需求模型与失效数据之间的映射关系，所述映射关系包括第一映射关系和第二映射关系；

S31、建立软件需求模型的元素与失效数据的第一引导词之间的第一映射关系，所述第一映射关系包括所述功能输入接口向功能输入接口失效映射、所述功能处理过程向功能处理过程失效映射以及所述功能输出接口向功能输出接口失效映射；

S32、建立软件需求模型的元素与失效数据的第二引导词之间的第二映射关系，所述第二映射关系为所述软件需求模型的元素的具体信息向所述失效数据的第二引导词映射；

S4、开展软件需求模型的安全性验证：依据所述软件需求模型与失效数据之间的映射关系，得到安全性验证规则，对所述软件需求模型的元素进行安全性验证；

S5、得到软件需求安全性验证结果：检查所述软件需求模型的元素是否均达到分析验证覆盖率要求，即功能输入接口的分析验证覆盖率达到100％、功能输出接口的分析验证覆盖率达到100％及功能处理过程的分析验证覆盖率达到100％，若是，则所述软件需求模型的安全性验证完成，输出所述软件需求模型的安全性验证结果；否则，重新执行步骤S4；各个分析验证覆盖率达到100％表示所述软件需求模型的所有元素分别针对所有失效数据进行了逐一验证分析。