maisМоделирование и анализ информационных системModeling and Analysis of Information Systems1818-10152313-5417Yaroslavl State University10.18255/1818-1015-2013-6-64-77mais-158Research ArticleОригинальные статьиArticlesАвтоматизация создания верифицированных тестовых сценариев на основе гидовThe Guide-based Automatic Creation of Verified Test ScenariousДробинцевПавел ДмитриевичDrobintsevP. D.

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

195251, Россия, г. Санкт-Петербург, ул. Политехническая, 29

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

Polytechnicheskaya st., 29, St. Petersburg, 195251, Russia

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

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

195251, Россия, г. Санкт-Петербург, ул. Политехническая, 29

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

Polytechnicheskaya st., 29, St. Petersburg, 195251, Russia

vpk@spbstu.ruЛетичевскийАлександр АдольфовичLetichevskyA. A.

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

03680МСП, Украина, г. Киев, просп. Академика Глушкова, 40

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

Glushkova av., 40, Kyiv, 03187, Ukraine

let@cyfra.netСанкт-Петербургский государственный политехнический университетРоссияSt. Petersburg State Polytechnical UniversityRussian FederationИнститут кибернетики им. В.М. Глушкова НАН УкраиныУкраинаGlushkov Institute of Cybernetic of NAS of UkraineUkraine2013201220132066477Copyright © Дробинцев П.Д., Котляров В.П., Летичевский А.А., 20132013Дробинцев П.Д., Котляров В.П., Летичевский А.А.Drobintsev P.D., Kotlyarov V.P., Letichevsky A.A.Данная работа распространяется под лицензией 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/158

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

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.

символьная верификацияавтоматизация тестированияконкретизация тестовых сценариевпредикатный трансформерsymbolic verificationtesting automationconcretization of test scenariospredicative transformerReferencesБаранов С., Котляров В., Летичевский А. Индустриальная технология автоматизации тестирования мобильных устройств на основе верифицированных поведенческих моделей проектных спецификаций требований // Труды междунар. науч. конф. “Космос, астрономия и программирование”. СПб.: СПбГУ, 2008. С. 134—145.Баранов С., Котляров В., Летичевский А. Индустриальная технология автоматизации тестирования мобильных устройств на основе верифицированных поведенческих моделей проектных спецификаций требований // Труды междунар. науч. конф. “Космос, астрономия и программирование”. СПб.: СПбГУ, 2008. С. 134—145.Карпов Ю.Г. Теория автоматов. СПб.: Питер, 2003. 208 с.Карпов Ю.Г. Теория автоматов. СПб.: Питер, 2003. 208 с.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.Z.151: User Requirements Notation (URN) — Language Definition http://www.itu.int/rec/T-REC-Z.151-200811-I/enZ.151: User Requirements Notation (URN) — Language Definition http://www.itu.int/rec/T-REC-Z.151-200811-I/enLetichevsky 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.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.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.pdfDigital 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Летичевский А.А., Колчин А.В. Генерация тестовых сценариев на основе формальной модели // Проблемы программирования. 2010. № 2–3. С. 209—215.Летичевский А.А., Колчин А.В. Генерация тестовых сценариев на основе формальной модели // Проблемы программирования. 2010. № 2–3. С. 209—215.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.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.Ануреев И.С., Баранов С.Н., Белоглазов Д.М., Бодин Е.В., Дробинцев П.Д., Колчин А.В., Котляров В.П., Летичевский А.А., Летичевский А.А. мл., Непомнящий В.А., Никифоров И.В., Потиенко С.В., Прийма Л.В., Тютин Б.В. Средства поддержки интегрированной технологии для анализа и верификации спецификаций телекоммуникационных приложений // Труды СПИИРАН. 2013. №1—28P.Ануреев И.С., Баранов С.Н., Белоглазов Д.М., Бодин Е.В., Дробинцев П.Д., Колчин А.В., Котляров В.П., Летичевский А.А., Летичевский А.А. мл., Непомнящий В.А., Никифоров И.В., Потиенко С.В., Прийма Л.В., Тютин Б.В. Средства поддержки интегрированной технологии для анализа и верификации спецификаций телекоммуникационных приложений // Труды СПИИРАН. 2013. №1—28P.Дробинцев П.Д., Котляров В.П., Черноруцкий И.Г. Автоматизация тестирования на основе покрытия пользовательских сценариев // Научно-технические ведомости СПбГПУ. 2012. Т. 4(152). С. 123—126.Дробинцев П.Д., Котляров В.П., Черноруцкий И.Г. Автоматизация тестирования на основе покрытия пользовательских сценариев // Научно-технические ведомости СПбГПУ. 2012. Т. 4(152). С. 123—126.Recommendation ITU-T Z.120. Message Sequence Chart (MSC ), 11/2000.Recommendation ITU-T Z.120. Message Sequence Chart (MSC ), 11/2000.

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