Approach to Behavior Scenarios Debugging
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 approac...
Saved in:
| Main Authors: | , , , , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Yaroslavl State University
2014-12-01
|
| Series: | Моделирование и анализ информационных систем |
| Subjects: | |
| Online Access: | https://www.mais-journal.ru/jour/article/view/70 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1849240790011740160 |
|---|---|
| author | P. D. Drobintsev V. P. Kotlyarov I. V. Nikiforov A. A. Letichevsky V. S. Peschanenko |
| author_facet | P. D. Drobintsev V. P. Kotlyarov I. V. Nikiforov A. A. Letichevsky V. S. Peschanenko |
| author_sort | P. D. Drobintsev |
| collection | DOAJ |
| description | 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. |
| format | Article |
| id | doaj-art-33b1835e29fa4bf198f117ec92ef054a |
| institution | Kabale University |
| issn | 1818-1015 2313-5417 |
| language | English |
| publishDate | 2014-12-01 |
| publisher | Yaroslavl State University |
| record_format | Article |
| series | Моделирование и анализ информационных систем |
| spelling | doaj-art-33b1835e29fa4bf198f117ec92ef054a2025-08-20T04:00:26ZengYaroslavl State UniversityМоделирование и анализ информационных систем1818-10152313-54172014-12-01216445610.18255/1818-1015-2014-6-44-5664Approach to Behavior Scenarios DebuggingP. D. Drobintsev0V. P. Kotlyarov1I. V. Nikiforov2A. A. Letichevsky3V. S. Peschanenko4St. Petersburg State Polytechnical UniversitySt. Petersburg State Polytechnical UniversitySt. Petersburg State Polytechnical UniversityGlushkov Institute of Cybernetic of NAS of UkraineKherson State UniversityThe 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.https://www.mais-journal.ru/jour/article/view/70behavior modelsymbolic tracesymbolic scenarioguidecauses of errorssemi-automatic analysisfutomatic analysis of error causes |
| spellingShingle | P. D. Drobintsev V. P. Kotlyarov I. V. Nikiforov A. A. Letichevsky V. S. Peschanenko Approach to Behavior Scenarios Debugging Моделирование и анализ информационных систем behavior model symbolic trace symbolic scenario guide causes of errors semi-automatic analysis futomatic analysis of error causes |
| title | Approach to Behavior Scenarios Debugging |
| title_full | Approach to Behavior Scenarios Debugging |
| title_fullStr | Approach to Behavior Scenarios Debugging |
| title_full_unstemmed | Approach to Behavior Scenarios Debugging |
| title_short | Approach to Behavior Scenarios Debugging |
| title_sort | approach to behavior scenarios debugging |
| topic | behavior model symbolic trace symbolic scenario guide causes of errors semi-automatic analysis futomatic analysis of error causes |
| url | https://www.mais-journal.ru/jour/article/view/70 |
| work_keys_str_mv | AT pddrobintsev approachtobehaviorscenariosdebugging AT vpkotlyarov approachtobehaviorscenariosdebugging AT ivnikiforov approachtobehaviorscenariosdebugging AT aaletichevsky approachtobehaviorscenariosdebugging AT vspeschanenko approachtobehaviorscenariosdebugging |