A method for the Automated Generating of the Code-Coverage Ensuring Input Test Data Based on the Control Flow Analysis

Kód výsledku v IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F49777513%3A23520%2F21%3A43962063" target="_blank" >RIV/49777513:23520/21:43962063 - isvavai.cz</a>

Výsledek na webu

<a href="https://dl.acm.org/doi/10.1145/3412841.3442002" target="_blank" >https://dl.acm.org/doi/10.1145/3412841.3442002</a>

DOI - Digital Object Identifier

<a href="http://dx.doi.org/10.1145/3412841.3442002" target="_blank" >10.1145/3412841.3442002</a>

Jazyk výsledku

angličtina

Název v původním jazyce

A method for the Automated Generating of the Code-Coverage Ensuring Input Test Data Based on the Control Flow Analysis

Popis výsledku v původním jazyce

This paper describes the design and implementation of a method aimed at the automation of the input test data. The method is based on the analysis of the control flow graph of the tested application and should provide an automated way for obtaining input test data that will allow us to systematically cover the program with unit tests. The analysis starts with the tested method parameters and searches the method body to fnd the relation between the inputs and the conditions that affect the control flow. The control flow graphs are obtained from the Java bytecode, however, the rest of the analysis is performed only on the control flow graph and thus should be platform-independent. The functionality of the method is verifed on the set of Java applications.

Název v anglickém jazyce

A method for the Automated Generating of the Code-Coverage Ensuring Input Test Data Based on the Control Flow Analysis

Popis výsledku anglicky

This paper describes the design and implementation of a method aimed at the automation of the input test data. The method is based on the analysis of the control flow graph of the tested application and should provide an automated way for obtaining input test data that will allow us to systematically cover the program with unit tests. The analysis starts with the tested method parameters and searches the method body to fnd the relation between the inputs and the conditions that affect the control flow. The control flow graphs are obtained from the Java bytecode, however, the rest of the analysis is performed only on the control flow graph and thus should be platform-independent. The functionality of the method is verifed on the set of Java applications.

Druh

D - Stať ve sborníku

CEP obor

—

OECD FORD obor

10201 - Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)

Projekt

<a href="/cs/project/EF17_048%2F0007267" target="_blank" >EF17_048/0007267: VaV inteligentních komponent pokročilých technologií pro plzeňskou metropolitní oblast</a><br>

Návaznosti

P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)<br>I - Institucionalni podpora na dlouhodoby koncepcni rozvoj vyzkumne organizace

Rok uplatnění

2021

Kód důvěrnosti údajů

S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Název statě ve sborníku

SAC &apos;21: Proceedings of the 36th Annual ACM Symposium on Applied Computing

ISBN

978-1-4503-8104-8

ISSN

—

e-ISSN

—

Počet stran výsledku

8

Strana od-do

1281-1288

Název nakladatele

Association for Computing Machinery (ACM)

Místo vydání

New York

Místo konání akce

Gwangju, South Korea - online

Datum konání akce

22. 3. 2021

Typ akce podle státní příslušnosti

WRD - Celosvětová akce

Kód UT WoS článku

—