The Guide-based Automatic Creation of Verified Test Scenarious
https://doi.org/10.18255/1818-1015-2013-6-64-77
Abstract
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.
About the Authors
P. D. Drobintsev
St. Petersburg State Polytechnical University
Russian Federation
Russian Federation
доцент, канд. техн. наук,
Polytechnicheskaya st., 29, St. Petersburg, 195251, Russia
V. P. Kotlyarov
St. Petersburg State Polytechnical University
Russian Federation
Russian Federation
профессор, канд. техн. наук,
Polytechnicheskaya st., 29, St. Petersburg, 195251, Russia
A. A. Letichevsky
Glushkov Institute of Cybernetic of NAS of Ukraine
Ukraine
Ukraine
зав. отделом теории цифровых автоматов, академик, д-р физ.-мат. наук,
Glushkova av., 40, Kyiv, 03187, Ukraine
References
1. Баранов С., Котляров В., Летичевский А. Индустриальная технология автоматизации тестирования мобильных устройств на основе верифицированных поведенческих моделей проектных спецификаций требований // Труды междунар. науч. конф. “Космос, астрономия и программирование”. СПб.: СПбГУ, 2008. С. 134—145.
2. Карпов Ю.Г. Теория автоматов. СПб.: Питер, 2003. 208 с.
3. Baranov S., Kotlyarov V., Letichevsky A., Drobintsev P. The technology of Automation Verification and Testing in Industrial Projects // Proc. of St.Petersburg IEEE Chapter, International Conference, May 18—21. St.Petersburg, 2005. P. 81—86.
4. Z.151: User Requirements Notation (URN) — Language Definition http://www.itu.int/rec/T-REC-Z.151-200811-I/en
5. Letichevsky A., Kapitonova J., Letichevsky A. jr., Volkov V., Baranov S., Kotlyarov V., Weigert T. Basic Protocols, Message Sequence Charts, and Verification of Requirements Specifications // Proc of ISSRE04 Workshop on Integrated-reliability with Telecommunications and UML Languages (ISSRE04:WITUL), 02 Nov 2004. IRISA, Rennes, France, 2004. P.30—38.
6. Digital Video Broadcasting (DVB). DVB-S2 Adaptive Coding and Modulation for Broadband Hybrid Satellite Dialup Applications // http://www.etsi.org/deliver/etsi_ts/102400_102499/102441/01.01.01_60/ts_102441v010101p.pdf
7. Летичевский А.А., Колчин А.В. Генерация тестовых сценариев на основе формальной модели // Проблемы программирования. 2010. № 2–3. С. 209—215.
8. Baranov S., Kotlyarov V., Weigert T. Verifiable Coverage Criteria For Automated Testing. SDL2011: Integrating System and Software Modeling // LNCS. 2012. Vol. 7083. P. 79—89.
9. Ануреев И.С., Баранов С.Н., Белоглазов Д.М., Бодин Е.В., Дробинцев П.Д., Колчин А.В., Котляров В.П., Летичевский А.А., Летичевский А.А. мл., Непомнящий В.А., Никифоров И.В., Потиенко С.В., Прийма Л.В., Тютин Б.В. Средства поддержки интегрированной технологии для анализа и верификации спецификаций телекоммуникационных приложений // Труды СПИИРАН. 2013. №1—28P.
10. Дробинцев П.Д., Котляров В.П., Черноруцкий И.Г. Автоматизация тестирования на основе покрытия пользовательских сценариев // Научно-технические ведомости СПбГПУ. 2012. Т. 4(152). С. 123—126.
11. Recommendation ITU-T Z.120. Message Sequence Chart (MSC ), 11/2000.
Review
For citations:
Drobintsev P.D., Kotlyarov V.P., Letichevsky A.A. The Guide-based Automatic Creation of Verified Test Scenarious. Modeling and Analysis of Information Systems. 2013;20(6):64-77. (In Russ.) https://doi.org/10.18255/1818-1015-2013-6-64-77
Views:
1026
Email this article 