Bridging --Rural Chinese Postman Problem

Test Segments for testing all transitions:

Test(T1) = [T1, T2, T4]

Test(T2) = [T2, T4] * UIO sequences:

Test(T3) = [T3, T4] UIO(1) = [T1, T2]

Test(T4) = [T4, T4] UIO(2) = [T2, T4]

Test(T5) = [T5, T1, T2] UIO(3) = [T4]

Test(T6) = [T6, T4]

Add these test segments as bold edges to original state transition graph:

* A.V.Aho, A.T.Dahubra, D.Lee and M.U.Uyar, “An optimization technique for protocol conformance test generation based on UIO sequences and rural Chinese postman tours,” IEEE Tans. on Communications, Vol. 39, No. 11, pp. 1604-1615, 1991.

Test(T1), Test(T6)

Test(T4), Test(T5)

Test(T2), Test(T3)

前一張投影片

下一張投影片

回到第一張投影片

檢視圖形版本