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

Abstract

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.

Authors (2)

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

Cite as

Full text

download paper

downloaded 12 times

Publication version: Accepted or Published Version
License: open in new tab

full content of the article see on external site open in new tab

Keywords

TEORIA GRAFÓW

Details

Category:: Articles
Type:: artykuły w czasopismach recenzowanych i innych wydawnictwach ciągłych
Published in:: Automatyka / Automatics no. T. 11, pages 81 - 88,
ISSN: 1429-3447
Language:: Polish
Publication year:: 2007
Bibliographic description:: 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
Verified by:: Gdańsk University of Technology