高可信软件的测试序列生成方法及系统、测试方法及系统技术方案

本发明专利技术公开了一种高可信软件的测试序列生成方法及系统、测试方法及系统。该测试序列生成方法包括：根据待测试事件集以及顺序覆盖力度确定待覆盖子序列集；确定初始测试序列，并将其作为当前测试序列；判断当前测试序列是否完全覆盖各待覆盖子序列；如果否，则将待测试事件集中各待测试事件分别单独添加到当前测试序列后面，得到多个候选测试序列；选择候选测试序列中覆盖待覆盖子序列数量最多的候选测试序列替换当前测试序列，并跳转至“判断当前测试序列是否完全覆盖各待覆盖子序列”步骤；如果是，则将完全覆盖各待覆盖子序列的当前测试序列作为测试高可信软件的测试序列。本发明专利技术能够减少SCA序列覆盖冗余。

【技术实现步骤摘要】
高可信软件的测试序列生成方法及系统、测试方法及系统
本专利技术涉及高可信软件测试领域，特别是涉及一种高可信软件的测试序列生成方法及系统、测试方法及系统。
技术介绍
高可信软件的测试为其可靠性提供了重要的保障。高可信软件测试领域中事件驱动式软件测试技术已经得到了广泛的应用，其常见示例跨越多个领域，从嵌入式系统到web和GUI应用程序。基于事件执行排列的测试方法在软件测试领域中很常见。现有的T-way策略对于检测参数之间的交互故障非常有用，尤其是在较高的交互强度时，但仍然缺乏测试事件序列或参数发生的支持。Kuhn等人使用组合方法提供了有效的策略，表1展示了序列覆盖数组生成器工具生成的SCA示例，从表1可以看出，4个事件的3-way顺序覆盖生成了8个测试序列。表1四个事件的3-way覆盖测试序列可见，上述方法中，SCA覆盖阵列的生成未考虑到多个测试序列可能同时覆盖了相同的顺序事件子序列，从而导致存在顺序覆盖冗余的问题。
技术实现思路
本专利技术的目的是提供一种高可信软件的测试序列生成方法及系统、测试方法及系本文档来自技高网...

【技术保护点】
1.一种高可信软件的测试序列生成方法，其特征在于，包括：/n确定待测试事件集以及待测试事件的顺序覆盖力度；/n根据所述待测试事件集以及所述顺序覆盖力度确定待覆盖子序列集；/n确定初始测试序列，并将其作为当前测试序列；所述初始测试序列为由所述待测试事件集中的待测试事件组成的测试序列；/n判断所述当前测试序列是否完全覆盖各所述待覆盖子序列；/n如果否，则将待测试事件集中各待测试事件分别单独添加到所述当前测试序列后面，得到多个候选测试序列；/n选择所述候选测试序列中覆盖所述待覆盖子序列数量最多的候选测试序列替换所述当前测试序列，并跳转至“判断所述当前测试序列是否完全覆盖各待覆盖子序列”步骤；/n如果...

【技术特征摘要】
1.一种高可信软件的测试序列生成方法，其特征在于，包括：
确定待测试事件集以及待测试事件的顺序覆盖力度；
根据所述待测试事件集以及所述顺序覆盖力度确定待覆盖子序列集；
确定初始测试序列，并将其作为当前测试序列；所述初始测试序列为由所述待测试事件集中的待测试事件组成的测试序列；
判断所述当前测试序列是否完全覆盖各所述待覆盖子序列；
如果否，则将待测试事件集中各待测试事件分别单独添加到所述当前测试序列后面，得到多个候选测试序列；
选择所述候选测试序列中覆盖所述待覆盖子序列数量最多的候选测试序列替换所述当前测试序列，并跳转至“判断所述当前测试序列是否完全覆盖各待覆盖子序列”步骤；
如果是，则将完全覆盖各所述待覆盖子序列的当前测试序列作为测试高可信软件的测试序列。


2.根据权利要求1所述的高可信软件的测试序列生成方法，其特征在于，所述根据所述待测试事件集以及所述顺序覆盖力度确定待覆盖子序列集，具体包括：
从所述待测试事件集中任取t个待测试事件做全排列组合，得到待覆盖子序列集，其中，t为所述顺序覆盖力度。


3.根据权利要求1所述的高可信软件的测试序列生成方法，其特征在于，所述确定初始测试序列，具体包括：
将所述待测试事件集中各待测试事件随机排列得到的序列确定为所述初始测试序列。


4.根据权利要求1所述的高可信软件的测试序列生成方法，其特征在于，在所述确定待测试事件集之前，还包括：
将待测试事件进行统一的抽象表达，得到代表各所述待测试事件的标示；
采用各所述待测试事件的标示构建所述待测试事件集。


5.一种高可信软件的测试方法，其特征在于，包括：
采用如权利要求1-4任一项所述的高可信软件的测试序列生成方法生成测试序列；
采用所述测试序列对所述高可信软件进行测试。


6.一种高可信软件的测试序列生成系统，其特征在于，包括：
参量确定模块，用于确定待测试...

【专利技术属性】
技术研发人员：刘玉奇，白雪，谭艾迪，汪浩，彭迪，
申请(专利权)人：中国船舶工业综合技术经济研究院，
类型：发明
国别省市：北京;11