一种改进的组件事务特征一致性测试算法

摘要

软件体系结构描述语言(Architecture Description Language,ADL)Rapide提出了一种全局组件事务一致性测试方法,但未讨论组件之间事务一致性问题.在对组件事务管理机制分析的基础上,提出了一种改进的组件事务特征一致性测试算法.改进算法增加了对组件之间事务(称为局部组件事务)一致性的测试,从而提高了算法的检测能力,并在只有局部组件事务不一致发生时,算法的执行时间由原来的O(n2)降为O(n).从理论和实验两个方面证明了改进算法的有效性.