Abstract: This paper presents a new technique to detect the redundancy and conflict between business constraints using a combination of lightweight test technique, verification in the runtime and AOP architecture. The definition of business constrains is given, then constraints are extracted out through making use of RT（Reality Tree） in TOC（Theory of Constraint） and are put in the pointcut in AOP. The supervise properties of constraints are expressed by proposition language. Detection of redundancies and conflicts will be done by truth table merging, thus improving software reliability.

Key words: business constraints, Aspect-Oriented Programming（AOP）, verification in the runtime, Theory of Constraint（TOC）

摘要： 利用运行时验证这样一种新兴的轻量级验证技术和AOP的框架结合，检测业务约束之间存在的冗余和冲突。首先对业务约束进行定义，利用约束理论（TOC）中的现实树（RT）将约束提取出来放在AOP的切入点（pointcut）中，然后利用命题语言表示约束的监控性质，再通过合并真值表的方法来检测约束中存在的冗余和冲突，最终提高软件的可靠性。

关键词: 业务约束, 面向方向编程（AOP）, 运行时验证, 约束理论