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

来源 :软件学报 | 被引量 : 0次 | 上传用户：eclipse

【摘要】

：

由于并发的存在和不确定性，在以规约为基础来测试分布式程序的正确性时，必须考虑程序执行时的内部状态。这些内部状态通过端口显示为事件序列，程序规约需要对序列中各事件间的依

【作者】

：

顾庆陈道蓄

【机构】

：

南京大学计算机软件新技术国家重点实验室

【出处】

：

软件学报

【发表日期】

：

2000年8期

【关键词】

：

分布式程序测试自动机模型事件约束 Distributed program testing finite state machine port CSPE

【基金项目】

：

国家“九五”重点科技攻关项目基金! (No.98- 780 - 0 1- 0 7- 0 3)资助

下载到本地 , 更方便阅读

下载此文赞助VIP

声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架

论文部分内容阅读

由于并发的存在和不确定性，在以规约为基础来测试分布式程序的正确性时，必须考虑程序执行时的内部状态。这些内部状态通过端口显示为事件序列，程序规约需要对序列中各事件间的依赖关系作约定，即定义事件约束集。该文提出了Ｅ－ＣＳＰＥ（ｅｘｔｅｎｄｅｄ－ｃｏｎｓｔｒａｉｎｔｓｏｎｓｕｃｃｅｅｄｉｎｇａｎｄｐｒｅｃｅｄｉｎｇｅｖｅｎｔｓ），以形式化描述这类事件约束，它由３个基本描述规则组成，分别对应于３

其他文献

在全区2010年度教育工作会议上的讲话

过去的一年是不平凡的一年，全区大事多、要事多、工作困难多。在这样的背景下，教育系统的同志们，在区党委、政府的坚强领导下，团结拼搏，共克时艰，教育工作取得了显著成就，为今年全面

期刊

教育工作会议2010年教育发展规划“十一五”教育系统同志

藏族大学生英语口语学习的心理负面因素分析与心理疏导

英语口语能力是大学生英语学习需要掌握的一项重要技能,也是学校、学生和社会用人单位对大学生英语水平十分看重的的一个方面。由于种种原因,藏族大学生的英语口语水平还远不

期刊

藏族大学生英语口语心理

提高藏族学生汉语表达能力方略

语言是信息交流和知识学习的工具。在实际教学中，常常出现学生表达言不由衷，词不达意，概念混淆等现象，这为学生的学习带来了极大困难。那么，在小学教学中怎样才能提高藏族学生的汉

期刊