软件学报
軟件學報
연건학보
JOURNAL OF SOFTWARE
2000年
8期
1035-1040
,共6页
顾庆%陈道蓄%于勐%谢立%孙钟秀
顧慶%陳道蓄%于勐%謝立%孫鐘秀
고경%진도축%우맹%사립%손종수
分布式程序测试%自动机模型%端口%CSPE(constraints on succeeding and preceding events)%事件约束
分佈式程序測試%自動機模型%耑口%CSPE(constraints on succeeding and preceding events)%事件約束
분포식정서측시%자동궤모형%단구%CSPE(constraints on succeeding and preceding events)%사건약속
由于并发的存在和不确定性,在以规约为基础来测试分布式程序的正确性时,必须考虑程序执行时的内部状态.这些内部状态通过端口显示为事件序列,程序规约需要对序列中各事件间的依赖关系作约定,即定义事件约束集.该文提出了E-CSPE(extended-constraints on suc ceeding and preceding events),以形式化描述这类事件约束,它由3个基本描述规则组成, 分别对应于3种不同类型的事件约束.通过判断程序执行时所产生的事件序列集同这些事件约束集的一致性以及对约束集覆盖程度可以检测被测程序的正确性.
由于併髮的存在和不確定性,在以規約為基礎來測試分佈式程序的正確性時,必鬚攷慮程序執行時的內部狀態.這些內部狀態通過耑口顯示為事件序列,程序規約需要對序列中各事件間的依賴關繫作約定,即定義事件約束集.該文提齣瞭E-CSPE(extended-constraints on suc ceeding and preceding events),以形式化描述這類事件約束,它由3箇基本描述規則組成, 分彆對應于3種不同類型的事件約束.通過判斷程序執行時所產生的事件序列集同這些事件約束集的一緻性以及對約束集覆蓋程度可以檢測被測程序的正確性.
유우병발적존재화불학정성,재이규약위기출래측시분포식정서적정학성시,필수고필정서집행시적내부상태.저사내부상태통과단구현시위사건서렬,정서규약수요대서렬중각사건간적의뢰관계작약정,즉정의사건약속집.해문제출료E-CSPE(extended-constraints on suc ceeding and preceding events),이형식화묘술저류사건약속,타유3개기본묘술규칙조성, 분별대응우3충불동류형적사건약속.통과판단정서집행시소산생적사건서렬집동저사사건약속집적일치성이급대약속집복개정도가이검측피측정서적정학성.
