Repozytorium publikacji - Politechnika Gdańska

Istnieje szereg sposobów badania poprawności programów komputerowych. W niniejszym referacie podejmujemy problem automatycznego testowania oprogramowania przy założeniu, iż dany jest zbiór testów (asercji) dla poszczególnych fragmentów kodu. Dla uproszczenia analizy zakładamy, że badany fragment kodu zawiera dokładnie jeden błąd, co nie zmniejsza ogólności rozważań. W artykule analizujemy praktyczne aspekty powyższego problemu oraz rozważamy teoretyczny model oparty na teorii grafów, w szczególności jej chromatyczne aspekty oraz pewien model przeszukiwania grafu.

Autorzy

• prof. dr hab. inż. Dariusz Dereniowski link otwiera się w nowej karcie ,
• prof. dr hab. inż. Marek Kubale link otwiera się w nowej karcie