Model formalny dla problemu lokalizacji błędów w kodzie programu

Dariusz Dereniowski; Marek Kubale

Model formalny dla problemu lokalizacji błędów w kodzie programu

Abstrakt

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 (2)

Dariusz Dereniowski prof. dr hab. inż.
Marek Kubale prof. dr hab. inż.

Cytuj jako

Pełna treść

pobierz publikację

pobrano 32 razy

Wersja publikacji: Accepted albo Published Version
Licencja: otwiera się w nowej karcie

pełna treść artykułu zobacz w serwisie zewnętrznym otwiera się w nowej karcie

Słowa kluczowe

TEORIA GRAFÓW

Informacje szczegółowe

Kategoria:: Publikacja w czasopiśmie
Typ:: artykuły w czasopismach recenzowanych i innych wydawnictwach ciągłych
Opublikowano w:: Automatyka / Automatics nr T. 11, strony 81 - 88,
ISSN: 1429-3447
Język:: polski
Rok wydania:: 2007
Opis bibliograficzny:: Dereniowski D., Kubale M.: Model formalny dla problemu lokalizacji błędów w kodzie programu// Automatyka / Automatics. -Vol. T. 11., iss. z. 1-2 (2007), s.81-88
Weryfikacja:: Politechnika Gdańska