THE ALGORITHM OF CONSTRUCTING CONTROL FLOW GRAPH BASED ON A PROGRAM WRITTEN IN C
Науковий журнал «Радіоелектроніка, інформатика, управління»
Переглянути архів Інформація| Поле | Співвідношення | |
| ##plugins.schemas.marc.fields.042.name## |
dc |
|
| ##plugins.schemas.marc.fields.245.name## |
THE ALGORITHM OF CONSTRUCTING CONTROL FLOW GRAPH BASED ON A PROGRAM WRITTEN IN C |
|
| ##plugins.schemas.marc.fields.720.name## |
Fedasyuk, D. V.; Lviv Polytechnic National University, Lviv, Ukraine Chopey, R. S.; Lviv Polytechnic National University, Lviv, Ukraine |
|
| ##plugins.schemas.marc.fields.653.name## |
control flow graph; automated testing; Keil uVision, ARM; embedded systems. |
|
| ##plugins.schemas.marc.fields.520.name## |
Actuality. The work considers the problem of automated construction of the control flow graph using the text of a program written in<br />C. The graph construction is an important step in the structural testing of embedded systems.<br />Objective. The work is aimed at creation of a fast algorithm for constructing the control flow graph from a source code. Such an<br />automatically generated graph can be used by existing tools for automated testing.<br />Method. We propose an algorithm for constructing the control flow graph from the program written in C language, which preprocesses<br />the source code of the program by removing comments and blank lines, determines the number of vertices and edges of the control flow graph<br />by means of program text syntactic analysis, and then formats, fills and stores the incidence matrix in a separate text file. This file can be<br />passed as input data for some existing automated testing tools. Moreover, the content of the text file can be visualized by existing tools for graphic representation of graphs.<br />Results. We’ve developed a software module that implements the proposed algorithm. The module can be used for experiments aimed at<br />studying the dependence of the control flow graph’s time construction on the amount of lines in a source code.<br />Conclusions. The conducted experiments confirmed the operability of the proposed algorithm and the software module developed on its<br />basis. The results have proved the applicability of the algorithm, thus it can be recommended for further use together with automated testing<br />tools to reduce the time required for testing of embedded software. |
|
| ##plugins.schemas.marc.fields.260.name## |
Zaporizhzhya National Technical University 2018-10-04 12:10:39 |
|
| ##plugins.schemas.marc.fields.856.name## |
application/pdf http://ric.zntu.edu.ua/article/view/143553 |
|
| ##plugins.schemas.marc.fields.786.name## |
Radio Electronics, Computer Science, Control; No 2 (2018): Radio Electronics, Computer Science, Control |
|
| ##plugins.schemas.marc.fields.546.name## |
uk |
|
| ##plugins.schemas.marc.fields.540.name## |
Copyright (c) 2018 D. V. Fedasyuk, R. S. Chopey |
|