买专利卖专利找龙图腾，真高效！ 查专利查商标用IPTOP,全免费！专利年费监控用IP管家,真方便！

申请/专利权人：华侨大学;同济大学

摘要：本发明公开了一种基于符号化有限状态机的完备性测试用例生成方法，涉及软件测试领域，包括：采用STPA技术对安全攸关系统进行分析，得到精炼的软件安全要求并转换为线性时态逻辑属性、原子命题；采用符号化有限状态机对安全攸关系统进行建模和估值函数计算，得到测试用例生成模型，并对其进行基于一阶表达式的精化、可观察性转换，得到可观察的测试用例生成模型，并得到相应的输入等价类，基于可观察的测试用例生成模型的输入等价类集合和命题抽象生成测试用例，在故障域中的测试用例生成模型及其突变体执行测试用例，直至测试用例满足精炼的软件安全要求，解决测试用例数量庞大、完备性差的问题，以满足对安全攸关系统进行全面有效的测试要求。

主权项：1.一种基于符号化有限状态机的完备性测试用例生成方法，其特征在于，包括以下步骤：采用STPA技术对安全攸关系统进行分析，得到精炼的不安全控制动作以及精炼的软件安全要求，将所述精炼的软件安全要求转换为线性时态逻辑属性，并进一步转换为原子命题，以构成原子命题集；采用符号化有限状态机对所述安全攸关系统进行建模，得到测试用例生成模型，基于所述测试用例生成模型构建若干个突变体，并得到故障域，并计算所述安全攸关系统的所有估值函数，根据所述估值函数生成得到所述测试用例生成模型中的符号迹及其对应的具体迹，将所述估值函数映射到其满足的原子命题集中，得到命题抽象，通过递归定义将所述命题抽象扩展到赋值序列和具体迹上；对所述测试用例生成模型进行基于一阶表达式的精化，得到精化后的测试用例生成模型，基于所述精化后的测试用例生成模型对所有所述估值函数进行等价类划分，得到输入等价类，根据所述输入等价类对所述精化后的测试用例生成模型的转换进行标记，得到标记后的测试用例生成模型，基于所述标记后的测试用例生成模型构建可观察的测试用例生成模型，并生成所述可观察的测试用例生成模型的输入等价类集合，所述可观察的测试用例生成模型和所述测试用例生成模型在同一故障域中；基于所述可观察的测试用例生成模型的输入等价类集合和命题抽象生成测试用例，在所述故障域中的测试用例生成模型及其突变体执行所述测试用例，检测所述测试用例是否满足所述精炼的软件安全要求，若不满足，则重新构建故障域并重复以上两个步骤，直至所述测试用例满足所述精炼的软件安全要求。

全文数据：

权利要求：

百度查询： 华侨大学 同济大学 基于符号化有限状态机的完备性测试用例生成方法