等价类分类在离散数学中

等价类分类在离散数学中,等价类的划分基于以下定理:设R是定义在集合A上的等价关系

那么R的等价类构成S的划分

反过来,给定集合S的划分{ |i∈I},则存在一个等价关系R,它以集合 作为它的等价类

 因为等价关系的 a 在 a 中和任何两个等价类要么相等要么不交集不相交的性质

得出 X 的所有等价类的集合形成 X 的集合划分划分: 所有 X 的元素属于一且唯一的等价类

反过来,X 的所有划分也定义了在 X 上等价关系

在软件工程中等价类划分及标准如下:划分等价类等价类是指某个输入域的子集合

在该子集合中,各个输入数据对于揭露程序中的错误都是等效的,并合理地假定:测试某等价类的代表值就等于对这一类其他值的测试,因此,可以把全部输入数据合理划分为若干等价类,在每一个等价类中取一个数据作为测试的输入条件就可以用少量代表性的测试数据取得较好的测试结果

等价类划分有两种不同的情况:有效等价类和无效等价类

1)有效等价类是指对于程序的规格说明来说是合理的、有意义的输入数据构成的集合

利用有效等价类可检验程序是否实现了规格说明所规定的功能和性能

2)无效等价类指对程序的规格说明是不合理的或无意义的输入数据所构成的集合

对于具体的问题,无效等价类至少应有一个,也可能多个

设计测试用例时,要同时考虑这两种等价类

因为软件不仅要能接收合理的数据,也要能经受意外的考验,这样的测试才能确保软件具有更高的可靠性

3.划分等价类的标准1) 完备测试、避免冗余2) 划分等价类重要的是:集合的划分、划分为互不相交的一组子集,而子集的并是整个集合3) 并是整个集合:备性4) 子集互不相交:保证一种形式的无冗余性5) 同一类中标识(选择)一个测试用例,同一等价类中,往往处理相同,相同处理映射到“相同的执行路径”

 

以上内容由大学时代综合整理自互联网,实际情况请以官方资料为准。

相关