Open AccessAn Approach to Concretization of Test Scenarios in Industrial Automation Testing of Software Projects
Author(s) -
Alexander Kolchin,
Alexander A. Letichevsky,
Volodymyr Peschanenko,
Павел Дробинцев,
Vsevolod Kotlyarov
Publication year - 2015
Publication title -
modelirovanie i analiz informacionnyh sistem
Language(s) - English
Resource type - Journals
eISSN - 2313-5417
pISSN - 1818-1015
DOI - 10.18255/1818-1015-2012-6-79-91
Subject(s) - computer science , symbolic execution , software engineering , programming language , concolic testing , software , presentation (obstetrics) , test case , medicine , regression analysis , machine learning , radiology
In this paper we propose an approach to efficient automating test technology for industrial software projects, that uses a formal model of the system, automatically performs a symbolic verification, generation and concretization of the symbolic traces, the generation of test suites for concretized traces, and also includes tools for analysis of the testing results, allowing users to automate the full cycle of testing. Particular emphasis is placed on the presentation of the algorithm concretization and setting of test scenarios.