论文部分内容阅读
面向方面程序的错误分析是建立有效的面向方面软件测试方法的基础.本文基于主流的面向方面编程语言AspectJ,从动态横切实现角度,针对新引入的方面语言部件的使用,提出面向方面程序中可能出现的两大类共五种错误类型:连接点签名语法匹配错误,连接点控制流行为语义匹配错误,连接点横切功能代码对连接点接口契约的前置条件、后置条件以及不变量的影响造成的错误.通过结合典型实例给出这些错误类型的表现,分析错误的特征,并对各种错误类型进行了测试角度的思考.