From b23a0832f2fa042bf701e585d30c48a314c67c96 Mon Sep 17 00:00:00 2001 From: Hui Lan Date: Mon, 10 Jul 2023 09:21:50 +0800 Subject: =?UTF-8?q?=E8=9E=8D=E5=85=A5=E9=99=88=E5=8D=B0=E7=85=8C=E7=9A=84?= =?UTF-8?q?=E6=94=B9=E8=BF=9B?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- parnas-a-rational-design-process.rst | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/parnas-a-rational-design-process.rst b/parnas-a-rational-design-process.rst index f9625b4..7b92ffe 100644 --- a/parnas-a-rational-design-process.rst +++ b/parnas-a-rational-design-process.rst @@ -329,14 +329,14 @@ Page 10 为确保文档的一致性与完整性， 文档组织结构背后必须有一个简单的数学模型。 我们的模型是由我们在实时系统上的工作所启发的。 但因为所有系统都是实时系统， 它是完全通用的。 -我们假设，对于实时控制系统，理想的产品不是纯数字计算机，而是混合计算机，它由控制模拟计算机的数字计算机组成。 模拟计算机将输入的连续值转换为连续输出。 当离散事件发生时，数字计算机给由模拟计算机计算的函数带来离散变化？？？。 实际的系统是该混合系统的数字近似。 与其他工程领域一样，写软件规范时， 我们首先描述“理想”系统， 然后指定允许的误差。 在需求文档中， 我们认为， 输出重要性高于输入。 如果输出值是正确的，即使我们不读取输入，也没人会介意。 因此，在过程第一阶段，关键是 **识别所有输出** 。 我们的需求文档， 其核心是由表格形式表示的数学函数集合。 每个函数都有一组外部状态变量， 且输出单个值。 文献 [9] 中给出了以这种方式生成的完整文档例子， [8]中对该例子有讨论。 +我们假设，对于实时控制系统，理想的产品不是纯数字计算机，而是混合计算机，它由控制模拟计算机的数字计算机组成。 模拟计算机将输入的连续值转换为连续输出。 当离散事件发生时，数字计算机使由模拟计算机计算的函数发生离散变化。 实际的系统是该混合系统的数字近似。 与其他工程领域一样，写软件规范时， 我们首先描述“理想”系统， 然后指定允许的误差。 在需求文档中， 我们认为， 输出重要性高于输入。 如果输出值是正确的，即使我们不读取输入，也没人会介意。 因此，在过程第一阶段，关键是 **识别所有输出** 。 我们的需求文档， 其核心是由表格形式表示的数学函数集合。 每个函数将单个输出的值指定为与应用程序相关的外部状态变量的函数。 文献 [9] 中给出了以这种方式生成的完整文档例子， [8]中对该例子有讨论。 .. _B: B. 设计并记录模块结构 ```````````````````````````````````````````````````````````````````````````````` -除非产品很小，小到能由单个程序员来做，否则我们必须考虑如何将工作分解为几个工作任务，即模块。 此阶段应生成的文档为 **模块指南 (Module Guide)** 。 模块指南定义各模块的职责， 把我们的设计决策 (design decisions) 封装在各模块。 一个模块可以由多个子模块组成，也可以单独作为一个工作任务。 +除非产品很小，小到能由单个程序员来做，否则我们必须考虑如何将工作分解为几个工作任务，即模块。 此阶段应生成的文档为 **模块指南 (Module Guide)** 。 模块指南定义各模块的职责， 把我们的设计决策 (design decisions) 封装在各模块。 一个模块可以由多个子模块组成，也可以被视为单个工作任务。 Page 11 -- cgit v1.2.1