基于统计分析的弱变异测试可执行路径.pdfVIP

第 卷 第 期 计 算 机 学 报 ３９ １１ 　 　　 　　 　　 　　 Ｖｏｌ．３９ Ｎｏ．１１ 年 月 ２０１６ １１ ＣＨＩＮＥＳＥＪＯＵＲＮＡＬ ＯＦ ＣＯＭＰＵＴＥＲＳ Ｎｏｖ．２０１６ 　 基于统计分析的弱变异测试可执行路径生成 ），） ），） ） 党向盈１ ２ 巩敦卫１ ４ 姚香娟３ 　 　 １）（中国矿业大学信息与电气工程学院 江苏 徐州 ２２１１１６） 　 　 ２）（徐州工程学院信电工程学院 江苏 徐州 ２２１０００） 　 　 ３）（中国矿业大学理学院 江苏 徐州 ２２１１１６） 　 　 ４）（兰州理工大学电气工程与信息工程学院 兰州 ７３００５０） 　 　 摘 要 变异测试是一种面向缺陷的软件测试技术，然而高昂的测试代价，影响了其在实际程序测试的应用． 　 　 Ｐａ ａｄａｋｉｓ等人将某一程序的弱变异测试问题，转化为另一程序的变异语句真分支覆盖问题，以期采用已有的分支 ｐ 覆盖方法，生成变异测试数据 但是，上述方法使得转化后程序包含大量的变异分支，增加了分支覆盖测试数据生 ． 成的难度 如果采用合适的方法，约简转化后程序中包含的变异分支，并依所属的路径，对约简之后的变异分支分 ． 组，那么，将能够利用已有的路径覆盖测试方法，生成高质量的变异测试数据，从而提高弱变异测试的效率 但是， ． 如何基于某一程序和变异体，生成可执行路径，至今缺乏有效的方法 鉴于此，文中通过考察变异语句真分支之间 ． 的相关性，提出了一种用于弱变异测试的可执行路径生成方法，使得覆盖这些路径的测试数据，能够杀死所有的变 异体 该方法首先考察变异语句真分支之间的占优关系，约简被占优的变异分支，从而减少变异分支的数量；然后， ． 将非被占优的变异分支插入到该程序，转化为另一被测程序，并基于转化之后的程序，考察同一语句形成的多个变 异分支的相关性；通过组合相关变异分支，形成新的变异语句真分支；接着，利用被测语句与新变异语句真分支的 相关性，生成包含新变异语句真分支和被测语句的可执行子路径；最后，采用统计分析，基于子路径之间的执行关 系，构建并约简相关矩阵，将相关的子路径组合，生成一条或多条可执行路径 将所提方法应用于 个基准和工业