The Guide-based Automatic Creation of Verified Test Scenarious
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 devel...
Saved in:
| Main Authors: | , , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Yaroslavl State University
2013-12-01
|
| Series: | Моделирование и анализ информационных систем |
| Subjects: | |
| Online Access: | https://www.mais-journal.ru/jour/article/view/158 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1849338789960351744 |
|---|---|
| author | P. D. Drobintsev V. P. Kotlyarov A. A. Letichevsky |
| author_facet | P. D. Drobintsev V. P. Kotlyarov A. A. Letichevsky |
| author_sort | P. D. Drobintsev |
| collection | DOAJ |
| description | 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. |
| format | Article |
| id | doaj-art-91e12c6ca6444074ac8f4ea3eae761e0 |
| institution | Kabale University |
| issn | 1818-1015 2313-5417 |
| language | English |
| publishDate | 2013-12-01 |
| publisher | Yaroslavl State University |
| record_format | Article |
| series | Моделирование и анализ информационных систем |
| spelling | doaj-art-91e12c6ca6444074ac8f4ea3eae761e02025-08-20T03:44:18ZengYaroslavl State UniversityМоделирование и анализ информационных систем1818-10152313-54172013-12-01206647710.18255/1818-1015-2013-6-64-77152The Guide-based Automatic Creation of Verified Test ScenariousP. D. Drobintsev0V. P. Kotlyarov1A. A. Letichevsky2St. Petersburg State Polytechnical UniversitySt. Petersburg State Polytechnical UniversityGlushkov Institute of Cybernetic of NAS of UkraineThis 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.https://www.mais-journal.ru/jour/article/view/158symbolic verificationtesting automationconcretization of test scenariospredicative transformer |
| spellingShingle | P. D. Drobintsev V. P. Kotlyarov A. A. Letichevsky The Guide-based Automatic Creation of Verified Test Scenarious Моделирование и анализ информационных систем symbolic verification testing automation concretization of test scenarios predicative transformer |
| title | 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_short | The Guide-based Automatic Creation of Verified Test Scenarious |
| title_sort | guide based automatic creation of verified test scenarious |
| topic | symbolic verification testing automation concretization of test scenarios predicative transformer |
| url | https://www.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 |