Chapter 15 Domain Verification.docVIP

Chapter 15. Domain Verification 我们建造的模型都只是模型的一个应用或一些片段部分。xUML模型建好以后，配上约束和可执行动作，此时仅意味着我们执行这些模型从而确保其产生渴望的行为。 有不同的多种验证方法可以用在模型上。Static verification（静态验证法）是一种核实模型工具。该工具理解xUML语义学，可以核实并确保模型被恰当建造—类有属性，属性有类型和约束，状态有过程，过程动作语言编译准确，等等。 本章重点是动态验证—以模型为背景的实际运行试验，就如测试Java或C程序那样。毕竟，模型是可执行的，所以你已知的绝大多数关于如何编写和运行软件的测试技术都同样有用。 本章看似接近本书的尾声，记住领域验证是个前进的过程，贯穿一个项目的整个过程。就如我们推荐的渐进性的模型开发，我们同样建议不断地测试模型。 本章提供一个理解如何从用例和模型建立测试向量的起点，以及如何自动执行，如何把单元测试连在一起做系统测试。 15.1 Finding Unit Tests for a Single Use Case 与其试图承担整个用例，我们可以一块一块地处理，每次一个活动。每个活动按照以下条件定义：一系列的先决条件，一个单一启动信号和一系列后置条件。 每个用例都可能有几个可能的路径，比如：Add Item to Order，因为一个用例是一系列可能的行为的一个