Testing against requirements, architectures and designs defined in a Model Based Systems Engineering (MBSE) approach.