| 基于事件约束的分布式程序正确性测试 |
| |
| 引用本文： | 顾庆,陈道蓄,于勐,谢立,孙钟秀.基于事件约束的分布式程序正确性测试[J].软件学报,2000,11(8):1035-1040. |
| |
| 作者姓名： | 顾庆 陈道蓄 于勐 谢立 孙钟秀 |
| |
| 作者单位： | 南京大学计算机软件新技术国家重点实验室,南京,210093 |
| |
| 基金项目： | 本文研究得到国家“九五”重点科技攻关项目基金(No.98-780-01-07-03) 资助. |
| |
| 摘 要： | 由于并发的存在和不确定性,在以规约为基础来测试分布式程序的正确性时，必须考虑程序 执行时的内部状态.这些内部状态通过端口显示为事件序列,程序规约需要对序列中各事件间 的依赖关系作约定,即定义事件约束集.该文提出了E-CSPE(extended-constraints on suc ceeding and preceding events)，以形式化描述这类事件约束,它由3个基本描述规则组成, 分别对应于3种不同类型的事件约束.通过判断程序执行时所产生的事件序 列集同这些事件约束集的一致性以及对约束集覆盖程
|
| 关 键 词： | 分布式程序测试，自动机模型，端口，CSP E(constraints on succeeding and preceding events)，事件约束. |
| 收稿时间： | 2000/1/17 0:00:00 |
| 修稿时间： | 2000/4/14 0:00:00 |
Validation Test of Distributed Program Based on Event Sequencing Con straints |
| |
| GU Qing,CHEN Dao-xu,YU Meng,XIE Li and SUN Zhong-xiu.Validation Test of Distributed Program Based on Event Sequencing Con straints[J].Journal of Software,2000,11(8):1035-1040. |
| |
| Authors: | GU Qing CHEN Dao-xu YU Meng XIE Li and SUN Zhong-xiu |
| |
| Affiliation: | State Key Laboratory for Novel Software Technology\ Nanjing University\ Nanjing\ 210093 |
| |
| Abstract: | |
| |
| Keywords: | Distributed program testing finite state machine port CSPE (constraints on s ucceeding and preceding events) event sequencing constraint |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
| 点击此处可从《软件学报》浏览原始摘要信息 |
|
点击此处可从《软件学报》下载全文 |
