The paper puts forward an automated testing case generator algorithm which uses equivalence class division methods and formal specification.

本文提出了一种从形式规格说明中利用等价类划分的方法自动生成软件测试用例的算法，给出了算法步骤。

Values contained in an equivalence class are considered to be equivalent in terms of their expected result. For example, look at a classic testing problem, such as the triangle program.

一个等价类中包含的值通常根据所期待的结果被认为是等价物。

For example, a reasonably trained, reasonably motivated programmer can do a perfectly fine job finding boundary conditions and checking whether each known equivalence class is handled.

例如，一个接受过一定培训、有一定积极性的程序员可以很好地找到边界条件，并且检查每一个等价类是否都处理了。

If you look at the datapool that you just created, you can see that you are on the default equivalence class created for the datapool ( Figure 4).

如果您查看您刚刚建立的数据池，您使用的是数据池的默认设置，如图4所示。

Once again we use a word to denote its equivalence class and write equality to express equivalence.

我们再一次用一个字来表示它所在的等价类，并用等号表示等价。

Can equivalence class partitioning be applied for testing an advanced search feature?

可以等价类划分可用于测试一个先进的搜索功能吗？

Since testing every value is impractical, a few values should be chosen from each equivalence class. An equivalence class is a set of values that should all be treated the same.

既然要测遍每一个值是不可能的，那么应该在每个定价类中选取几个值。一个定价类就是一个被认为是类似值的集合。

In this paper, we mainly discuss the enumeration problem of the equivalence class of 3-nilpotent matrix defined in normal number fields.

主要对定义在一般数域上的3 -幂零矩阵的相似等价类的个数问题进行探讨。