Approach to Behavior Scenarios Debugging

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

• поведенческая модель
• символьная трасса
• символьный сценарий
• гид
• причина ошибки
• полуавтоматический анализ
• автоматический анализ причин ошибок