Verifying models for exceptional behavior
A computer-implemented method may include receiving a specification including one or more instances of a language construct, the language construct having an exceptional behavior; identifying in the specification the one or more instances of the language construct having the exceptional behavior; ap...
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Patent |
| Sprache: | eng |
| Schlagworte: | |
| Online-Zugang: | Volltext bestellen |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| Zusammenfassung: | A computer-implemented method may include receiving a specification including one or more instances of a language construct, the language construct having an exceptional behavior; identifying in the specification the one or more instances of the language construct having the exceptional behavior; applying a modification to the one or more instances of the language construct having the exceptional behavior, the modification making the exceptional behavior explicit; analyzing the specification for dynamic occurrences of the explicit exceptional behavior; and generating information identifying the dynamic occurrences of the explicit exceptional behavior. |
|---|