Revision as of 19:46, 29 August 2013 edit Vegaswikian (talk \| contribs) 270,510 edits Help needed: Metamodel, Code generation ← Previous edit		Revision as of 19:08, 30 August 2013 edit undo Lwriemen (talk \| contribs) 137 edits →Model testing and execution: Disambiguated metamodel. Wanted to use Metamodeling, but that article isn't Meta- enough. Next edit →
Line 58: Once a ___domain is modeled, it can be [[software testing\|tested]] independent of the target [[implementation]] by executing the model. Each ___domain can be [[verification and validation\|verified and validated]] independent of any other ___domain. This allows [[software bug\|errors]] detected to be associated with the ___domain and independent of other system concerns. [[static testing\|Verification]] will involve such things as human [[peer review\|review]] of the models, performed by experts in the relevant ___domain, and automated checking of the Executable UML semantics. i.e., checking that the Executable UML model complies with the Executable UML [[Meta-\|metamodel]]~~{{dn\|date=August 2013}}~~. [[dynamic testing\|Validation]] will typically involve use of an Executable UML tool to execute the model. The execution can occur either before or after model compilation.

Executable UML: Difference between revisions