基于变量影响分析与数据变异的回归测试用例生成-计算机学报.PDF

第 卷 第 期 计 算 机 学 报 ３９ １１ 　 　　 　　 　　 　　 Ｖｏｌ．３９ Ｎｏ．１１ 年 月 ２０１６ １１ ＣＨＩＮＥＳＥＪＯＵＲＮＡＬＯＦＣＯＭＰＵＴＥＲＳ Ｎｏｖ．２０１６ 　 基于变量影响分析与数据变异的回归测试用例生成 ），） ） ） １ ２ ２ ２ 杨 波 吴 际 刘 超 　 　 　 １）（北方工业大学计算机学院 北京 １００１４４） 　 　 ２）（北京航空航天大学计算机学院 北京 １００１９１） 　 　 摘 要 故障修复后，程序员还需验证那些与修复故障相关的区域是否还存在故障或者引入了新的故障，这时有 　 　 可能需要补充新的测试用例 现有研究大多依赖符号执行等技术，这样可能导致状态空间过大 且现有的研究统一 ． ． 地来考虑程序中控制流相关的故障和数据流相关的故障，但程序中控制流相关的故障与数据流相关的故障存在区 别 由于程序运行时的行为与变量密切相关，并且在人工程序调试时程序员经常会关注变量的状态变化 因此该文 ． ． 提出了一种基于变量影响分析和数据变异的回归测试用例方法，通过分析程序中动态执行的变量状态的变化，提 炼出了一种变量行为模型，该模型描述了变量自身的状态变化和变量间的依赖关系 利用变量行为模型来找到影 ． 响故障的语句集合，基于该语句集合并利用数据变异的方法可以有针对性地补充测试用例 经过实验验证，基于变 ． 量影响分析和数据变异的回归测试用例方法，在针对数据流相关的故障修复情况进行验证时效果明显，且要优于 随机测试用例生成方法和基于路径覆盖的测试用例生成方法． 关键词 故障修复；影响分析；变量；数据变异；回归测试 　 中图法分类号 号 ／ ＴＰ３１１ 犇犗犐 １０．１１８９７ＳＰ．Ｊ．１０１６．２０１６．０２３７２ 　　　 犃狀犃 狉狅犪犮犺狅犳犚犲狉犲狊狊犻狅狀犜犲狊狋犆犪狊犲犌犲狀犲狉犪狋犻狅狀犅犪狊犲犱狅狀 狆狆 犵 犞犪狉犻犪犫犾犲犐犿 犪犮狋犃狀犪犾狊犻狊犪狀犱犇犪狋犪犕狌狋犪狋犻狅狀 狆 狔 ），） ） ） １ ２ ２ ２