TCG: Narz¿dzie do testowania oparte na modelu: modelu s¿u¿¿ce generowania i selekcji przypadków testowych funkcjonalnych statystycznych

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¿ jakö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 wartöci podanej przez u¿ytkownika.