|
| Defect types found using OOmCFP |
|
| Defect: An object model without a specification of an agent class |
| Defect: An OO-Method Conceptual Model without a definition of the presentation model |
| Defect: A presentation model without the specification of one or more interaction units |
| Defect: An object model without the specifications of one or more classes |
| Defect: A class without a name |
| Defect: Classes with a repeated name |
| Defect: A class without the definition of one or more attributes |
| Defect: A class with attributes with repeated names |
| Defect: An instance interaction unit without a display pattern |
| Defect: A population interaction unit without a display pattern |
| Defect: A display pattern without attributes |
| Defect: Derived attributes without a derivation formula |
| Defect: A filer without a filter formula |
| Defect: An event of a class of the object diagram without valuations (excluding creation or destruction events) |
| Defect: A class without a creation event |
| Defect: Transactions without a specification of a sequence of services (service formula) |
| Defect: Operations without a specification of a sequence of services (service formula) |
| Defect: A service without arguments |
| Defect: A service with arguments with repeated names |
| Defect: A precondition without the specification of the precondition formula |
| Defect: A precondition without an error message |
| Defect: An integrity constraint without the specification of the integrity formula |
| Defect: An integrity constraint without an error message |
|
