maisМоделирование и анализ информационных системModeling and Analysis of Information Systems1818-10152313-5417Yaroslavl State University10.18255/1818-1015-2014-6-144-154mais-78Research ArticleОригинальные статьиArticlesИнкрементальный подход к технологии создания тестов для индустриальных проектовIncremental Approach to the Technology of Test Design for Industrial ProjectsДробинцевПавел Дмитриевич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НикифоровИгорь ВалерьевичNikiforovI. V.

аспирант, 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 UkraineUkraine201420122014216144154Copyright © Дробинцев П.Д., Котляров В.П., Никифоров И.В., Летичевский А.А., 20142014Дробинцев П.Д., Котляров В.П., Никифоров И.В., Летичевский А.А.Drobintsev P.D., Kotlyarov V.P., Nikiforov I.V., 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/78

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

The paper presents an approach to effort reduction in developing test suites for industrial software products based on the incremental technology. The main problems to be solved by the incremental technology are full automation design of test scenarios and significant reducing of test explosion. The proposed approach provides solutions to the mentioned problems through joint co-working of a designer and a customer, through the integration of symbolic verification with the automatic generation of test suites; through the usage of an efficient technology with the toolset VRS/TAT.

тестирование на основе моделейверификацияавтоматизация тестированиясокращение пространства состоянийmodel driven testingintegrated verification and testingautomation design of test scenariosreducing of test explosionReferencesZ.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/enCrnkovic I., Larsson S., Chaudron M.R.V. Component-Based Development Process and Component Lifecycle // CIT. 2005. 13(4). P. 321–327.Crnkovic I., Larsson S., Chaudron M.R.V. Component-Based Development Process and Component Lifecycle // CIT. 2005. 13(4). P. 321–327.Jisa, Laurentiu D. Component Based Development Methods // Comparison, Computer Systems and Technologies, 2004. P. 1–6.Jisa, Laurentiu D. Component Based Development Methods // Comparison, Computer Systems and Technologies, 2004. P. 1–6.Le H., Kathayat S.B. A Framework to Support the Development of Collaborative Components // 9th Workshop on System/Software Architectures. LNBIP, Springer, Heidelberg. 2011. Vol. 83. P. 378–384.Le H., Kathayat S.B. A Framework to Support the Development of Collaborative Components // 9th Workshop on System/Software Architectures. LNBIP, Springer, Heidelberg. 2011. Vol. 83. P. 378–384.Sammi R., Rubab I., Qureshi M.A. Formal specification languages for real-time systems // Information Technology: International Symposium Proceedings (ITSIM-2010). 2010. Vol. 3. P. 1642–1647.Sammi R., Rubab I., Qureshi M.A. Formal specification languages for real-time systems // Information Technology: International Symposium Proceedings (ITSIM-2010). 2010. Vol. 3. P. 1642–1647.Kolano P.Z., Dang Z., and Kemmerer R.A. The Design and Analysis of Real-Time Systems Using the ASTRAL Software Development Environment // Annals of Software Engineering. 1999. Vol. 7. P. 177–210.Kolano P.Z., Dang Z., and Kemmerer R.A. The Design and Analysis of Real-Time Systems Using the ASTRAL Software Development Environment // Annals of Software Engineering. 1999. Vol. 7. P. 177–210.Greg Bollella. Ben Brosgol. Peter Dibble. Steve Furr. The Real-Time Specification for JavaTM. www.cs.rice.edu/ taha/teaching/04F/RAP/cacheGreg Bollella. Ben Brosgol. Peter Dibble. Steve Furr. The Real-Time Specification for JavaTM. www.cs.rice.edu/ taha/teaching/04F/RAP/cacheJoss Warmer, Anneke. The Object Constraint Language, Precise Modeling with UML. Addison-Wesley, 1999.Joss Warmer, Anneke. The Object Constraint Language, Precise Modeling with UML. Addison-Wesley, 1999.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.Ануреев И.С., Баранов С.Н., Белоглазов Д.М., Бодин Е.В., Дробинцев П.Д., Колчин А.В., Котляров В.П., Летичевский А.А., Летичевский А.А. мл., Непомнящий В.А., Никифоров И.В., Потиенко С.В., Прийма Л.В., Тютин Б.В. Средства поддержки интегрированной технологии для анализа и верификации спецификаций телекоммуникационных приложений // Труды СПИИРАН. 2013. Вып. 3 (26). С. 349–383. [Anureev I.S., Baranov S.N., Beloglazov D.M., Bodin E.V., Drobintsev P.D., Kolchin A.V., Kotlyarov V.P., Letichevsky A.A., Letychevsky O.A., Nepomnyashchii V.A., Nikiforov I.V., Potiyenko S.V., Priima L.V., Tyutin B.V. Tools of Integrated Technology for Analysis and Verification of Telecom Application Specs // Tr. SPIIRAN. 2013. 3(26). P. 349–383 (in Russian)].Ануреев И.С., Баранов С.Н., Белоглазов Д.М., Бодин Е.В., Дробинцев П.Д., Колчин А.В., Котляров В.П., Летичевский А.А., Летичевский А.А. мл., Непомнящий В.А., Никифоров И.В., Потиенко С.В., Прийма Л.В., Тютин Б.В. Средства поддержки интегрированной технологии для анализа и верификации спецификаций телекоммуникационных приложений // Труды СПИИРАН. 2013. Вып. 3 (26). С. 349–383. [Anureev I.S., Baranov S.N., Beloglazov D.M., Bodin E.V., Drobintsev P.D., Kolchin A.V., Kotlyarov V.P., Letichevsky A.A., Letychevsky O.A., Nepomnyashchii V.A., Nikiforov I.V., Potiyenko S.V., Priima L.V., Tyutin B.V. Tools of Integrated Technology for Analysis and Verification of Telecom Application Specs // Tr. SPIIRAN. 2013. 3(26). P. 349–383 (in Russian)].Hoare C.A.R. Communicating sequential processes. Prentice Hall, 1985.Hoare C.A.R. Communicating sequential processes. Prentice Hall, 1985.Letichevsky A.A., Kapitonova J.V., Kotlyarov V.P., Letichevsky O.O., Volkov V.V., Baranov S.N., Weigert T. Basic Protocols, Message Sequence Charts, and the Verification of Requirements Specifications // Proc of ISSRE04 Workshop on Integrated Reliability Engineering (ISSRE04:WITUL). IRISA. Rennes France, 2004.Letichevsky A.A., Kapitonova J.V., Kotlyarov V.P., Letichevsky O.O., Volkov V.V., Baranov S.N., Weigert T. Basic Protocols, Message Sequence Charts, and the Verification of Requirements Specifications // Proc of ISSRE04 Workshop on Integrated Reliability Engineering (ISSRE04:WITUL). IRISA. Rennes France, 2004.Колчин А.В. Разработка инструментальных средств для проверки формальных моделей асинхронных систем: Дис. ... канд. физ.-мат. наук. Киев, 2009. 140 с. [Kolchin A.V. Razrabotka instrumentalnykh sredstv dlya proverki formalnykh modeley asinkhronnykh sistem: Dis. ... kand. fiz.-mat. nauk. Kiev, 2009. 140 s. (in Russian)].Колчин А.В. Разработка инструментальных средств для проверки формальных моделей асинхронных систем: Дис. ... канд. физ.-мат. наук. Киев, 2009. 140 с. [Kolchin A.V. Razrabotka instrumentalnykh sredstv dlya proverki formalnykh modeley asinkhronnykh sistem: Dis. ... kand. fiz.-mat. nauk. Kiev, 2009. 140 s. (in Russian)].Baranov S., Kotlyarov V., Weigert T. Varifiable Coverage Criteria For Automated Tesdting. SDL2011: Integrating System and Software Modeling // LNCS. 2012. Vol. 7083. P. 79–89.Baranov S., Kotlyarov V., Weigert T. Varifiable Coverage Criteria For Automated Tesdting. SDL2011: Integrating System and Software Modeling // LNCS. 2012. Vol. 7083. P. 79–89.Letichevsky A.A., Kapitonova J.V., Kotlyarov V.P., Letichevsky A.A.,Jr., Nikitchenko N.S., Volkov V.A., and Weigert T. Insertion modeling in distributed system design // Software problems (Проблеми програмування). 2008. S. 13–38.Letichevsky A.A., Kapitonova J.V., Kotlyarov V.P., Letichevsky A.A.,Jr., Nikitchenko N.S., Volkov V.A., and Weigert T. Insertion modeling in distributed system design // Software problems (Проблеми програмування). 2008. S. 13–38.Месарович М., Такахара Я. Общая теория систем: математические основы. М.: Мир, 1978 [Mesarovich M., Takakhara Ya. Obshchaya teoriya sistem: matematicheskie osnovy. M.: Mir, 1978].Месарович М., Такахара Я. Общая теория систем: математические основы. М.: Мир, 1978 [Mesarovich M., Takakhara Ya. Obshchaya teoriya sistem: matematicheskie osnovy. M.: Mir, 1978].Drobintsev P., Kotlyarov V., Nikiforov I., Letichebsky A. A Formal Approachfor Generation of Test Scenarios Based on Guides // 5th Workshop “Program Semantics, Specification and Validation: Theory and Applications”. Yekaterinburg, Russia, June 24. 2013. P. 31–41.Drobintsev P., Kotlyarov V., Nikiforov I., Letichebsky A. A Formal Approachfor Generation of Test Scenarios Based on Guides // 5th Workshop “Program Semantics, Specification and Validation: Theory and Applications”. Yekaterinburg, Russia, June 24. 2013. P. 31–41.Letichevsky A.A., Godlevsky A.B., Letichevsky Jr., A.A., Potienko S.V., Peschanenko V.S. Properties of Predicate Transformer of VRS System // Cybernetics and System Analyses. 2010. 4. P. 3–16.Letichevsky A.A., Godlevsky A.B., Letichevsky Jr., A.A., Potienko S.V., Peschanenko V.S. Properties of Predicate Transformer of VRS System // Cybernetics and System Analyses. 2010. 4. P. 3–16.Godlevsky A.B., Potienko S.V. Backward transformation of formulas in symbolic modeling: from the result to the source formula // Problems of Programming. 2010. 4. P. 363–368.Godlevsky A.B., Potienko S.V. Backward transformation of formulas in symbolic modeling: from the result to the source formula // Problems of Programming. 2010. 4. P. 363–368.Dijkstra E.W., Scholten C.S. Predicate Calculus and Program Semantics. Springer-Verlag, 1990.Dijkstra E.W., Scholten C.S. Predicate Calculus and Program Semantics. Springer-Verlag, 1990.Drobintsev P.D., Nikiforov I.V., Kotlyarov V.P. Translation of UCM Real-Time Constructs into Basic Protocols // University Journal. 2013. №5. P. 193–201.Drobintsev P.D., Nikiforov I.V., Kotlyarov V.P. Translation of UCM Real-Time Constructs into Basic Protocols // University Journal. 2013. №5. P. 193–201.

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