参考资料：

U/C矩阵是用来表达过程与数据两者之间的关系。矩阵中的行表示数据类，列表示过程，并以字母U（Use）和C（Create）来表示过程对数据类的使用和产生。

U/C矩阵的正确性的检验

U/C矩阵的正确性，可由三方面来检验：

(1) 完备性检验。这是指每一个数据类必须有一个产生者(即“C”) 和至少有一个使用者(即“U”) ；每个功能必须产生或者使用数据类。否则这个U/C矩阵是不完备的。

(2) 一致性检验。这是指每一个数据类仅有一个产生者，即在矩阵中每个数据类只有一个“C”。如果有多个产生者的情况出现，则会产生数据不一致的现象。

(3) 无冗余性检验。这是指每一行或每一列必须有“U” 或“C”，即不允许有空行空列。若存在空行空列，则说明该功能或数据的划分是没有必要的、冗余的。

将U/C矩阵进行整理，移动某些行或列，把字母“C” 尽量靠近U/C矩阵的对角线，可得到C符号的适当排列。