The paper puts forward an automated testing case generator algorithm which uses equivalence class division methods and formal specification. 本文提出了一种从形式规格说明中利用等价类(EC)划分的方法自动生成软件测试用例的算法,给出了算法步骤。
A datapool must contain one equivalence class. 一个数据池必须包含一个等价类(EC)。
Notice that when you change the variables on one equivalence class, that change cascades to the other classes. 注意,当您改变一个等价类(EC)的变量时,这个变化会串联影响到其他等价类(EC)。
If you double-click the existing equivalence class, you can rename it. 如果您双击已经存在的等价类(EC),您可以重命名它。
Once again we use a word to denote its equivalence class and write equality to express equivalence. 我们再一次用一个字来表示它所在的等价类(EC),并用等号表示等价。