Подход к конкретизации тестовых сценариев в рамках технологии автоматизации тестирования промышленных программных проектов
https://doi.org/10.18255/1818-1015-2012-6-79-91
Аннотация
Предложен подход к созданию эффективной технологии автоматизации тестирования промышленных программных проектов, который использует формальную модель системы, выполняет автоматически символьную верификацию, генерацию и конкретизацию символьных трасс, генерацию тестовых наборов по конкретизированным трассам, а также включает средства анализа результатов исполнения тестов, позволяя автоматизировать полный цикл тестирования. Особый акцент сделан на изложении алгоритма конкретизации и настройки тестовых сценариев.
Ключевые слова
символьная верификация,
автоматизация тестирования,
конкретизация тестовых сценариев,
предикатный трансформер
При поддержке: РФФИ, научно-исследовательская работа № Ф40\51-2011(Украина)
Об авторах
Александр Валентинович Колчин
Институт кибернетики им. В.М. Глушкова НАН Украины
Украина
науч. сотр., канд. физ.-мат. наук
Украина
науч. сотр., канд. физ.-мат. наук
Александр Адольфович Летичевский
Институт кибернетики им. В.М. Глушкова НАН Украины
Украина
зав. отделом теории цифровых автоматов ИК, академик, д-р физ.-мат. наук
Украина
зав. отделом теории цифровых автоматов ИК, академик, д-р физ.-мат. наук
Владимир Сергеевич Песчаненко
Институт кибернетики им. В.М. Глушкова НАН Украины
Украина
доцент, канд. физ.-мат. наук
Украина
доцент, канд. физ.-мат. наук
Павел Дмитриевич Дробинцев
Санкт-Петербургский государственный политехнический университет
Россия
доцент, канд. техн. наук
Россия
доцент, канд. техн. наук
Всеволод Павлович Котляров
Санкт-Петербургский государственный политехнический университет
Россия
профессор, канд. техн. наук
Россия
профессор, канд. техн. наук
Список литературы
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.
Рецензия
Для цитирования:
Колчин А.В., Летичевский А.А., Песчаненко В.С., Дробинцев П.Д., Котляров В.П. Подход к конкретизации тестовых сценариев в рамках технологии автоматизации тестирования промышленных программных проектов. Моделирование и анализ информационных систем. 2012;19(6):79-91. https://doi.org/10.18255/1818-1015-2012-6-79-91
For citation:
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
Просмотров:
1005
Послать статью по эл. почте 