主页期刊介绍编委会编辑部服务介绍道德声明在线审稿编委办公编辑办公English
2018-2019年专刊出版计划 微信服务介绍 最新一期:2019年第9期
     
在线出版
各期目录
纸质出版
分辑系列
论文检索
论文排行
综述文章
专刊文章
美文分享
各期封面
E-mail Alerts
RSS
旧版入口
中国科学院软件研究所
  
投稿指南 问题解答 下载区 收费标准 在线投稿
顾庆,陈道蓄,于勐,谢立,孙钟秀.基于事件约束的分布式程序正确性测试.软件学报,2000,11(8):1035-1040
基于事件约束的分布式程序正确性测试
Validation Test of Distributed Program Based on Event Sequencing Con straints
投稿时间:2000-01-17  修订日期:2000-04-14
DOI:
中文关键词:  分布式程序测试,自动机模型,端口,CSP E(constraints on succeeding and preceding events),事件约束.
英文关键词:Distributed program testing, finite state machine, port, CSPE (constraints on s ucceeding and preceding events), event sequencing constraint.
基金项目:本文研究得到国家“九五”重点科技攻关项目基金(No.98-780-01-07-03) 资助.
作者单位
顾庆 南京大学计算机软件新技术国家重点实验室,南京,210093 
陈道蓄 南京大学计算机软件新技术国家重点实验室,南京,210093 
于勐 南京大学计算机软件新技术国家重点实验室,南京,210093 
谢立 南京大学计算机软件新技术国家重点实验室,南京,210093 
孙钟秀 南京大学计算机软件新技术国家重点实验室,南京,210093 
摘要点击次数: 2355
全文下载次数: 2593
中文摘要:
      由于并发的存在和不确定性,在以规约为基础来测试分布式程序的正确性时,必须考虑程序 执行时的内部状态.这些内部状态通过端口显示为事件序列,程序规约需要对序列中各事件间 的依赖关系作约定,即定义事件约束集.该文提出了E-CSPE(extended-constraints on suc ceeding and preceding events),以形式化描述这类事件约束,它由3个基本描述规则组成, 分别对应于3种不同类型的事件约束.通过判断程序执行时所产生的事件序 列集同这些事件约束集的一致性以及对约束集覆盖程
英文摘要:
      Because of concurrency and non-determinism, the inner-states of a running dist ributed program should be considered a part from the start and the end states, w hen the program is to be tested and the validated. According to specification ba sed testing, these inner-states will tranform into event sequences through the ports of the program, and the co-relations among these events, i.e. the set of event sequencing constraints should be provided by the program's specification. In this paper, the authors introduce the E-CSPE (extended-constraints on su cceeding and preceding events), a method to formalize these event constraints. T he E-CSPE includes three basic discription rules, which correspond to three dif ferent types of such event constraints. Based on the consistency with and covera ge of these event constraints by the event sequences produced by the program exe cution, the validity of the distributed implementation can be tested.
HTML  下载PDF全文  查看/发表评论  下载PDF阅读器
 

京公网安备 11040202500064号

主办单位:中国科学院软件研究所 中国计算机学会 京ICP备05046678号-4
编辑部电话:+86-10-62562563 E-mail: jos@iscas.ac.cn
Copyright 中国科学院软件研究所《软件学报》版权所有 All Rights Reserved
本刊全文数据库版权所有,未经许可,不得转载,本刊保留追究法律责任的权利