|
|||||
|
|
| 基于有限状态进程的事件约束定义 | |
| 作者姓名： | 顾庆 陈道蓄 谢立 韩杰 孙钟秀 |
| 作者单位： | 南京大学,计算机软件新技术国家重点实验室,江苏,南京,210093 |
| 基金项目： | 国家"九五"重点科技攻关项目(98-780-01-07-03) |
| 摘 要： | 测试分布式程序需要定义事件约束来检测程序执行产生的事件序列.事件约束需要根据程序的规约来推导.FSP是一类描述并发程序形式化规约的进程代数记法.它将并发进程描述为动作序列,其中动作可对应到规约级事件.E-CSPE约束在给定状态谓词下定义前后运行事件间的顺序关系.根据FSP的操作符和并发控制机制可推导E-CSPE约束.推导出来的E-CSPE约束考虑到并发程序的安全和进展属性,可据以判断程序运行的正确性和测试的充分性. |
| 关 键 词： | 软件测试 有限状态进程 基于规约的测试 并发程序 事件约束 |
| 文章编号： | 1000-9825/2002/13(11)2162-07 |
| 收稿时间： | 2001-03-06 |
| 修稿时间： | 2001-08-01 |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ | |
| 点击此处可从《软件学报》浏览原始摘要信息 | |
| 点击此处可从《软件学报》下载免费的PDF全文 | |