【摘要】 由于并发的存在和不确定性 ,在以规约为基础来测试分布式程序的正确性时 ,必须考虑程序执行时的内部状态 .这些内部状态通过端口显示为事件序列 ,程序规约需要对序列中各事件间的依赖关系作约定 ,即定义事件约束集 .该文提出了 E- CSPE(extended- constraints on succeeding and preceding events) ,以形式化描述这类事件约束 ,它由 3个基本描述规则组成 ,分别对应于 3种不同类型的事件约束 .通过判断程序执行时所产生的事件序列集同这些事件约束集的一致性以及对约束集覆盖程度可以检测被测程序的正确性 .更多还原

【Abstract】 Because of concurrency and non determinism, the inner states of a running distributed program should be considered a part from the start and the end states, when the program is to be tested and the validated. According to specification based 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 succeeding and preceding events), a method to formalize these event constraints. The E CSPE includes three basic discription rules, which correspond to three different types of such event constraints. Based on the consistency with and coverage of these event constraints by the event sequences produced by the program execution, the validity of the distributed implementation can be tested.更多还原