Approach to behavior scenarios debugging |
| |
| Authors: | P. Drobintsev V. Kotlyarov I. Nikiforov A. Letichevsky V. Peschanenko |
| |
| Affiliation: | 1.Saint-Petersburg State Polytechnic University,Saint-Petersburg,Russia;2.Glushkov Institute for Cybernetics,Kiev,Ukraine;3.Kherson State University,Kherson,Ukraine |
| |
| Abstract: | The paper presents two approaches to debugging of application model behavior scenarios: semi-automatic and automatic. The first approach allows the user to automate the process of finding a place in a concrete symbolic behavioral scenario that caused an error. The second approach allows to find together with places the cause of multiple errors in some set of generated behavior scenarios in a single analysis cycle. |
| |
| Keywords: | |
| 本文献已被 SpringerLink 等数据库收录！ |
|
