The Guide-based Automatic Creation of Verified Test Scenarious

Autor: P. D. Drobintsev, V. P. Kotlyarov, A. A. Letichevsky

Publikováno v: Моделирование и анализ информационных систем, Vol 20, Iss 6, Pp 64-77 (2013)

This paper presents an overview of technology of the automated generation of test scenarios based on guides. The usage of this technology can significantly improve the quality of the developed program products. In order to ground the technology creat

Externí odkaz: https://doaj.org/article/b1b432217d9a46b69f5bd6667888e3c6

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

Autor: A. V. Kolchin, P. D. Drobintsev, V. P. Kotlyarov, V. S. Peschanenko, A. A. Letichevsky

Publikováno v: Modelirovanie i Analiz Informacionnyh Sistem, Vol 19, Iss 6, Pp 79-91 (2015)
Modelirovanie i Analiz Informacionnyh Sistem, Vol 19, Iss 6, Pp 79-91 (2012)

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 trace

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::644d894b5c30df14392460de091f93a7
https://www.mais-journal.ru/jour/article/view/141