Wyszukiwarka
Abstrakt
W artykule rozważamy model, w którym zakładamy, że dany jest zbiór asercji/testów dla pewnych bloków programu. Celem jest znalezienie optymalnej, tzn. wymagającej wykonania minimalnej liczby testów strategii wyszukiwania błędu w kodzie programu. Pomimo założenia w modelu, iż program posiada dokładnie jeden błąd, rozważania można uogólnić na testowanie kodu z dowolną liczbą błędów. Analizujemy teoretyczne własności tego modelu oraz związki z problemem uporządkowanego kolorowania grafów.
Autorzy (2)
Cytuj jako
Pełna treść
pełna treść publikacji nie jest dostępna w portalu
Słowa kluczowe
Informacje szczegółowe
- Kategoria:
- Publikacja w czasopiśmie
- Typ:
- artykuły w czasopismach recenzowanych i innych wydawnictwach ciągłych
- Opublikowano w:
-
POLISH JOURNAL OF ENVIRONMENTAL STUDIES
nr 17,
strony 124 - 128,
ISSN: 1230-1485 - Język:
- angielski
- Rok wydania:
- 2008
- Opis bibliograficzny:
- Dereniowski D., Kubale M.: program verification strategy and edge ranking of graphs// POLISH JOURNAL OF ENVIRONMENTAL STUDIES. -Vol. 17., nr. nr 2A [suplement] (2008), s.124-128
- Weryfikacja:
- Politechnika Gdańska
wyświetlono 87 razy