计算机与通信技术ComputerandCommunicationTechnology《自动化技术与应用》2023年第42卷第6期TechniquesofAutomation&Applications基于约束组合的软件安全功能测试用例生成研究吴琦,李国要,方丽萍（安徽继远检验检测技术有限公司，安徽合肥230088）摘要:现有应用程序软件缺陷检测用例生成方法面对复杂应用程序时覆盖率较低，研究基于约束组合的软件安全功能测试用例生成方法。采用自适应控制协议均衡控制输入链路，提取复杂应用程序缺陷分布特征，依据缺陷分布特征定位程序安全模块缺陷。采用约束组合法构建复杂应用程序软件安全功能测试用例生成模型，实现复杂应用程序软件的安全功能测试用例自动生成。仿真结果表明，该方法提高了现有测试用例对复杂应用程序软件缺陷的测试覆盖率，最高可达99.8%。关键词:约束组合；软件安全功能；测试用例中图分类号：TP309文献标识码:A文章编号:1003-7241(2023)06-0116-04ResearchonTestCaseGenerationofSoftwareSecurityFunctionBasedonConstraintCombinationWUQi,LIGuo-yao,FANGLi-ping(AnhuiJiyuanInspectionAndTestingTechnologyCo.,Ltd.,Hefei230088China)Abstract:Existingapplicationsoftwaredefectdetectionusecasegenerationmethodsresultsinlowcoverageofthegeneratedtestcaseswhenfacingcomplexapplications.Thispaperresearchesonthesoftwaresecurityfunctiontestcasegenerationmethodbasedonconstraintcombination.Theadaptivecontrolprotocolisusedtobalancethecontrolinputlink,extractthedefectdistributionchar-acteristicsofcomplexapplications,andlocatethedefectsoftheprogramsecuritymoduleaccordingtothedefectdistributionchar-acteristics.Constraintcombinationmethodisusedtoconstructthesafetyfunctiontestcasegenerationmodelofcomplexapplica-tionsoftwaretorealizetheautomaticgenerationofsafetyfunctiontestcaseofcomplexapplicationsoftware.Thesimulationre-sultsshowthatthismethodimprovesthetestcoverageofcomplexapplicationsoftwaredefectsbyexistingtestcases,upto99.8%.Keywords:constraintcombination;softwaresecurityfeatures;testcase收稿日期:2021-07-14DOI:10.20033/j.1003-7241.（2023）06-0116-04.1引言随着软件功能不断增强，软件品种不断增多，软件集成性和复杂性越来越高。对复杂应用程序软件测试和开发过程中，受程序的过程动态性和数据源多样性因素影...
