TCGtool (Test Case Generation tool)

Licenza: Gratuito ‎Dimensioni del file: N/A
‎Valutazione utenti: 3.5/5 - ‎6 ‎Voti

Circa TCGtool (Test Case Generation tool)

TCGTool è uno strumento per la generazione di test case da macchine a stati finiti. Lo strumento consente all'utente di specificare una Mealy Machine e quindi genera i test case utilizzando un metodo scelto dall'utente. Al momento viene implementato solo il metodo Wp.