论文部分内容阅读
由于面向方面语言的不知觉性和多量化特点，模块分析和模块推理比传统方法学更加困难．为了解决面向方面语言的横切安全和横切质量问题，使用前提条件和后验条件约束横切模块和被横切模块，然而在横切过程中寻找前提条件和后验条件的失败原因十分微妙和复杂．为了分析一个横切关注点的行为影响，程序员需要考虑方面本身和这个方面影响的系统其他部分．当几个方面编织在同一个切入点，危险干扰分析变得更加复杂．类似面向对象语言中的行为子类型概念，引入横切不变性概念．为了检查由于破坏横切不变性引起的行为错误和其他4种简单行为错误，基于软件行