|
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 |
|