英语翻译我们根据规则,利用推理机,提取规则中的判定谓词（IF）,进行分析后构造一个解空间树,如图2.从图中我们可以看到从

英语翻译
我们根据规则,利用推理机,提取规则中的判定谓词（IF）,进行分析后构造一个解空间树,如图2.从图中我们可以看到从树的顶点到叶子节点构造的一条分支,就对应一条规则.我们可以遍历此树从而达到规则覆盖.这样我们就既保证了规则生成的测试用例是测试充分的.对于树中每个叶子节点就是一个程序运行结果.我们对规则的谓词进行提取和处理.
我们选取等腰的规则集{(A)and(C)},等价图中的{P1,P2,P3,P4,等腰}的路径.用来生成测试用例,此测试用例的目的是测试程序判断等腰三角形的功能实现.我们根据规则（A）（C）的谓词进行处理后得到一个等价的不等式组：
这个不等式组就确定了测试数据a,b,c的取值范围D,此时结合随机数据生成器从合法的取值范围D中随机生成一组测试数据,从而完成了测试用例的自动生成,通过驱动模块调用被测程序进行测试,分析测试结果.
同理,我们可以从其他规则中生成等边,普通,非三角形和不合法的测试输入等测试用例.再结合测试权值技术,对于不同的路径设置一个权值.来控制测试用例集中,不同测试用例的测试比例,形成有效的重点测试.
引用两个测试定义如下：
定义1 　设程序Q 在测试用例集T 上执行,并且实现了功能F ,如果满足...,则称测试用例集T 是可靠的,其中T < D.其中D为输入域.
定义2 设程序Q 的规则说明中P( X1 ,X2 ,⋯,Xn) 是程序输入变量必须满足的命题逻辑条件,如果测试用例集T 是可靠的,并且在T 上能满足P ,则T 是测试充分的.

我们根据规则,利用推理机,提取规则中的判定谓词（IF）,进行分析后构造一个解空间树,如图2.从图中我们可以看到从树的顶点到叶子节点构造的一条分支,就对应一条规则.我们可以遍历此树从而达到规则覆盖.这样我们就既保证了规则生成的测试用例是测试充分的.对于树中每个叶子节点就是一个程序运行结果.我们对规则的谓词进行提取和处理.
我们选取等腰的规则集{(A)and(C)},等价图中的{P1,P2,P3,P4,等腰}的路径, 用来生成测试用例,此测试用例的目的是测试程序判断等腰三角形的功能实现.
We extracted the predicted predicates (IF) from the rules that we based on by utilizing the inference engine, and created a solution space tree (fig.2) after analyzing the predicates. As shown in the figure, from tree vertex to each of a leaf node creates a branch which corresponds to a rule. We can traverse the whole tree to achieve rules coverage. In this way, the test cases generated by the rules are adequately tested. Every leaf node in the tree is a program running result. We extracted and processed the predicates of the rules. We generated test cases by selecting the isosceles rule sets [(A)and(C)] and the paths of (P1,P2,P3,P4, isosceles) in the equivalent graph; the objective of these test cases is to achieve the judgment function of test program for isosceles triangle.
我们根据规则（A）（C）的谓词进行处理后得到一个等价的不等式组：
这个不等式组就确定了测试数据a,b,c的取值范围D,此时结合随机数据生成器从合法的取值范围D中随机生成一组测试数据,从而完成了测试用例的自动生成,通过驱动模块调用被测程序进行测试,分析测试结果.
同理,我们可以从其他规则中生成等边,普通,非三角形和不合法的测试输入等测试用例.再结合测试权值技术,对于不同的路径设置一个权值.来控制测试用例集中,不同测试用例的测试比例,形成有效的重点测试.
After processing the predicates of rules A and C, we obtained an equivalent system of inequalities:
This inequality system determined the range of values D for testing data a, b, c, at this time, a set of testing data was randomly generated from the legitimate value range by a random data generator, and so an automatic generation of test cases was completed; then the tested program was called by a driver module for testing, and the test result was analyzed.
Similarly, we can generate test cases of equilateral and general triangles, non-triangle and illegitimate test input from other rules; then by integrating the test weights technology, a weight is set up for each different path to control the concentration of test cases and the test ratio of different test cases, so as to create effective key tests.
引用两个测试定义如下：
定义1 　设程序Q 在测试用例集T 上执行,并且实现了功能F ,如果满足...,则称测试用例集T 是可靠的,其中T < D.其中D为输入域.
定义2 设程序Q 的规则说明中P( X1 , X2 , ⋯, Xn) 是程序输入变量必须满足的命题逻辑条件,如果测试用例集T 是可靠的,并且在T 上能满足P ,则T 是测试充分的.
Two test definitions are taken as follows:
Definition 1 – Set program Q and implement it on test suite T, and achieve function F; if satisfied, then the test suite T is reliable; in which T < D and D is input domain.
Definition 2 – In the rule description of program Q, P( X1 , X2 , ⋯, Xn) is a propositional logic condition that must be satisfied by the program input variables; if test suite T is reliable and T can satisfy P, then T is adequately tested.
【英语牛人团】