计算机工程与应用
計算機工程與應用
계산궤공정여응용
COMPUTER ENGINEERING AND APPLICATIONS
2003年
16期
180-182
,共3页
测试序列%测试子序列%欧拉路径%正收敛边%基本路径集
測試序列%測試子序列%歐拉路徑%正收斂邊%基本路徑集
측시서렬%측시자서렬%구랍로경%정수렴변%기본로경집
在协议工程中,一致性测试已成为非常活跃的领域,而测试序列的产生是一致性测试非常关键的环节.文章基于基本路径集的生成算法,获得不相交路径,并利用测试子序列的一个重要特征-"重叠"来获得连接正收敛边和不相交路径的最小费用迁移路径,从而减少了测试序列的长度.
在協議工程中,一緻性測試已成為非常活躍的領域,而測試序列的產生是一緻性測試非常關鍵的環節.文章基于基本路徑集的生成算法,穫得不相交路徑,併利用測試子序列的一箇重要特徵-"重疊"來穫得連接正收斂邊和不相交路徑的最小費用遷移路徑,從而減少瞭測試序列的長度.
재협의공정중,일치성측시이성위비상활약적영역,이측시서렬적산생시일치성측시비상관건적배절.문장기우기본로경집적생성산법,획득불상교로경,병이용측시자서렬적일개중요특정-"중첩"래획득련접정수렴변화불상교로경적최소비용천이로경,종이감소료측시서렬적장도.
