收藏本站
收藏 | 投稿 | 手机打开
二维码
手机客户端打开本文

基于有限状态进程的事件约束定义

顾庆  陈道蓄  谢立  韩杰  孙钟秀  
【摘要】:测试分布式程序需要定义事件约束来检测程序执行产生的事件序列.事件约束需要根据程序的规约来推导.FSP是一类描述并发程序形式化规约的进程代数记法.它将并发进程描述为动作序列,其中动作可对应到规约级事件.E-CSPE约束在给定状态谓词下定义前后运行事件间的顺序关系.根据FSP的操作符和并发控制机制可推导E-CSPE约束.推导出来的E-CSPE约束考虑到并发程序的安全和进展属性,可据以判断程序运行的正确性和测试的充分性.

知网文化
【相似文献】
中国重要会议论文全文数据库 前1条
1 常小慧;李宏伟;;基于C#的GML文档解析[A];中国地理信息系统协会第八届年会论文集[C];2004年
中国硕士学位论文全文数据库 前4条
1 王静;基于事件约束的并发程序测试方法研究[D];华中科技大学;2007年
2 杨利;分布式系统测试技术研究及其应用[D];河北工业大学;2007年
3 Elizabeth Sylvester Mkoba;[D];中南大学;2003年
4 朱宁;基于SMP2的Statecharts建模框架研究[D];国防科学技术大学;2011年
中国重要报纸全文数据库 前10条
1 南京邮电学院 李建忠;结构与枚举[N];计算机世界;2002年
2 ;网页制作一点通[N];电脑报;2004年
3 张悦;.Net中的ADO编程[N];电脑报;2003年
4 南京邮电学院 李建忠;C#语言基础[N];计算机世界;2002年
5 李永波;实现滚动文本一例[N];中国电脑教育报;2004年
6 南京邮电学院 李建忠;域与属性[N];计算机世界;2002年
7 MXC;为你的网页请个“铁将军”Flash Web技能[N];电脑报;2005年
8 西安交大长天软件公司 王隆彦;用CLI开发DB2存储过程[N];中国计算机报;2001年
9 上海 陈纯;触发器,SPROCS“变种Ⅱ”[N];电脑报;2004年
10 河北 张国军;Delphi磁盘操作编程技巧三则[N];电脑报;2002年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62982499
  • 010-62783978