·2,447,543篇论文数据，部分数据来源于NoteExpress
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.
由软件的形式规格说明构造分类树，再把由分类树方法得到的测试用例转化为析取范式，进一步精炼测试用例。
youdao
应用推荐
模块上移
模块下移
不移动