Approach to Behavior Scenarios Debugging

Autor: P. D. Drobintsev, V. P. Kotlyarov, I. V. Nikiforov, A. A. Letichevsky, V. S. Peschanenko
Jazyk: English<br />Russian
Rok vydání: 2014
Předmět:
Zdroj: Моделирование и анализ информационных систем, Vol 21, Iss 6, Pp 44-56 (2014)
Druh dokumentu: article
ISSN: 1818-1015
2313-5417
DOI: 10.18255/1818-1015-2014-6-44-56
Popis: 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.
Databáze: Directory of Open Access Journals