文档介绍：硕士学位论又中国科学技术大学基于不变量的测试用例自动生成技术研究完成时间:作者姓名:学科专业:导师姓名:袁园计算机应用技术曾凡平副教授二�欢�晁脑率�巳�
’������ā�������������:��:�������:��.����
签字日期:—尘丛玉扯盔建】飞么开盔逗�中国科学技术大学学位论文原创性声明中国科学技术大学学位论文授权使用声明口保密�!D�本人声明所呈交的学位论文,是本人在导师指导下进行研究工作所取得的成果。除已特别加以标注和致谢的地方外,论文中不包含任何他人已经发表或撰写过的研究成果。与我一同工作的同志对本研究所做的贡献均已在论文中作了明确的说明。作者签名:作为申请学位的条件之一,学位论文著作权拥有者授权中国科学技术大学��有学位论文的部分使用权,即:学校有权按有关规定向国家有关部门或机构送交论文的复印件和电子版,允许论文被查阅和借阅,可以将学位论文编入有关数据库进行检索,可以采用影印、缩印或扫描等复制手段保存、汇编学位论文。本人提交的电子文档的内容和纸质论文的内容相一致。保密的学位论文在解密后也遵守此规定。导师签名:签字日期:
摘要的重视。例的概率。实验结果表明,基于适应算法的挑选测试用例的方法不仅克���机测试的低覆盖率高冗余的缺点,还提高了有效测试用例集合的收敛速度。动生成的过程,在不降低测试用例集合质量的情况下能达到更高的效率。对测软件测试是保证软件质量的重要方法之一,是软件生命周期中非常重要的一个环节。软件测试的关键技术之一就是高质量的测试用例的构造。由于传统的手工构造测试用例的方法效率低下,且受测试人员经验等人为因素的干扰较大,因此高质量测试用例的自动化生成技术的研究越来越受到工业界和学术界本文针对如何高自动化地生成高质量的测试用例这一研究课题,对测试用例的挑选和生成过程进行了研究,提出了新的挑选和生成测试用例的方法,主要工作如下:不变量和适应算法指导测试用例生成该方法将白适应随机算法的思想应用到基于不变量的测试用例自动生成技术中,即考虑了程序输入域中失效区域的局部连续性的特性,在输入空间中跳跃式地选择测试用例,克服了随机测试的盲目性,增大了下一个用例为有效用基于断言的测试用例自动生成基于断言的测试用例自动生成方法充分利用程序不变量的反馈信息,将动态似然不变量自动转换成断言并插装生成断言程序,利用断言程序判定随机生成的测试用例的有效性。这种方法不仅保持了原来基于不变量的自动化测试用例生成方法的高覆盖率,并且避免了重复提取相同的动态似然不变量集合。实验表明,该方法减少了运行���提取不变量的次数,降低了时间开销,且随着程序量的增大,优势更加明显。与原有的方法相比,本文提出的两种方法从不同的角度优化��杂美��试用例的自动化生成具有重要的意义。关键词:测试用例程序不变量自适应随机算法断言程序��
摘要工�
鷈����������琣���������������瓹����������������瓸�����猰�������������.�����������·�������甌����瑂������琽��������琲��������琤��������������猵���.�������畃�����痚�������.�������琤������瑀��������,���,�������琣�����琒���,
簍����������������������瑃�������������������.��,���������琣���������猵���