The Guide-based Automatic Creation of Verified Test Scenarious

<p>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 creation, the main problems that occur during...

Full description

Bibliographic Details
Main Authors: P. D. Drobintsev, V. P. Kotlyarov, A. A. Letichevsky
Format: Article
Language:English
Published: Yaroslavl State University 2013-01-01
Series:Моделирование и анализ информационных систем
Subjects:
Online Access:http://mais-journal.ru/jour/article/view/158
Description
Summary:<p>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 creation, the main problems that occur during the development and testing of the large industrial systems, are described, as well as the methodologies of software verification on conformity to product requirements. The potentialities of tools for automatic and semi-automatic generation of a test suite by using a formal model in UCM notation are demonstrated, as well as tools for verification and automation of testing.</p>
ISSN:1818-1015
2313-5417