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

• behavior model
• symbolic trace
• symbolic scenario
• guide
• causes of errors
• semi-automatic analysis
• futomatic analysis of error causes