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 |
Externí odkaz: |