We have a fatal flaw in our output: All of the properties are using an object type. Attributes in the UML Class Diagram support string, integer and Boolean data types, but not other types such as ...

UML (Unified Modeling Language) as a standard as a standard of specification of object systems should be a natural source of information relevant to the testing.

The same has been proposed for UML [1], but we propose the opposite: use only the minimum necessary to specify system functionality. We then use model mappings, coupled with marks that indicate which ...