maisМоделирование и анализ информационных системModeling and Analysis of Information Systems1818-10152313-5417Yaroslavl State University10.18255/1818-1015-2012-6-79-91mais-141Research ArticleОригинальные статьиArticlesПодход к конкретизации тестовых сценариев в рамках технологии автоматизации тестирования промышленных программных проектовAn Approach to Concretization of Test Scenarios in Industrial Automation Testing of Software ProjectsКолчинАлександр ВалентиновичKolchinA. V.

науч. сотр., канд. физ.-мат. наук

науч. сотр., канд. физ.-мат. наук

let@cyfra.netЛетичевскийАлександр АдольфовичLetichevskyA. A.

зав. отделом теории цифровых автоматов ИК, академик, д-р физ.-мат. наук

зав. отделом теории цифровых автоматов ИК, академик, д-р физ.-мат. наук

let@cyfra.netПесчаненкоВладимир СергеевичPeschanenkoV. S.

доцент, канд. физ.-мат. наук

доцент, канд. физ.-мат. наук

let@cyfra.netДробинцевПавел ДмитриевичDrobintsevP. D.

доцент, канд. техн. наук

доцент, канд. техн. наук

vpk@spbstu.ruКотляровВсеволод ПавловичKotlyarovV. P.

профессор, канд. техн. наук

профессор, канд. техн. наук

vpk@spbstu.ruИнститут кибернетики им. В.М. Глушкова НАН УкраиныУкраинаИнститут кибернетики им. В.М. Глушкова НАН УкраиныUkraineСанкт-Петербургский государственный политехнический университетРоссияСанкт-Петербургский государственный политехнический университетRussian Federation2012120320151967991Copyright © Колчин А.В., Летичевский А.А., Песчаненко В.С., Дробинцев П.Д., Котляров В.П., 20152015Колчин А.В., Летичевский А.А., Песчаненко В.С., Дробинцев П.Д., Котляров В.П.Kolchin A.V., Letichevsky A.A., Peschanenko V.S., Drobintsev P.D., Kotlyarov V.P.Данная работа распространяется под лицензией Creative Commons Attribution 4.0.This work is licensed under a Creative Commons Attribution 4.0 License.https://www.mais-journal.ru/jour/article/view/141

Предложен подход к созданию эффективной технологии автоматизации тестирования промышленных программных проектов, который использует формальную модель системы, выполняет автоматически символьную верификацию, генерацию и конкретизацию символьных трасс, генерацию тестовых наборов по конкретизированным трассам, а также включает средства анализа результатов исполнения тестов, позволяя автоматизировать полный цикл тестирования. Особый акцент сделан на изложении алгоритма конкретизации и настройки тестовых сценариев.

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.

символьная верификацияавтоматизация тестированияконкретизация тестовых сценариевпредикатный трансформерsymbolic verificationtesting automatizationconcretization of test scenariospredicate transformerРФФИ, научно-исследовательская работа № Ф40\51-2011(Украина)ReferencesHoare C.A.R. Communicating sequential processes, Prentice Hall, 1985.Hoare C.A.R. Communicating sequential processes, Prentice Hall, 1985.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.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.Abbot framework for automated testing of Java GUI components and programs/Abbot., 2011, http://abbot.sourceforge.net/doc/overview.shtml.Abbot framework for automated testing of Java GUI components and programs/Abbot., 2011, http://abbot.sourceforge.net/doc/overview.shtml.Jameleon — An Automated Testing Tool — Overview / Jameleon, 2011, http://jameleon.sourceforge.net/index.htmlJameleon — An Automated Testing Tool — Overview / Jameleon, 2011, http://jameleon.sourceforge.net/index.htmlSilk Software Test Management, Test Automation and Performance Testing / Borland, 2011, http://www.borland.com/us/products/silkline/index.aspxSilk Software Test Management, Test Automation and Performance Testing / Borland, 2011, http://www.borland.com/us/products/silkline/index.aspxOpen Source Software Engineering Tools / Tigris, 2011, http://maxq.tigris.org.Open Source Software Engineering Tools / Tigris, 2011, http://maxq.tigris.org.Software Testing Tools and other Products / Parasoft, 2011, http://www.parasoft.com/jsp/products.jsp.Software Testing Tools and other Products / Parasoft, 2011, http://www.parasoft.com/jsp/products.jsp.IBM Rational software/ IBM, 2011, http://www-01.ibm.com/software/rational/?pgel=ibmhzn&cm_re=masthead-_-products-_-sw-rational.IBM Rational software/ IBM, 2011, http://www-01.ibm.com/software/rational/?pgel=ibmhzn&cm_re=masthead-_-products-_-sw-rational.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.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.Летичевский А.А., Капитонова Ю.В., Волков В.А., Летичевский А.А. (мл.), Баранов С.Н., Котляров В.П. Спецификация систем с помощью базовых протоколов // Кибернетика и системный анализ. 2005. №4. С. 256–268.Летичевский А.А., Капитонова Ю.В., Волков В.А., Летичевский А.А. (мл.), Баранов С.Н., Котляров В.П. Спецификация систем с помощью базовых протоколов // Кибернетика и системный анализ. 2005. №4. С. 256–268.Потиенко С.В. Методы прямого и обратного символьного моделирования систем, заданных базовыми протоколами // Проблемы программирования. 2008. №4. С. 39–45.Потиенко С.В. Методы прямого и обратного символьного моделирования систем, заданных базовыми протоколами // Проблемы программирования. 2008. №4. С. 39–45.Летичевский А.А., Годлевский А.Б., Летичевский О.А., Потиенко С.В., Песчаненко В.С. Свойства предикатного трансформера системы VRS // Кибернетика и системный анализ. 2010. №4. С. 3–16.Летичевский А.А., Годлевский А.Б., Летичевский О.А., Потиенко С.В., Песчаненко В.С. Свойства предикатного трансформера системы VRS // Кибернетика и системный анализ. 2010. №4. С. 3–16.Годлевский А.Б., Потиенко С.В. Обратная трансформация формул в символьном моделировании: от результата к исходной формуле // Проблемы программирования. 2010. № 2–3. C. 363–368.Годлевский А.Б., Потиенко С.В. Обратная трансформация формул в символьном моделировании: от результата к исходной формуле // Проблемы программирования. 2010. № 2–3. C. 363–368.Львов М.C. Алгебраический подход к задаче решения систем линейных неравенств // Кибернетика и системный анализ. 2010. № 2. С. 175–188.Львов М.C. Алгебраический подход к задаче решения систем линейных неравенств // Кибернетика и системный анализ. 2010. № 2. С. 175–188.Goguen J., Meseguer J. Ordered-Sorted Algebra I: Partial and Overloaded Operations. Errors and Inheritance. SRI International, Computer Science Lab., 1987.Goguen J., Meseguer J. Ordered-Sorted Algebra I: Partial and Overloaded Operations. Errors and Inheritance. SRI International, Computer Science Lab., 1987.Моцкин Т.С., Райфа Х., Томпсон Дж.Л., Тролл Р.М. «Метод двойного описания», Матричные игры. М.:Физматгиз, 1961. С. 81–109.Моцкин Т.С., Райфа Х., Томпсон Дж.Л., Тролл Р.М. «Метод двойного описания», Матричные игры. М.:Физматгиз, 1961. С. 81–109.Zeidler G.L. Lectures on convex polytopes. Springer Verlag, New York, 1994.Zeidler G.L. Lectures on convex polytopes. Springer Verlag, New York, 1994.Черников С.Н. Линейные неравенства. М.: Наука, 1968. 490 c.Черников С.Н. Линейные неравенства. М.: Наука, 1968. 490 c.Баранов С.Н., Котляров В.П. Автоматизация формализации требований для получения сценариев тестирования программ, Перспективы систем информатики: труды семинара «Наукоемкое программирование», 15–19 июня 2009. Новосибирск, Академгородок, 2009. С. 27–35.Баранов С.Н., Котляров В.П. Автоматизация формализации требований для получения сценариев тестирования программ, Перспективы систем информатики: труды семинара «Наукоемкое программирование», 15–19 июня 2009. Новосибирск, Академгородок, 2009. С. 27–35.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.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.Никифоров И., Петров А., Юсупов Ю. Генерация формальной модели системы по требованиям, заданным в нотации USE CASE MAPS: Научно-технические ведомости СПбГПУ. Санкт-Петербург: Издательство Политехнического университета, 2010. № 4 (103). С. 191–195.Никифоров И., Петров А., Юсупов Ю. Генерация формальной модели системы по требованиям, заданным в нотации USE CASE MAPS: Научно-технические ведомости СПбГПУ. Санкт-Петербург: Издательство Политехнического университета, 2010. № 4 (103). С. 191–195.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.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.Летичевский А.А., Колчин А.В. Генерация тестовых сценариев на основе формальной модели // Проблемы программирования. 2010. № 2–3. С. 209–215.Летичевский А.А., Колчин А.В. Генерация тестовых сценариев на основе формальной модели // Проблемы программирования. 2010. № 2–3. С. 209–215.Utting M., Legeard B. Practical Model-Based Testing: A Tools Approach. MorganKaufmann. 2007. 456 p.Utting M., Legeard B. Practical Model-Based Testing: A Tools Approach. MorganKaufmann. 2007. 456 p.Бурдонов И., Косачев А., Пономаренко В., Шнитман В. Обзор подходов к верификации распределенных систем. М.: ИСП РАН, 2006. 61 c.Бурдонов И., Косачев А., Пономаренко В., Шнитман В. Обзор подходов к верификации распределенных систем. М.: ИСП РАН, 2006. 61 c.

The authors declare that there are no conflicts of interest present.