Approach to Behavior Scenarios Debugging
https://doi.org/10.18255/1818-1015-2014-6-44-56
Abstract
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.
About the Authors
P. D. Drobintsev
St. Petersburg State Polytechnical University
Russian Federation
Russian Federation
доцент, канд. техн. наук,
Polytechnicheskaya st., 29, St. Petersburg, 195251, Russia
V. P. Kotlyarov
St. Petersburg State Polytechnical University
Russian Federation
Russian Federation
профессор, канд. техн. наук,
Polytechnicheskaya st., 29, St. Petersburg, 195251, Russia
I. V. Nikiforov
St. Petersburg State Polytechnical University
Russian Federation
Russian Federation
аспирант,
Polytechnicheskaya st., 29, St. Petersburg, 195251, Russia
A. A. Letichevsky
Glushkov Institute of Cybernetic of NAS of Ukraine
Ukraine
Ukraine
зав. отделом теории цифровых автоматов, академик, д-р физ.-мат. наук,
Glushkova av., 40, Kyiv, 03187, Ukraine
V. S. Peschanenko
Kherson State University
Ukraine
Ukraine
канд. физ.-мат. наук, доцент,
40 rokiv Zhovtnya St., 27, Kherson, 73000 Ukraine
References
1. Z.151 : User requirements notation (URN) — Language definition http://www.itu.int/rec/T-REC-Z.151-200811-I/en
2. 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.
3. Hoare C.A.R. Communicating sequential processes. Prentice Hall, 1985.
4. 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.
5. 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.
6. 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.
7. Ануреев И.С., Баранов С.Н., Белоглазов Д.М., Бодин Е.В., Дробинцев П.Д., Колчин А.В., Котляров В.П., Летичевский А.А., Летичевский А.А. мл., Непомнящий В.А., Никифоров И.В., Потиенко С.В., Прийма Л.В., Тютин Б.В. Средства поддержки интегрированной технологии для анализа и верификации спецификаций телекоммуникационных приложений // Труды СПИИРАН. 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,
8. 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)].
9. 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.
10. 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.
11. 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.
12. 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.
13. 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.pdf
14. Никифоров И.В. Методы автоматизации построения поведенческой модели программного продукта на основе 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)].
15. Колчин А.В. Разработка инструментальных средств для проверки формальных моделей асинхронных систем: Дис. ... канд. физ.-мат. наук. Киев, 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)].
16. Wan Fokking. Introduction to Process Algebra, Computer science monograph 2d edition. Springrer-Verlag, 2007. 169 p.
Review
For citations:
Drobintsev P.D., Kotlyarov V.P., Nikiforov I.V., Letichevsky A.A., Peschanenko V.S. Approach to Behavior Scenarios Debugging. Modeling and Analysis of Information Systems. 2014;21(6):44-56. (In Russ.) https://doi.org/10.18255/1818-1015-2014-6-44-56
Views:
858
Email this article 