-
公开(公告)号：CN119127700A
公开(公告)日：2024-12-13
申请号：CN202411246332.8
申请日：2024-09-06
Applicant: 北京航空航天大学
IPC: G06F11/36
Abstract: 本发明公开了一种应用于可配置软件系统的高测试强度测试集获取方法，包括：基于待测可配置软件系统中各配置项之间的配置约束关系，获取对应的布尔公式；通过组合测试求解器构建测试强度为2的初始测试集；采用快速无效性检测技术对待测可配置软件系统中的每个待测三元组进行识别，生成未被初始测试集覆盖，且满足布尔公式的三元组集合；基于三元组集合构建多个测试用例，并通过测试用例评价函数筛选出当前轮次的最优测试用例；将最优测试用例添加到初始测试集中，并基于此对三元组集合进行更新；重复上述过程，直至成功构建出覆盖测试强度为3的最终测试集。该方法大幅提升了算法的执行效率，能够更加快速地生成所需的高强度测试集。
Search Results
1
records
(took 0.016 seconds)
筛选
AND
AND
过滤
NOT
NOT
Scan to Join
