PowerPoint 簡報
4. TTCN TCG (National Physics Lab., England)
-- Accept protocol specification
-- Output test sequences written in TTCN
-- Accept protocol written in Estelle.
-- Output test sequences written in TTCN.
6. TESTL (University of Montreal, Canada)
-- It will learn from its previous testing experience to increase the fault-detection capability.
7. CKIT (PTT Research, Netherland)
8. TeG (Tsing-Hua University, Taiwan)
-- Input : SCOP--Specification for Communication
Tablur -- Interactive tabular inputs.
-- Output : Abstract test cases.
-- Methods : U,T Methods.
-- Algorithms : Optimal Algorithms