基于EE-CSPE约束的并发程序测试  

Concurrent Program Testing Based on EE-CSPE Constraints

作　　者：卢炎生[1] 王静[1] 谢晓东[1] 毛澄映[1] 

机构地区：[1]华中科技大学计算机科学与技术学院,湖北武汉430074

出　　处：《小型微型计算机系统》2007年第7期1240-1244,共5页Journal of Chinese Computer Systems

基　　金：湖北省自然科学基金(2005ABA256)资助.

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

关 键 词：软件测试 并发程序 事件约束CSPE 

分 类 号：TP311[自动化与计算机技术—计算机软件与理论]