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

摘要：

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

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

所属期刊栏目：28

分类号：TP311(计算技术、计算机技术)

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

在线出版日期：2007-07-30（万方平台首次上网日期，不代表论文的发表时间）

页数：共5页

页码：1240-1244