TCG: Narzędzie do testowania oparte na modelu

Testowanie oparte na modelu to technika automatycznego generowania zestawu przypadków testowych przy użyciu modeli wyodrębnionych z artefaktów oprogramowania. Jest to podejście mające na celu poprawę jakości oprogramowania, a także zmniejszenie kosztów związanych z procesem testowania. Książka ta jest przeznaczona dla profesjonalistów, badaczy i studentów z dziedziny inżynierii oprogramowania i ma na celu przedstawienie TCG, narzędzia do generowania i selekcji przypadków testowych funkcjonalnych i statystycznych, które akceptuje jako dane wejściowe modele probabilistyczne i nieprobabilistyczne. Dostępne techniki selekcji to cele testowe, ścieżka losowa i ścieżka najbardziej prawdopodobna. Ponadto książka ta przedstawia również technikę selekcji zwaną minimalnym prawdopodobieństwem ścieżki, w której narzędzie wybiera przypadki testowe, które mają prawdopodobieństwo wystąpienia większe lub równe wartości podanej przez użytkownika.