E-CSPE约束的一致性判定

Consistency Checks of E-CSPE Constraints

分布式程序目前被大量使用 .由于并发的存在 ,测试分布式程序需要采用事件约束来判定运行事件序列的正确性 ,事件约束之间需要判定一致性 .初始的事件约束可以通过规约来定义 ,作者提出E CSPE约束的描述规则来推导新约束 ,并提出约束之间的一致性判定机制 .该算法具有多项式复杂度 .

Distributed software has been extensively used nowadays. In testing distributed software, event constraints should be used to verify the correctness of the runtime event sequences, and consistency be checked among the constraints. An initial set of event constraints can be defined based on the specifications. We introduce E-CSPE constraint description rules to derive further event constraints, and a mechanism to perform consistency checks of constraints. Our algorithms are of polynomial complexity.