Search
Abstract
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.
Authors (2)
Cite as
Full text
full text is not available in portal
Keywords
Details
- Category:
- Articles
- Type:
- artykuły w czasopismach recenzowanych i innych wydawnictwach ciągłych
- Published in:
-
POLISH JOURNAL OF ENVIRONMENTAL STUDIES
no. 17,
pages 124 - 128,
ISSN: 1230-1485 - Language:
- English
- Publication year:
- 2008
- Bibliographic description:
- 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
- Verified by:
- Gdańsk University of Technology
seen 54 times