作者：卢炎生; 王静; 谢晓东; 毛澄映软件测试并发程序事件约束cspe
摘要：由于执行的不确定性,并发程序的测试需要验证程序执行的事件序列.定义事件之间的约束是验证事件序列合法性的前提.本文提出了一种事件约束的形式化描述方法,扩充了E-CSPE（extended constraints on succeeding and preceding events）对事件排斥约束和后决约束的定义,更全面地描述了前后事件的依赖关系,并给出了基于此方法的确定性测试和非确定性测试规则.
注：因版权方要求，不能公开全文，如需全文，请咨询杂志社
