论文研究 多模态脑机接口游戏系统的设计与应用.pdf
利用运行时验证这样一种新兴的轻量级验证技术和AOP的框架结合,检测业务约束之间存在的冗余和冲突。首先对业务约束进行定义,利用约束理论(TOC)中的现实树(RT)将约束提取出来放在AOP的切入点(pointcut)中,然后利用命题语言表示约束的监控性质,再通过合并真值表的方法来检测约束中存在的冗余和冲突,最终提高软件的可靠性。
用户评论