基于划分分析方法的测试用例生成

从基于模型的规格说明中。应用形式化方法可以产生所需的测试用例。为了从静态模型中表达的形式化约束产生测试用例，本文阐述了一种产生此测试数据的方法．同时也说明了如何使类的方法的划分分析自动进行。以厦如何建立起给定方击的粪的序列且该序列覆盖了所有必需的测试。

Test Cases Generation based on Partition Analysis Approach

Necessary test cases can be generated from model based specification by applying formal approach. In order to generate test cases from formal constraints expressed in a static model, an approach for generating test data is described, and how the partition analysis of individual methods of classes can be automated is shown, and how a valid sequence of a given method's class can be constructed.