当您在您的测试中检查到并没执行的代码时，如果需求发生了变化，但没有正式地被更新，那么最好的办法是让一个人来负责确确认需求。
When you examine the code not executed in your tests, it's a good idea to have a person responsible for requirements determine if the requirements were changed, but not formally updated.
特别是，UML建模概念的语义(或含义)的规范，对这些作为自动代码生成或正式确认的基于MDD的活动仍旧是不适当的。
In particular, the specification of the semantics (or meaning) of the UML modeling concepts remained inadequate for such MDD-oriented activities as automatic code generation or formal verification.
特别是，UML建模概念的语义(或含义)的规范，对这些作为自动代码生成或正式确认的基于MDD的活动仍旧是不适当的。
In particular, the specification of the semantics (or meaning) of the UML modeling concepts remained inadequate for such MDD-oriented activities as automatic code generation or formal verification.
应用推荐