基于事件约束的分布式程序正确性测试

• 作者: 于勐 孙钟秀 谢立 陈道蓄 顾庆
• 来源期刊: 软件学报
• 学科: 工学
• 关键词: 分布式程序测试 自动机模型 端口 CSPE(constraints on succeeding and preceding events) 事件约束
• 年，卷（期）: 2000,（8）
• 页码范围: 1035-1040
• 页数: 6页
• 分类号: TP311
• 字数: 5227字
• 语种: 中文

摘要

由于并发的存在和不确定性,在以规约为基础来测试分布式程序的正确性时,必须考虑程序执行时的内部状态.这些内部状态通过端口显示为事件序列,程序规约需要对序列中各事件间的依赖关系作约定,即定义事件约束集.该文提出了E-CSPE(extended-constraints on suc ceeding and preceding events),以形式化描述这类事件约束,它由3个基本描述规则组成, 分别对应于3种不同类型的事件约束.通过判断程序执行时所产生的事件序列集同这些事件约束集的一致性以及对约束集覆盖程度可以检测被测程序的正确性.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	顾庆	南京大学计算机软件新技术国家重点实验室	48	633	16.0	22.0
2	陈道蓄	南京大学计算机软件新技术国家重点实验室	138	2089	25.0	40.0
3	谢立	南京大学计算机软件新技术国家重点实验室	240	3931	32.0	55.0
4	孙钟秀	南京大学计算机软件新技术国家重点实验室	15	267	6.0	15.0
5	于勐	南京大学计算机软件新技术国家重点实验室	8	267	5.0	8.0