An Approach to Concretization of Test Scenarios in Industrial Automation Testing of Software Projects

Autor:	A. V. Kolchin, A. A. Letichevsky, V. S. Peschanenko, P. D. Drobintsev, V. P. Kotlyarov
Jazyk:	English<br />Russian
Rok vydání:	2015
Předmět:	symbolic verification testing automatization concretization of test scenarios predicate transformer Information technology T58.5-58.64
Zdroj:	Моделирование и анализ информационных систем, Vol 19, Iss 6, Pp 79-91 (2015)
Druh dokumentu:	article
ISSN:	1818-1015 2313-5417
DOI:	10.18255/1818-1015-2012-6-79-91
Popis:	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.
Databáze:	Directory of Open Access Journals
Externí odkaz:	https://doaj.org/article/61587dca5e904af18283a1271d16f304 Zobrazit plný text záznamu View record in DOAJ