基于约束组合的弱变异软件测试用例集自动生成  

Automatic generation of weak variation software test case set based on constraint combination

作　　者：赵妍彦 万春旭[1] ZHAO Yanyan;WAN Chunxu(Beijing Vocational College of Agriculture,Beijing 102442,China)

机构地区：[1]北京农业职业学院,北京102442

出　　处：《自动化与仪器仪表》2020年第10期59-62,共4页Automation & Instrumentation

基　　金：北京农业职业学院科研基金项目(No.XY-YF-19-20);北京市教委科研计划项目(No.KM201711232012)。

摘　　要：为了提高弱变异软件测试和故障调试能力,需要进行弱变异软件测试用例集自动生成处理,提出基于约束组合的弱变异软件测试用例集自动生成模型。准确度较高采用输出软件源文件完整性控制方法进行弱变异软件测试用例集调度,提取弱变异软件测试用例集模糊度特征量,结合软件兼容性测试的方法,构建弱变异软件测试用例集融合性调度模型,得到静态软件源文件用例集输出特征量,提取弱变异软件测试用例集的关联特征值,采用软件兼容性测试算法进行弱变异软件测试用例集自动生成的自适应寻优,根据弱变异软件测试用例集的规则性分布性实现弱变异软件测试和故障分析。仿真结果表明,采用该方法进行弱变异软件测试用例集自动生成的准确度较高,检测精度较好,提高了弱变异软件测试用例集自动检测生成能力。In order to improve the ability of weak mutation software testing and fault debugging,it is necessary to automatically generate weak mutation software test case sets.An automatic generation model of weak mutation software test case sets based on constraint combination is proposed.With high accuracy,the output software source file integrity control method is adopted to schedule the weak mutation software test case set,the fuzzy degree feature quantity of the weak mutation software test case set is extracted,and the fusion scheduling model of the weak mutation software test case set is constructed by combining the software compatibility test method to obtain the output feature quantity of the static software source file test case set,the associated feature value of the weak mutation software test case set is extracted,the software compatibility test algorithm is adopted to carry out the adaptive optimization of the automatic generation of the weak mutation software test case set,and the weak mutation software test and fault analysis are realized according to the regular distribution of the weak mutation software test case set.The simulation results show that the automatic generation of weak mutation software test case set using this method has higher accuracy and better detection accuracy,and improves the automatic detection generation capability of weak mutation software test case set.

关 键 词：约束组合 弱变异软件测试 用例集 自动生成 

分 类 号：TP311[自动化与计算机技术—计算机软件与理论]