Systems and methods for debugging model based message sequences
AssigneeIntel Mobile Communications GmbH
InventorRobert Daniel Brummayer
Life of this patent
Estimating the term…
Abstract
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.
Claims24
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 reduced 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.
A method of simplifying a message sequence, the method comprising:
- identifying one or more simplification candidates from the message sequence;
- testing the one or more simplification candidates to identify at least one successful candidate;
- and
- generating a shrunk message sequence based on the at least one successful candidate.
A method of simplifying a list of message parts, the method comprising:
- obtaining a list of message parts from a message sequence;
- setting the message parts to first values;
- identifying successful candidate message parts set to the first values that reproduce an original message sequence failure;
- identifying unsuccessful candidate message parts set to the first values that do not reproduce the original message sequence failure;
- and
- providing the unsuccessful candidate message parts as debugging hints.
Dependencies are inferred from the claim text.