Incremental Approach to the Technology of Test Design for Industrial Projects

The paper presents an approach to effort reduction in developing test suites for industrial software products based on the incremental technology. The main problems to be solved by the incremental technology are full automation design of test scenarios and significant reducing of test explosion. The...

Full description

Saved in:
Bibliographic Details
Main Authors: P. D. Drobintsev, V. P. Kotlyarov, I. V. Nikiforov, A. A. Letichevsky
Format: Article
Language:English
Published: Yaroslavl State University 2014-12-01
Series:Моделирование и анализ информационных систем
Subjects:
Online Access:https://www.mais-journal.ru/jour/article/view/78
Tags: Add Tag
No Tags, Be the first to tag this record!
_version_ 1849688215026401280
author P. D. Drobintsev
V. P. Kotlyarov
I. V. Nikiforov
A. A. Letichevsky
author_facet P. D. Drobintsev
V. P. Kotlyarov
I. V. Nikiforov
A. A. Letichevsky
author_sort P. D. Drobintsev
collection DOAJ
description The paper presents an approach to effort reduction in developing test suites for industrial software products based on the incremental technology. The main problems to be solved by the incremental technology are full automation design of test scenarios and significant reducing of test explosion. The proposed approach provides solutions to the mentioned problems through joint co-working of a designer and a customer, through the integration of symbolic verification with the automatic generation of test suites; through the usage of an efficient technology with the toolset VRS/TAT.
format Article
id doaj-art-24f2cfe508de4d40b002e1777ea560ff
institution DOAJ
issn 1818-1015
2313-5417
language English
publishDate 2014-12-01
publisher Yaroslavl State University
record_format Article
series Моделирование и анализ информационных систем
spelling doaj-art-24f2cfe508de4d40b002e1777ea560ff2025-08-20T03:22:04ZengYaroslavl State UniversityМоделирование и анализ информационных систем1818-10152313-54172014-12-0121614415410.18255/1818-1015-2014-6-144-15472Incremental Approach to the Technology of Test Design for Industrial ProjectsP. D. Drobintsev0V. P. Kotlyarov1I. V. Nikiforov2A. A. Letichevsky3St. Petersburg State Polytechnical UniversitySt. Petersburg State Polytechnical UniversitySt. Petersburg State Polytechnical UniversityGlushkov Institute of Cybernetic of NAS of UkraineThe paper presents an approach to effort reduction in developing test suites for industrial software products based on the incremental technology. The main problems to be solved by the incremental technology are full automation design of test scenarios and significant reducing of test explosion. The proposed approach provides solutions to the mentioned problems through joint co-working of a designer and a customer, through the integration of symbolic verification with the automatic generation of test suites; through the usage of an efficient technology with the toolset VRS/TAT.https://www.mais-journal.ru/jour/article/view/78model driven testingintegrated verification and testingautomation design of test scenariosreducing of test explosion
spellingShingle P. D. Drobintsev
V. P. Kotlyarov
I. V. Nikiforov
A. A. Letichevsky
Incremental Approach to the Technology of Test Design for Industrial Projects
Моделирование и анализ информационных систем
model driven testing
integrated verification and testing
automation design of test scenarios
reducing of test explosion
title Incremental Approach to the Technology of Test Design for Industrial Projects
title_full Incremental Approach to the Technology of Test Design for Industrial Projects
title_fullStr Incremental Approach to the Technology of Test Design for Industrial Projects
title_full_unstemmed Incremental Approach to the Technology of Test Design for Industrial Projects
title_short Incremental Approach to the Technology of Test Design for Industrial Projects
title_sort incremental approach to the technology of test design for industrial projects
topic model driven testing
integrated verification and testing
automation design of test scenarios
reducing of test explosion
url https://www.mais-journal.ru/jour/article/view/78
work_keys_str_mv AT pddrobintsev incrementalapproachtothetechnologyoftestdesignforindustrialprojects
AT vpkotlyarov incrementalapproachtothetechnologyoftestdesignforindustrialprojects
AT ivnikiforov incrementalapproachtothetechnologyoftestdesignforindustrialprojects
AT aaletichevsky incrementalapproachtothetechnologyoftestdesignforindustrialprojects