期刊文献+
共找到2篇文章
< 1 >
每页显示 20 50 100
面向Java的分布式程序测试系统 被引量:2
1
作者 顾庆 陈道蓄 +1 位作者 谢立 孙钟秀 《软件学报》 EI CSCD 北大核心 2003年第4期743-749,共7页
由于程序的分布运行,测试分布式程序必须同时考虑并发特性和运行环境.介绍了一个面向Java语言的分布式程序测试系统JDPT(Java-oriented distributed program testing system).JDPT基于运行环境定义事件,通过事件序列记录分布式程序的运... 由于程序的分布运行,测试分布式程序必须同时考虑并发特性和运行环境.介绍了一个面向Java语言的分布式程序测试系统JDPT(Java-oriented distributed program testing system).JDPT基于运行环境定义事件,通过事件序列记录分布式程序的运行过程,并定义事件约束检测可行事件序列集的有效性.通过该技术,JDPT可以有效地判断程序在运行环境中并发执行的正确性,适用于跨平台的Java程序测试. 展开更多
关键词 分布式程序测试系统 JAVA语言 软件开发 并行程序 事件约束
在线阅读 下载PDF
基于事件约束的分布式程序正确性测试 被引量:6
2
作者 顾庆 陈道蓄 +2 位作者 于勐 谢立 孙钟秀 《软件学报》 EI CSCD 北大核心 2000年第8期1035-1040,共6页
由于并发的存在和不确定性 ,在以规约为基础来测试分布式程序的正确性时 ,必须考虑程序执行时的内部状态 .这些内部状态通过端口显示为事件序列 ,程序规约需要对序列中各事件间的依赖关系作约定 ,即定义事件约束集 .该文提出了 E- CSPE(... 由于并发的存在和不确定性 ,在以规约为基础来测试分布式程序的正确性时 ,必须考虑程序执行时的内部状态 .这些内部状态通过端口显示为事件序列 ,程序规约需要对序列中各事件间的依赖关系作约定 ,即定义事件约束集 .该文提出了 E- CSPE(extended- constraints on succeeding and preceding events) ,以形式化描述这类事件约束 ,它由 3个基本描述规则组成 ,分别对应于 3种不同类型的事件约束 .通过判断程序执行时所产生的事件序列集同这些事件约束集的一致性以及对约束集覆盖程度可以检测被测程序的正确性 . 展开更多
关键词 分布式程序测试 自动机模型 事件约束
在线阅读 下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部