Wyniki wyszukiwania - BazTech

Ograniczanie wyników

Znaleziono wyników: 2

Liczba wyników na stronie

Wyniki wyszukiwania

Wyszukiwano:
w słowach kluczowych: graf przepływowy

Sortuj według:

Ogranicz wyniki do:

Control flow graphs and code coverage

Gold R.

International Journal of Applied Mathematics and Computer Science

2010

Vol. 20, no 4

739-749

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.

Zastosowanie grafów przepływowych w analizie ciągłych układów drgających

Sękala A., Świder J.

Systems : journal of transdisciplinary systems science

2004

Vol. 9, No. sp. II

762-768

Przedstawiono zagadnienie modelowania i analizy drgających układów ciągłych za pomocą grafów przepływowych. Wykorzystanie metody grafów przepływowych pokazano na przykładzie układów drgających wzdłużnie.

The paper presents a method of design and analysis of continuous vibrating systems by means of flow graphs. On examples of longitudinal vibrating continuous models an application of flow graphs has been shown.