TCG

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.