A Step Towards a More Practical Protocol Conformance Checking Algorithm

摘要

In previous works we suggested an approach to verify if in a component-based system the interaction behavior to a component obeys the specified requirements.We can capture unbounded recursion, synchronous method calls and call backs as well as asynchronous method calls and unbounded parallel behavior including synchronization.In an industrial environment we have the problem, that extensive use of synchronizations results in an unacceptable verification time. In this paper we will describe an approach leading to a better practical applicability.