【摘要】 由于执行的不确定性,并发程序的测试需要验证程序执行的事件序列.定义事件之间的约束是验证事件序列合法性的前提.本文提出了一种事件约束的形式化描述方法,扩充了E-CSPE(extended constraints on succeeding and preceding events)对事件排斥约束和后决约束的定义,更全面地描述了前后事件的依赖关系,并给出了基于此方法的确定性测试和非确定性测试规则.更多还原

【Abstract】 Due to the non-determinism of the execution,the event sequences generated must be verified during concurrent program testing.It is necessary for testing the validation of the event sequences to define event constraints.A formal description method about event sequencing constraints is introduced in this paper.The method extends the definition of E-CSPE(extended constraints on succeeding and preceding events) about exclusive constraints and post-determining constraints among events,and describes dependency relationship of succeeding and preceding events more completely.Based on the method,the rules of deterministic testing and nondeterministic testing are also presented.更多还原