| 基于EE-CSPE约束的并发程序测试 |
| |
| 引用本文： | 卢炎生,王静,谢晓东,毛澄映. 基于EE-CSPE约束的并发程序测试[J]. 小型微型计算机系统, 2007, 28(7): 1240-1244 |
| |
| 作者姓名： | 卢炎生 王静 谢晓东 毛澄映 |
| |
| 作者单位： | 华中科技大学,计算机科学与技术学院,湖北,武汉,430074 |
| |
| 摘 要： | 由于执行的不确定性,并发程序的测试需要验证程序执行的事件序列.定义事件之间的约束是验证事件序列合法性的前提.本文提出了一种事件约束的形式化描述方法,扩充了E-CSPE（extended constraints on succeeding and preceding events）对事件排斥约束和后决约束的定义,更全面地描述了前后事件的依赖关系,并给出了基于此方法的确定性测试和非确定性测试规则.
|
| 关 键 词： | 软件测试 并发程序 事件约束 |
| 文章编号： | 1000-1220（2007）07-1240-05 |
| 修稿时间： | 2006-01-26 |
Concurrent Program Testing Based on EE-CSPE Constraints |
| |
| LU Yan-sheng,WANG Jing,XIE Xiao-dong,MAO Cheng-ying. Concurrent Program Testing Based on EE-CSPE Constraints[J]. Mini-micro Systems, 2007, 28(7): 1240-1244 |
| |
| Authors: | LU Yan-sheng WANG Jing XIE Xiao-dong MAO Cheng-ying |
| |
| Abstract: | |
| |
| Keywords: | CSPE |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
