maisМоделирование и анализ информационных системModeling and Analysis of Information Systems1818-10152313-5417Yaroslavl State University10.18255/1818-1015-2014-6-44-56mais-70Research ArticleОригинальные статьиArticlesПодход к автоматизации отладки поведенческих сценариевApproach to Behavior Scenarios DebuggingДробинцевПавел Дмитриевич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ПесчаненкоВладимир СергеевичPeschanenkoV. S.

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

73000 Украина, г. Херсон, ул. 40 лет Октября, 27

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

40 rokiv Zhovtnya St., 27, Kherson, 73000 Ukraine

vladimirius@gmail.comСанкт-Петербургский государственный политехнический университетРоссияSt. Petersburg State Polytechnical UniversityRussian FederationИнститут кибернетики им. В.М. Глушкова НАН УкраиныУкраинаGlushkov Institute of Cybernetic of NAS of UkraineUkraineХерсонский государственный университетУкраинаKherson State UniversityUkraine2014201220142164456Copyright © Дробинцев П.Д., Котляров В.П., Никифоров И.В., Летичевский А.А., Песчаненко В.С., 20142014Дробинцев П.Д., Котляров В.П., Никифоров И.В., Летичевский А.А., Песчаненко В.С.Drobintsev P.D., Kotlyarov V.P., Nikiforov I.V., Letichevsky A.A., Peschanenko V.S.Данная работа распространяется под лицензией 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/70

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

The paper presents two approaches to debugging the application model behavior scenarios: semi-automatic and automatic. The first approach allows a user to automatize the process of finding the place in a concrete behavioral scenario that is suspicious of being a cause of an error. The second approach allows, in a single cycle of the analysis, to automatically identify not only the place, but also possible causes of errors in a given set of generated behavioral symbolic scenarios.

поведенческая модельсимвольная трассасимвольный сценарийгидпричина ошибкиполуавтоматический анализавтоматический анализ причин ошибокbehavior modelsymbolic tracesymbolic scenarioguidecauses of errorssemi-automatic analysisfutomatic analysis of error causesReferencesZ.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/enDrobintsev 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.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.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.Ануреев И.С., Баранов С.Н., Белоглазов Д.М., Бодин Е.В., Дробинцев П.Д., Колчин А.В., Котляров В.П., Летичевский А.А., Летичевский А.А. мл., Непомнящий В.А., Никифоров И.В., Потиенко С.В., Прийма Л.В., Тютин Б.В. Средства поддержки интегрированной технологии для анализа и верификации спецификаций телекоммуникационных приложений // Труды СПИИРАН. 2013. Вып. 3 (26). С. 349–383. [I.S. Anureev, S.N. Baranov, D.M. Beloglazov, E.V. Bodin, P.D. Drobintsev, A.V. Kolchin, V.P. Kotlyarov, A.A. Letichevsky, O.A. Letychevsky, V.A. Nepomnyashchii, I.V. Nikiforov, S.V. Potiyenko,Ануреев И.С., Баранов С.Н., Белоглазов Д.М., Бодин Е.В., Дробинцев П.Д., Колчин А.В., Котляров В.П., Летичевский А.А., Летичевский А.А. мл., Непомнящий В.А., Никифоров И.В., Потиенко С.В., Прийма Л.В., Тютин Б.В. Средства поддержки интегрированной технологии для анализа и верификации спецификаций телекоммуникационных приложений // Труды СПИИРАН. 2013. Вып. 3 (26). С. 349–383. [I.S. Anureev, S.N. Baranov, D.M. Beloglazov, E.V. Bodin, P.D. Drobintsev, A.V. Kolchin, V.P. Kotlyarov, A.A. Letichevsky, O.A. Letychevsky, V.A. Nepomnyashchii, I.V. Nikiforov, S.V. Potiyenko,L.V. Priima, B.V. Tyutin. Tools of Integrated Technology for Analysis and Verification of Telecom Application Specs // Tr. SPIIRAN. 2013. 3(26). P. 349–383 (in Russian)].L.V. Priima, B.V. Tyutin. Tools of Integrated Technology for Analysis and Verification of Telecom Application Specs // Tr. SPIIRAN. 2013. 3(26). P. 349–383 (in Russian)].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.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, Russia, 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, Russia, 2005. P. 81–86.Sales I. A Bridging Methodology for Internet Protocols Standards Development: Ph.D. Master of Computer Science Thesis. Ottawa, Ontario, Canada, School of Information Technology and Engineering — S.I.T.E., September 30 2001. P. 119.Sales I. A Bridging Methodology for Internet Protocols Standards Development: Ph.D. Master of Computer Science Thesis. Ottawa, Ontario, Canada, School of Information Technology and Engineering — S.I.T.E., September 30 2001. P. 119.Vizovitin N.V., Nepomniashcy V.A., Stenenko A.A., Verification of UCM-Specifications of Distributed System Using Colored Petri Nets www.iss.nsk.su/files/preprints/168.pdfVizovitin N.V., Nepomniashcy V.A., Stenenko A.A., Verification of UCM-Specifications of Distributed System Using Colored Petri Nets www.iss.nsk.su/files/preprints/168.pdfНикифоров И.В. Методы автоматизации построения поведенческой модели программного продукта на основе UCM-спецификаций: Дис. ... канд. техн. наук. СПб.: СПбГПУ, 2014. 150 с. [Nikiforov I.V. Metody avtomatizatsii postroeniya povedencheskoy modeli programmogo produkta na osnove UCM-spetsifikatsiy: Dis. ... kand. tekhn. nauk. SPb.: SPbGPU, 2014. 150 s. (in Russian)].Никифоров И.В. Методы автоматизации построения поведенческой модели программного продукта на основе UCM-спецификаций: Дис. ... канд. техн. наук. СПб.: СПбГПУ, 2014. 150 с. [Nikiforov I.V. Metody avtomatizatsii postroeniya povedencheskoy modeli programmogo produkta na osnove UCM-spetsifikatsiy: Dis. ... kand. tekhn. nauk. SPb.: SPbGPU, 2014. 150 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)].Колчин А.В. Разработка инструментальных средств для проверки формальных моделей асинхронных систем: Дис. ... канд. физ.-мат. наук. Киев, 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)].Wan Fokking. Introduction to Process Algebra, Computer science monograph 2d edition. Springrer-Verlag, 2007. 169 p.Wan Fokking. Introduction to Process Algebra, Computer science monograph 2d edition. Springrer-Verlag, 2007. 169 p.

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