Autor:

Gold, Robert

Współtwórca:

Korbicz, Józef (1951- ) - red. ; Uciński, Dariusz - red.

Tytuł:

Control flowgraphs and code coverage

Tytuł publikacji grupowej:

AMCS, Volume 20 (2010)

Temat i słowa kluczowe:

directed graph ; control flow graph ; graph reduction ; software testing ; statement coverage ; branch coverage

Abstract:

The control flow of programs can be represented by directed graphs. In this paper we provide a uniform and detailed formal basis for control flow graphs combining known definitions and results with new aspects. Two graph reductions are defined using only syntactical information about the graphs, but no semantical information about the represented programs. We prove some properties of reduced graphs and also about the paths in reduced graphs. Based on graphs, we define statement coverage and branch coverage such that coverage notions correspond to node coverage, and edge coverage, respectively.

Wydawca:

Zielona Góra: Uniwersytet Zielonogórski

Data wydania:

2010

Typ zasobu:

artykuł

DOI:

10.2478/v10006-010-0056-9

Strony:

739?749

Źródło:

AMCS, Volume 20, Number 4 (2010) ; kliknij tutaj, żeby przejść

Jezyk:

eng

Prawa do dysponowania publikacją:

Biblioteka Uniwersytetu Zielonogórskiego