From 3c0a958eda5b45f5529d04bdd3165d4ff128c1de Mon Sep 17 00:00:00 2001 From: Hui Lan Date: Tue, 27 Jul 2021 13:08:25 +0800 Subject: parnas-a-rational-design-process.rst: {1,2} is not a good subset as 2 depends on 4 but 4 is not in {1,2}. {1,2,4} is a good subset. --- parnas-a-rational-design-process.rst | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'parnas-a-rational-design-process.rst') diff --git a/parnas-a-rational-design-process.rst b/parnas-a-rational-design-process.rst index a7972b0..c3b8ba3 100644 --- a/parnas-a-rational-design-process.rst +++ b/parnas-a-rational-design-process.rst @@ -404,7 +404,7 @@ E. 设计并且记录使用层次 (uses hierarchy) 一旦我们知道所有的模块与它们的访问程序，就能设计使用层次 [13] 了。使用层次可以用一个二进制矩阵方便表示，当且仅当程序A的正确性依赖于系统中存在正确的程序B时，位置(A,B)上的条目为真。**使用层次** 定义了子集组成的集合， 这个集合可以通过删除整个程序而无需重写任何程序得到。使用层次对于分阶段交付，故障弱化（fail-soft）系统，与程序族开发是重要的 [12]。 -（蓝珲注：本节提到的程序，容易引起混淆，其实就是指模块。二进制矩阵其实描述了模块之间的依赖关系。例如，有1,2,3,4四个模块，3依赖1, 1依赖2, 2依赖4，则{4}, {1,2}, {2,4}, {3,1}. {1,2,4}, {1,3,4},{1,2,3,4} 这些子集都可以各自组成独立程序，因为每个子集都包含了全部依赖，不必依赖与子集外面的东西。） +（蓝珲注：本节提到的程序，容易引起混淆，其实就是指模块。二进制矩阵其实描述了模块之间的依赖关系。例如，有1,2,3,4四个模块，3依赖1, 1依赖2, 2依赖4，则{4}, {2,4}, {3,1}. {1,2,4}, {1,3,4},{1,2,3,4} 这些子集都可以各自组成独立程序，因为每个子集都包含了全部依赖，不必依赖与子集外面的东西。） Page 14 -- cgit v1.2.1