| 摘要: |
| 由于并发的存在和不确定性,在以规约为基础来测试分布式程序的正确性时，必须考虑程序 执行时的内部状态.这些内部状态通过端口显示为事件序列,程序规约需要对序列中各事件间 的依赖关系作约定,即定义事件约束集.该文提出了E-CSPE(extended-constraints on suc ceeding and preceding events)，以形式化描述这类事件约束,它由3个基本描述规则组成, 分别对应于3种不同类型的事件约束.通过判断程序执行时所产生的事件序 列集同这些事件约束集的一致性以及对约束集覆盖程 |
| 关键词: 分布式程序测试，自动机模型，端口，CSP E(constraints on succeeding and preceding events)，事件约束. |
| DOI： |
| 分类号: |
| 基金项目:本文研究得到国家“九五”重点科技攻关项目基金(No.98-780-01-07-03) 资助. |
|
| Validation Test of Distributed Program Based on Event Sequencing Con straints |
|
GU Qing,CHEN Dao-xu,YU Meng,XIE Li,SUN Zhong-xiu
|
| Abstract: |
| 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. |
| Key words: Distributed program testing, finite state machine, port, CSPE (constraints on s ucceeding and preceding events), event sequencing constraint. |
