AOP切入点故障注入测试技术研究

作     者：庄宿亮 

作者单位：南华大学 

学位级别：硕士

导师姓名：刘振宇

授予年度：2008年

学科分类：08[工学] 0812[工学-计算机科学与技术（可授工学、理学学位）] 081202[工学-计算机软件与理论] 

主      题：面向方面编程 故障分类 故障注入 变异测试 软件测试 

摘      要：面向方面的程序设计(Aspect-Oriented Programming,AOP)是最新流行的一种软件开发技术,是对面向对象软件开发方法的进一步发展和补充。AOP的主要目标是分离关注点,将所有关注点分离成核心关注点和横切方面。使用AOP可以减少代码纠缠和混乱状况。不过,这样在形成新的代码片断或量化指令的同时也可能会引入新的bug。因此,AOP测试的研究也应该随着AOP的广泛应用而越来越受到人们的重视。 现在的面向方面软件开发(Aspect-Oriented Software Development, AOSD)的研究大部分集中于问题的分析、软件设计和执行技术。虽然应用面向方面开发技术最终能开发出高质量的软件,但是面向方面也不能保证软件在应用和开发中不会出错。面向方面的程序开发语言加强了编码类型的规范,但是这也不能防护程序员的错误或对规格说明书的不充分理解。结果在面向方面的软件开发中软件测试仍然是一项非常重要的任务。 基于AOP自身的特点,一些现有的传统的测试架构和测试技术不能直接的应用于面向方面程序。这些特殊性在测试过程中需要特殊考虑。因此需要对面向方面的软件测试进行深入地研究,寻求合适的测试方法和测试架构,设计更有效的测试用例。本文对面向方面的软件开发中可能会出现的一些故障进行了详细的分析,得出了AOP故障类型。此故障类型为面向方面的测试提供了很好的指导作用,可以作为面向方面测试研究和应用的依据。 程序中有很多故障是隐性的,不易被发现的。简单使用覆盖规则测试,很难覆盖被测程序的所有分支,为此采用程序变异的方法对被测软件进行故障注入,用强制的方法执行被测分支,使隐性的故障变为显性的故障暴露出来,从而提高测试的覆盖率。 本文以AOP故障分类为基础,结合基于变异的故障注入技术,提出了基于故障分类的AOP故障注入测试过程。以AOP切入点故障类型为指导,研究了切入点变异体的生成方法。将基于变异的故障注入技术应用于面向方面程序测试,提高了测试的覆盖率,并能检测测试用例集的灵敏性。