An Approach to Concretization of Test Scenarios in Industrial Automation Testing of Software Projects
https://doi.org/10.18255/1818-1015-2012-6-79-91
Abstract
In this paper we propose an approach to efficient automating test technology for industrial software projects, that uses a formal model of the system, automatically performs a symbolic verification, generation and concretization of the symbolic traces, the generation of test suites for concretized traces, and also includes tools for analysis of the testing results, allowing users to automate the full cycle of testing. Particular emphasis is placed on the presentation of the algorithm concretization and setting of test scenarios.
About the Authors
A. V. Kolchin
Институт кибернетики им. В.М. Глушкова НАН Украины
Ukraine
науч. сотр., канд. физ.-мат. наук
Ukraine
науч. сотр., канд. физ.-мат. наук
A. A. Letichevsky
Институт кибернетики им. В.М. Глушкова НАН Украины
Ukraine
зав. отделом теории цифровых автоматов ИК, академик, д-р физ.-мат. наук
Ukraine
зав. отделом теории цифровых автоматов ИК, академик, д-р физ.-мат. наук
V. S. Peschanenko
Институт кибернетики им. В.М. Глушкова НАН Украины
Ukraine
доцент, канд. физ.-мат. наук
Ukraine
доцент, канд. физ.-мат. наук
P. D. Drobintsev
Санкт-Петербургский государственный политехнический университет
Russian Federation
доцент, канд. техн. наук
Russian Federation
доцент, канд. техн. наук
V. P. Kotlyarov
Санкт-Петербургский государственный политехнический университет
Russian Federation
профессор, канд. техн. наук
Russian Federation
профессор, канд. техн. наук
References
1. Hoare C.A.R. Communicating sequential processes, Prentice Hall, 1985.
2. Letichevsky J., Kapitonova A., Letichevsky Jr., Volkov V., Baranov S., Kotlyarov V., Weigert T. Basic Protocols, Message Sequence Charts, and the Verification of Requirements Specifications // Computer Networks. 2005. 47. P. 662–675.
3. Abbot framework for automated testing of Java GUI components and programs/Abbot., 2011, http://abbot.sourceforge.net/doc/overview.shtml.
4. Jameleon — An Automated Testing Tool — Overview / Jameleon, 2011, http://jameleon.sourceforge.net/index.html
5. Silk Software Test Management, Test Automation and Performance Testing / Borland, 2011, http://www.borland.com/us/products/silkline/index.aspx
6. Open Source Software Engineering Tools / Tigris, 2011, http://maxq.tigris.org.
7. Software Testing Tools and other Products / Parasoft, 2011, http://www.parasoft.com/jsp/products.jsp.
8. IBM Rational software/ IBM, 2011, http://www-01.ibm.com/software/rational/?pgel=ibmhzn&cm_re=masthead-_-products-_-sw-rational.
9. Baranov S.N., Drobintsev P.D., Kotlyarov V.P., Letichevsky A.A. Implementation of an integrated verification and testing technology in telecommunication project. Proceedings // IEEE Russia Northwest Section. 110 Anniversary of Radio Invention conference. S.Petyersburg, 2005. 11 p.
10. Летичевский А.А., Капитонова Ю.В., Волков В.А., Летичевский А.А. (мл.), Баранов С.Н., Котляров В.П. Спецификация систем с помощью базовых протоколов // Кибернетика и системный анализ. 2005. №4. С. 256–268.
11. Потиенко С.В. Методы прямого и обратного символьного моделирования систем, заданных базовыми протоколами // Проблемы программирования. 2008. №4. С. 39–45.
12. Летичевский А.А., Годлевский А.Б., Летичевский О.А., Потиенко С.В., Песчаненко В.С. Свойства предикатного трансформера системы VRS // Кибернетика и системный анализ. 2010. №4. С. 3–16.
13. Годлевский А.Б., Потиенко С.В. Обратная трансформация формул в символьном моделировании: от результата к исходной формуле // Проблемы программирования. 2010. № 2–3. C. 363–368.
14. Львов М.C. Алгебраический подход к задаче решения систем линейных неравенств // Кибернетика и системный анализ. 2010. № 2. С. 175–188.
15. Goguen J., Meseguer J. Ordered-Sorted Algebra I: Partial and Overloaded Operations. Errors and Inheritance. SRI International, Computer Science Lab., 1987.
16. Моцкин Т.С., Райфа Х., Томпсон Дж.Л., Тролл Р.М. «Метод двойного описания», Матричные игры. М.:Физматгиз, 1961. С. 81–109.
17. Zeidler G.L. Lectures on convex polytopes. Springer Verlag, New York, 1994.
18. Черников С.Н. Линейные неравенства. М.: Наука, 1968. 490 c.
19. Баранов С.Н., Котляров В.П. Автоматизация формализации требований для получения сценариев тестирования программ, Перспективы систем информатики: труды семинара «Наукоемкое программирование», 15–19 июня 2009. Новосибирск, Академгородок, 2009. С. 27–35.
20. 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.
21. Никифоров И., Петров А., Юсупов Ю. Генерация формальной модели системы по требованиям, заданным в нотации USE CASE MAPS: Научно-технические ведомости СПбГПУ. Санкт-Петербург: Издательство Политехнического университета, 2010. № 4 (103). С. 191–195.
22. Baranov S., Kotlyarov V., Weigert Th. Verifiable Coverage Criteria for Automated Testing. SDL 2011: INTEGRATING SYSTEM AND SOFTWARE MODELING. Lecture Notes in Computer Science. 2012. Vol.7083/2012. P. 79–89.
23. Летичевский А.А., Колчин А.В. Генерация тестовых сценариев на основе формальной модели // Проблемы программирования. 2010. № 2–3. С. 209–215.
24. Utting M., Legeard B. Practical Model-Based Testing: A Tools Approach. MorganKaufmann. 2007. 456 p.
25. Бурдонов И., Косачев А., Пономаренко В., Шнитман В. Обзор подходов к верификации распределенных систем. М.: ИСП РАН, 2006. 61 c.
Review
For citations:
Kolchin A.V., Letichevsky A.A., Peschanenko V.S., Drobintsev P.D., Kotlyarov V.P. An Approach to Concretization of Test Scenarios in Industrial Automation Testing of Software Projects. Modeling and Analysis of Information Systems. 2012;19(6):79-91. (In Russ.) https://doi.org/10.18255/1818-1015-2012-6-79-91
Views:
1007
Email this article 