U／C矩阵的无冗余性检验指U／C矩阵中允许有空行不允许有空列-X题卡

稀疏矩阵对称矩阵对角矩阵三角矩阵

U/C矩阵中C表示数据类使用，U表示数据类产生 U/C矩阵中，功能分组是绝对不可变换的调配功能分组，使得C尽量靠近对角线 U/C矩阵中，纵向表示功能，横向表示数据类

完备性检验一致性检验无冗余性检验安全性检验

每一列至少有一个C 每一列至少有一个U 每一列不能没有U与C 不能出现空行

对角矩阵稀疏矩阵三角矩阵对称矩阵

每一列至少有一个C 每一列至少有一个U 每一列不能没有U和C 不能出现空行

完备性检验准确性检验一致性检验无冗余性检验

每列必须有“U”和“C” 每行或每列必须有“U”或“C” 每列必须有“U”或“C” 每行或每列必须有“U”和“C”

有向图无向图 AOV网 AOE网

N N+E E N-E

N N+E E N-E

N N+E E N-E

完备性检验准确性检验一致性检验无冗余性检验

每一列至少有一个C 每一列至少有一个U 每一列不能没有U和C 不能出现空行

某列有一个C 某行有多个U 某列没有C 某列有多个U

完备性检验一致性检验无冗余检验可维护性检验

U／ C 矩阵的无冗余性检验指 U／ C 矩阵中允许有空行，不允许有空列。