Consistency checks of E-CSPE constraints
Qing Gu, T. Y. Chen, Daoxu Chen, Li Ying Xie · Swinburne figshare (Swinburne University of Technology) · 2003
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 even constraints can be defined based on the specifications. This paper introduces E-CSPE constraint description rules to derive further event constraints, and a mechanism to perform consistency checks of constraints. The algorithms are of polynomial complexity.