EFSM模型字符串测试数据自动生成研究.pdfVIP

2014年 6月 计算机工程与设计 June2014 第 35卷 第6期 COMPUTER ENGINEERING AND DESIGN VoI．35 No．6 EFSM模型字符串测试数据 自动生成研究 尤 枫，刘宜桦 ，赵瑞莲 (北京化工大学信息科学与技术学院，北京 100029) 摘 要：字符串测试数据 自动生成是 目前的研究难点，还没有很好地解决方法。针对这个问题，提 出了一种将符号执行约 束求解与搜索算法相结合实现基于EFSM模型的字符串测试数据 自动生成方法。将测试数据候选字符集中的字符通过取余 编码转换为整数；将 目标路径上字符串约束转换成整数约束，通过约束求解获得 中间解；采用搜 索算法生成字符 串测试数 据。该方法能很好地减小字符串的搜索范围，有效地减少搜 索算法的执行时间。实验结果表 明，该方法达到了预期的效 果，提高了测试数据生成效率。 关键词：扩展有限状态机；符号执行；搜索算法；测试数据生成；字符串 中图法分类号：TP311．5 文献标识号：A 文章编号：1000—7024 (2014)06—1968—05 AutomaticstringtestdatagenerationforEFSM model YOU Feng，LIU Yi—hua，ZHAO Rui—lian (CollegeofInformationScienceandTechnology，BeijingUniversityofChemicalTechnology，Beijing100029，China) Abstract：Automaticstringtypetestdatagenerationwasadifficultpointandcurrentstudycouldnotgenerateagoodapproachto solvethisproblem．A methodofstringtestdataautomaticgenerationcombiningsymbolicexecutionwithconstraintsolvingand searchalgorithm basedonEFSM modelwaspropose First，morecandidatecharactersweregotterinacharactersetthrough thetestdataencodedintoaninteger，thenthetargetstringconstraintswereconvertedtOintegerconstraintsonthepath，the constraintsweresolvedandintermediatesolutionweresolved，finally，stringtestdatawasgeneratedbysearchalgorithm．This methodcouldeffectivelyreducethesearchrangeofthestringandtheexecutiontimeofthesearchalgorithm．Theexperimental resultsshowedthatthemethodachievedthedesiredeffect，andimprovedtheefficiencyoftestdatageneration． Keywords：extendedfinitestatemachine(EFSM)；smy bolexecution；searchalgorithm；testdatageneration；string 求解和搜索算法相结合来实现字符串测试数据生成，能很 0 引 言 好的克服一般搜索算法和定义文法的约束求解这两个方法 扩展有限状态机 (EFSM)已广泛应用于软件系统的抽 的不足 。 象n]。在软件测试领域 ，基于 EFSM模型的测试得到越来 1