数值程序蜕变关系构造及优化研究

发布时间：2021-08-20 06:52

　　传统测试中通过对比程序的输出结果与预期结果是否一致,来判断此次测试中是否发现了错误。但当一个待测程序的输入与输出关系很复杂时,将难以为待测程序构造预期输出。这即是软件测试中的Oracle问题。蜕变测试通过验证多个测试用例及其输出是否满足蜕变关系来判断程序中是否存在错误,从而缓解了测试中的预言问题。蜕变关系是蜕变测试的核心。为了确保蜕变测试的有效性,在蜕变测试中会构造出大量的蜕变关系。若所有的蜕变关系都用于测试将严重影响蜕变测试的效率,因此需要对蜕变关系进行优化,选择少量高效的蜕变关系用于测试。蜕变关系优化的前提是对蜕变关系进行衡量,现有的错误发现率和变异分数主要用来衡量单个蜕变关系的检错效率,忽略了蜕变关系检错之间的差异性。本文主要研究了数值程序蜕变关系的构造方法,蜕变关系的优化及与之相关的蜕变关系差异性度量问题。在蜕变关系构造方面,改进了基于等价类划分的蜕变关系构造方法、提出了基于Oracle的蜕变关系构造方法和基于函数性质的蜕变关系构造方法。实验结果表明该方法在保证蜕变测试有效性的同时可降低蜕变关系构造的复杂度。在蜕变关系优化方面,为了衡量蜕变关系的差异性本文提出了两种蜕变关系衡量... 

【文章来源】：华侨大学福建省

【文章页数】：66 页

【学位级别】：硕士

【部分图文】：

蜕变测试示意图

变异算子作用图

Globe源码

【参考文献】：
期刊论文
[1]基于差异度分析的蜕变关系选取方法[J]. 张兴隆,于磊,侯雪梅,李志博,李刚.  计算机工程与设计. 2017(01)
[2]蜕变关系敏感度及其聚类分析[J]. 谢晓东,彭声明,刘艳,汪康炜,王田,王成.  电子学报. 2016(05)
[3]基于路径分析和迭代蜕变测试的Bug检测[J]. 董国伟,郭涛,张普含,贾依真.  清华大学学报(自然科学版). 2014(01)
[4]蜕变关系构造基本准则与策略研究[J]. 王瑢,贲可荣.  计算机科学. 2012(01)
[5]蜕变测试和断言检查的比较与实验研究(英文)[J]. 张震宇,陈荣光,谢俊谦,胡佩锋.  软件学报. 2009(10)
[6]基于程序路径分析的有效蜕变测试[J]. 董国伟,聂长海,徐宝文.  计算机学报. 2009(05)
[7]蜕变测试技术综述[J]. 董国伟,徐宝文,陈林,聂长海,王璐璐.  计算机科学与探索. 2009(02)



本文编号：3353029