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

Abstract

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.

Tento článek popisuje návrh a implementaci metody zaměřené na automatizaci tvorby vstupních testových dat. Metoda je založena na analýze grafu toku řízení testované aplikace a měla by zajistit automatický způsob získání dat, která zajistí systematické pokrytí testovaného kódu jednotkovými testy. Analýza začíná u argumentů testované metody a prohledává tělo metody, aby identifikovala vztah mezi vstupy a podmínkami které ovlivňují tok vykonávání programu. Graf řízení toku programuje získán přímo z Java bytekódu, samotná analýza je ale prováděna nad grafem a je tedy obecná a na platformě nezávislá. Funkcionalita metody byla ověřena na sadě Java aplikací.