Jest to podręcznik z dziedziny inżynierii oprogramowania, zajmującej się tworzeniem poprawnych systemów informatycznych. Bardzo ważnym etapem tego procesu jest testowanie systemu na różnych poziomach abstrakcji. Temu właśnie jest poświęcona ta książka. Autor omawia w niej różne aspekty modelowania systemu. Wiele uwagi poświęca przy tym językowi UML. Udziela praktycznych rad projektantom testów, wykorzystującym metodykę obiektową. Opisuje różne narzędzia programistyczne wspomagające testowanie. Jest to znakomity podręcznik, z wieloma wskazówkami i przykładami (w C++, Javie i Adzie), a także z wyczerpującą bibliografią, unikatowy w skali światowej. Jest przeznaczony dla studentów informatyki na wszystkich uczelniach wyższych, a także dla pracowników dydaktycznych prowadzących zajęcia z inżynierii oprogramowania.