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...
Main Authors: | , , |
---|---|
Format: | Article |
Language: | English |
Published: |
Yaroslavl State University
2013-01-01
|
Series: | Modelirovanie i Analiz Informacionnyh Sistem |
Subjects: | |
Online Access: | http://mais-journal.ru/jour/article/view/158 |
id |
doaj-b1b432217d9a46b69f5bd6667888e3c6 |
---|---|
record_format |
Article |
spelling |
doaj-b1b432217d9a46b69f5bd6667888e3c62020-11-25T01:58:51ZengYaroslavl State UniversityModelirovanie i Analiz Informacionnyh Sistem1818-10152313-54172013-01-012066477152The Guide-based Automatic Creation of Verified Test ScenariousP. D. Drobintsev0V. P. Kotlyarov1A. A. Letichevsky2Санкт-Петербургский государственный политехнический университетСанкт-Петербургский государственный политехнический университетИнститут кибернетики им. В.М. Глушкова НАН Украины<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>http://mais-journal.ru/jour/article/view/158символьная верификацияавтоматизация тестированияконкретизация тестовых сценариевпредикатный трансформер |
collection |
DOAJ |
language |
English |
format |
Article |
sources |
DOAJ |
author |
P. D. Drobintsev V. P. Kotlyarov A. A. Letichevsky |
spellingShingle |
P. D. Drobintsev V. P. Kotlyarov A. A. Letichevsky The Guide-based Automatic Creation of Verified Test Scenarious Modelirovanie i Analiz Informacionnyh Sistem символьная верификация автоматизация тестирования конкретизация тестовых сценариев предикатный трансформер |
author_facet |
P. D. Drobintsev V. P. Kotlyarov A. A. Letichevsky |
author_sort |
P. D. Drobintsev |
title |
The Guide-based Automatic Creation of Verified Test Scenarious |
title_short |
The Guide-based Automatic Creation of Verified Test Scenarious |
title_full |
The Guide-based Automatic Creation of Verified Test Scenarious |
title_fullStr |
The Guide-based Automatic Creation of Verified Test Scenarious |
title_full_unstemmed |
The Guide-based Automatic Creation of Verified Test Scenarious |
title_sort |
guide-based automatic creation of verified test scenarious |
publisher |
Yaroslavl State University |
series |
Modelirovanie i Analiz Informacionnyh Sistem |
issn |
1818-1015 2313-5417 |
publishDate |
2013-01-01 |
description |
<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> |
topic |
символьная верификация автоматизация тестирования конкретизация тестовых сценариев предикатный трансформер |
url |
http://mais-journal.ru/jour/article/view/158 |
work_keys_str_mv |
AT pddrobintsev theguidebasedautomaticcreationofverifiedtestscenarious AT vpkotlyarov theguidebasedautomaticcreationofverifiedtestscenarious AT aaletichevsky theguidebasedautomaticcreationofverifiedtestscenarious AT pddrobintsev guidebasedautomaticcreationofverifiedtestscenarious AT vpkotlyarov guidebasedautomaticcreationofverifiedtestscenarious AT aaletichevsky guidebasedautomaticcreationofverifiedtestscenarious |
_version_ |
1724967728451682304 |