SYSTEMS AND METHODS FOR DEBUGGING MODEL BASED MESSAGE SEQUENCES

摘要

A system for simplifying message sequences is disclosed. The system includes a shrink component and a message simplification component. The shrink component is configured to receive a failure inducing message sequence and to provide a shrunk sequence based on the failure inducing message sequence. The shrunk sequence has less or equal number of messages than the failure inducing message sequence. The message simplification component is configured to receive the shrunk sequence and to simplify messages within the shrunk sequence to generate a simplified message sequence including debugging hints.

主权项

1. A system for simplifying message sequences comprising:
a shrink component configured to receive a failure inducing message sequence and to generate a shrunk sequence based on the failure inducing message sequence, wherein the shrunk sequence comprises a reduce number of messages than the failure inducing message sequence; and a message simplification component configured to receive the shrunk sequence and simplify a plurality of messages within the shrunk sequence to generate a simplified message sequence.