基于形式规格说明的面向方面测试的研究

摘要

面向方面编程AOP是一种全新的软件开发技术，它解决了在面向对象编程中有横切关注点所引起的代码分散和代码纠缠问题。由于AOP引入了新的语言机制：连接点、切入点和通知等，这影响了程序的状态和行为，导致方面和类之间的交互复杂化。因此，开发适合面向方面的新的软件测试技术是AOP的一项迫切而艰巨的任务。 在本文中，我们提出一种基于A—FREE模型的面向方面测试技术。A—FREE是对FREE状态模型的扩展，通过基于现有的面向方面建模技术，添加横切关注点、横切特性、横切接口、横切元素等AOP特性而得到。我们通过分析方面对类的影响，提出一种编织机制，进而得到编织状态模型WSM。 方面转换树A—TT基于A—FREE模型并通过转换规则得到。本文中，我们扩展了以往显式路径转换树的方法，提出多条件覆盖A—TT规则和N+测试A—TT规则，分别用来识别潜行路径和状态控制错误。其中，我们详细分析了状态控制错误如何导致基于A—FREE模型测试的失败，并研究了基于A—FREE模型的测试如何能够检测方面错误。另外，由于测试用例是软件测试的核心和关键，我们研究了测试用例的重用规则，并以改进的迭代松弛法自动产生测试数据。 最后，我们提出基于A—FREE模型测试框架AFMAT，基于框架我们从三个方面扩展已有的基于模型的方面/类检测和测试工具MACT，并以扩展的MACT来实验、评估基于A—FREE模型的面向方面测试技术。

目录

文摘

英文文摘

声明

第1章 绪论

1.1软件测试

1.2 基于规格说明的软件测试

1.3 AOP概述

1.4 面向方面的软件测试

1.5 本文主要内容

第2章 国内外研究现状综述

2.1 基于错误模型的系统测试

2.2 AOP测试方法综述

2.3 面向方面测试方法的比较

2.4 本章小结

第3章 面向方面状态模型A-FREE

3.1 论文研究动机

3.2 FREE状态模型

3.3 面向方面状态模型A-FREE

3.4 方面与类的交互

3.5 编织状态模型

3.6 本章小结

第4章 面向方面测试

4.1 方面转换树

4.2 N+测试策略

4.3 测试用例重用

4.4 测试数据生成

4.5 检测方面错误

4.6 本章小结

第5章 框架AFMAT设计与实验评估

5.1 基于A-FPEE模型测试框架AFMAT

5.2 MACT工具扩展

5.3 实验与评估

5.4 与基于状态研究的AOP测试方法比较

5.5 本章小结

第6章 总结与展望

6.1 总结

6.2 展望

参考文献

硕士期间论文及科研情况

致谢