公开(公告)号：CN112416771B

公开(公告)日：2023-06-30

申请号：CN202011321242.2

申请日：2020-11-23

Applicant: 北京计算机技术及应用研究所

Inventor： 靳龙龙 ,  高艳鹍 ,  宋晓秋

IPC: G06F11/36

Abstract: 本发明涉及一种任意强度组合测试用例生成方法，其中，包括：第一步、生成组合测试用例全集；第二步、映射出用例标识向量；第三步、挑选测试用例，设定初始累积向量为零向量，计算每一个测试用例的重度和离散度并加权求得目标函数值，获得目标函数值最大的测试用例，则将此用例对应得标识向量添加进累积向量中，重度和离散度的计算依靠标识向量间的位运算求得；第四步、通过累积向量判定覆盖表是否达到覆盖要求，若达到，则通过调整重度与离散度的权值筛选出最小覆盖表，否则返回第三步，继续挑选测试用例。本发明能够实现任意强度最小覆盖表的生成。

公开(公告)号：CN112416771A

公开(公告)日：2021-02-26

申请号：CN202011321242.2

申请日：2020-11-23

Applicant: 北京计算机技术及应用研究所

Inventor： 靳龙龙 ,  高艳鹍 ,  宋晓秋

IPC: G06F11/36

Abstract: 本发明涉及一种任意强度组合测试用例生成方法，其中，包括：第一步、生成组合测试用例全集；第二步、映射出用例标识向量；第三步、挑选测试用例，设定初始累积向量为零向量，计算每一个测试用例的重度和离散度并加权求得目标函数值，获得目标函数值最大的测试用例，则将此用例对应得标识向量添加进累积向量中，重度和离散度的计算依靠标识向量间的位运算求得；第四步、通过累积向量判定覆盖表是否达到覆盖要求，若达到，则通过调整重度与离散度的权值筛选出最小覆盖表，否则返回第三步，继续挑选测试用例。本发明能够实现任意强度最小覆盖表的生成。

公开(公告)号：CN106776260A

公开(公告)日：2017-05-31

申请号：CN201510802517.7

申请日：2015-11-19

Applicant: 北京计算机技术及应用研究所

Inventor： 宋晓秋

IPC: G06F11/36

Abstract: 本发明公开了一种两两组合测试用例生成的遍历搜索方法，其中，包括：确定所有参数的取值组合集合；组成所有的两取值的组合形成一所有两两参数的取值组合集合；设定所有两两参数的取值组合集合为一所有未被覆盖的取值组合集合；设定一测试用例集合；选择一个属于所有参数的取值集合但不属于测试用例集合的一组合T；统计组合T涵盖了所有未被覆盖的取值组合集合中的组合个数G；S8、统计组合T在所有未被覆盖的取值组合集合中没有涵盖的所有组合中，出现次数最多的出现次数的参数H；S9、计算F＝a×G–b×H；找出所有属于所有参数的取值组合集合但不属于测试用例集合的F值最大的组合Tmax,在所有未被覆盖的取值组合集合中剔除元素Tmax覆盖的取值组合。

公开(公告)号：CN109359047B

公开(公告)日：2021-05-14

申请号：CN201811270209.4

申请日：2018-10-29

Applicant: 北京计算机技术及应用研究所

Inventor： 宋晓秋 ,  冯大成 ,  张建伟 ,  陶金龙 ,  李雅斯 ,  高昕睿

IPC: G06F11/36

Abstract: 本发明涉及一种基于系统特征状态的软件测试充分性度量方法，涉及软件测试技术领域。本发明可以定量的评估系统测试充分性，并指导如何提高测试充分性。只要获取到系统之间的通讯协议格式，并能够采集到通讯数据，就可以采用此方法指导开展系统级测试，方法的使用对系统的复杂性程度不敏感，可以支持大型复杂系统的测试。可以直观指示出哪些软件的关键特征状态没有被覆盖。类比于白盒测试中的语句覆盖、分支覆盖、路径覆盖，该方法可以定义为特征状态覆盖、特征状态组合覆盖等多级别的测试覆盖率统计，适应不同安全可靠要求的系统测试终止条件。

公开(公告)号：CN106776260B

公开(公告)日：2019-04-19

申请号：CN201510802517.7

申请日：2015-11-19

Applicant: 北京计算机技术及应用研究所

Inventor： 宋晓秋

IPC: G06F11/36

Abstract: 本发明公开了一种两两组合测试用例生成的遍历搜索方法，其中，包括：确定所有参数的取值组合集合；组成所有的两取值的组合形成一所有两两参数的取值组合集合；设定所有两两参数的取值组合集合为一所有未被覆盖的取值组合集合；设定一测试用例集合；选择一个属于所有参数的取值集合但不属于测试用例集合的一组合T；统计组合T涵盖了所有未被覆盖的取值组合集合中的组合个数G；S8、统计组合T在所有未被覆盖的取值组合集合中没有涵盖的所有组合中，出现次数最多的出现次数的参数H；S9、计算F＝a×G–b×H；找出所有属于所有参数的取值组合集合但不属于测试用例集合的F值最大的组合Tmax,在所有未被覆盖的取值组合集合中剔除元素Tmax覆盖的取值组合。

公开(公告)号：CN109359047A

公开(公告)日：2019-02-19

申请号：CN201811270209.4

申请日：2018-10-29

Applicant: 北京计算机技术及应用研究所

Inventor： 宋晓秋 ,  冯大成 ,  张建伟 ,  陶金龙 ,  李雅斯 ,  高昕睿

IPC: G06F11/36

Abstract: 本发明涉及一种基于系统特征状态的软件测试充分性度量方法，涉及软件测试技术领域。本发明可以定量的评估系统测试充分性，并指导如何提高测试充分性。只要获取到系统之间的通讯协议格式，并能够采集到通讯数据，就可以采用此方法指导开展系统级测试，方法的使用对系统的复杂性程度不敏感，可以支持大型复杂系统的测试。可以直观指示出哪些软件的关键特征状态没有被覆盖。类比于白盒测试中的语句覆盖、分支覆盖、路径覆盖，该方法可以定义为特征状态覆盖、特征状态组合覆盖等多级别的测试覆盖率统计，适应不同安全可靠要求的系统测试终止条件。