Approach to behavior scenarios debugging

P. D. Drobintsev^a, V. P. Kotlyarov^a, I. V. Nikiforov^a, A. A. Letichevsky^b, V. S. Peschanenko<sup>c

a</sup> St. Petersburg State Polytechnical University, Polytechnicheskaya st., 29, St. Petersburg, 195251, Russia
^b Glushkov Institute of Cybernetic of NAS of Ukraine, Glushkova av., 40, Kyiv, 03187, Ukraine
^c Kherson State University, 40 rokiv Zhovtnya St., 27, Kherson, 73000 Ukraine

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.

Keywords: behavior model, symbolic trace, symbolic scenario, guide, causes of errors, semi-automatic analysis, futomatic analysis of error causes.

UDC: 004.415

Received: 30.09.2014