Systems and methods for debugging model-based message sequences

摘要

It is a system, in order to facilitate of message sequences discloses. The system has a reduction component and a news simplification component on. The reduction component is configured to receive an error-prone message sequence and on the basis of the error-triggering message sequence to provide a shortened sequence. The shortened sequence has a smaller or the same number of messages as the error-prone message sequence. The news simplification component is configured for this purpose, the shortened sequence to receive and message in the shortened sequence, in order to simplify to produce a simplified message sequence.