计算机学报
計算機學報
계산궤학보
CHINESE JOURNAL OF COMPUTERS
2003年
11期
1568-1574
,共7页
顾庆%陈宗岳%陈道蓄%谢立
顧慶%陳宗嶽%陳道蓄%謝立
고경%진종악%진도축%사립
软件测试%分布式程序测试%事件约束%一致性
軟件測試%分佈式程序測試%事件約束%一緻性
연건측시%분포식정서측시%사건약속%일치성
分布式程序目前被大量使用.由于并发的存在,测试分布式程序需要采用事件约束来判定运行事件序列的正确性,事件约束之间需要判定一致性.初始的事件约束可以通过规约来定义,作者提出E-CSPE约束的描述规则来推导新约束,并提出约束之间的一致性判定机制.该算法具有多项式复杂度.
分佈式程序目前被大量使用.由于併髮的存在,測試分佈式程序需要採用事件約束來判定運行事件序列的正確性,事件約束之間需要判定一緻性.初始的事件約束可以通過規約來定義,作者提齣E-CSPE約束的描述規則來推導新約束,併提齣約束之間的一緻性判定機製.該算法具有多項式複雜度.
분포식정서목전피대량사용.유우병발적존재,측시분포식정서수요채용사건약속래판정운행사건서렬적정학성,사건약속지간수요판정일치성.초시적사건약속가이통과규약래정의,작자제출E-CSPE약속적묘술규칙래추도신약속,병제출약속지간적일치성판정궤제.해산법구유다항식복잡도.
