Well-known Test Generation Packages

1. RCP/UIO Package.

(AT&T Bell Lab.)

-- Accept FSM.

-- Based on the U method.

-- Using optimal algorithms.

2. UM Package

(University of Montreal, Canada)

-- Accept Estelle.

-- Based on the U,Uv,W and T methods.

-- Not using optimal algorithms.

3. UO Package

(University of Ottawa, Canada)

-- Accept FSM.

-- Based on the U,Uv,W and T methods.

-- Some parts using optimal algorithms.

前一張投影片

下一張投影片

回到第一張投影片

檢視圖形版本