测试仍然是目前工业界广泛采用的确认软件是否正确可靠的主要手段，而形式化方法被认为是非常有希望的新途径。
While testing is still currently the most widely used validation technique in the software industry, formal methods are regarded a new promising approach.
介绍了一种基于形式规格说明和分类树方法生成软件测试用例的方法。
An approach for generating test cases from formal specification and the classification-tree method is presented.
基于框架的互补定义的形式描述方法可以作为用于软件测试自动化的形式系统的描述方法。
The complementary definition method based on the frame can be used to be the description method of formal system used in automated software testing.
这样的形式描述方法满足软件测试自动化对形式描述的要求。
The requirements of formalization for automated software testing can be met by the method.
第五章对比了常用软件测试方法，讨论了形式化方法的基本概念、数学预备知识和形式化规约语言。
Chapter five compares the method with the common software testing and discusses the concept, basic knowledge and language of FormalMethods.
本文提出了一种从形式规格说明中利用等价类划分的方法自动生成软件测试用例的算法，给出了算法步骤。
The paper puts forward an automated testing case generator algorithm which uses equivalence class division methods and formal specification.
由软件的形式规格说明构造分类树，再把由分类树方法得到的测试用例转化为析取范式，进一步精炼测试用例。
Firstly, a classification-tree is constructed based on specification of the test object, and then test cases obtained from the classification-tree are refined by generating a disjunctive normal form.
由软件的形式规格说明构造分类树，再把由分类树方法得到的测试用例转化为析取范式，进一步精炼测试用例。
Firstly, a classification-tree is constructed based on specification of the test object, and then test cases obtained from the classification-tree are refined by generating a disjunctive normal form.
应用推荐