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

• Autorzy: Dereniowski D. , Kubale M.

Warianty tytułu

EN

A formal model for the bug localization problem

• Języki publikacji: PL

Abstrakty

PL

Istnieje szereg sposobów badania poprawności programów komputerowych. W artykule podejmujemy problem automatycznego testowania oprogramowania przy założeniu, że 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 model teoretyczny oparty na teorii grafów, w szczególności jej chromatyczne aspekty oraz pewien model przeszukiwania grafu opisującego strukturę programu.

EN

There are several criteria for testing program correctness. In this paper we deal with the problem of automatic software testing under the assumption that the set of tests (assertions) is given for selected blocks of code. We simplify the analysis by assuming that the program being tested contains exactly one bug, but this does not lead to loss of generality. We consider some practical aspects of the above problem and a graph-theoretical model in general as well as some chromatic aspects of a graph searching model in particular.

Słowa kluczowe

PL

graf; kolorowanie grafów; testowanie oprogramowania

EN

graph; graph coloring; software testing

• Wydawca: Wydawnictwa AGH
• Czasopismo: Automatyka / Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie
• Rocznik: 2007
• Tom: T. 11, z. 1-2
• Strony: 81--88
• Opis fizyczny: Bibliogr. 5 poz., rys.

Twórcy

autor

Dereniowski D.

• Katedra Algorytmów i Modelowania Systemów, Politechnika Gdańska

autor

Kubale M.

• Katedra Algorytmów i Modelowania Systemów, Politechnika Gdańska

Bibliografia

• [1] Horgan J.R., London S., Lyu M.R.: Achieving software quality with testing coverage measures. Computer, 27, 1994, 60
• [2] Lipman M.J., Abrahams J.: Minimum average cost testing for partially ordered components. IEEE Transactions on Information Theory 1995, 41, 287
• [3] Ben-Asher Y., Farchi E., Newman L: Optimal search in trees. SIAM J. Comp., 6, 1999, 2090
• [4] Lam T.W., Yue F.L.: Edge ranking of graphs is hard. Discrete Appl. Math., 85, 1998, 71
• [5] Lam T.W., Yue F.L: Optimal edge ranking of trees in linear time. Proceedings of the nineth annual ACM-SIAM Symposium on Discrete Algorithms, 1998, 436