2020下半年系统架构设计师 下午论文真题及写作要点（纯净无广告版）.pdfVIP

2020下半年系统架构设计师下午论文真题及

写作要点

试题一论软件设计方法及其应用

论文写作要点

1.简要描述所参与设计的软件系统，并明确指出在系统设计过程中承担的主要工

作。

2.分析系统设计的主要方法，并详细阐述每种设计方法。

1）净室方法

净室软件工程（净室方法）是软件开发的一种形式化方法，它可以生成高质量的

软件。它使用盒结构规约进行分析和设计建模，并且强调将正确性验证（而不是测试）

作为发现和消除错误的主要机制，使用统计的测试来获取认证被交付的软件的可靠性

所必需的出错率信息。

净室方法从使用盒结构表示的分析和设计模型入手，一个“盒”在某特定的抽象

层次上封装系统（或系统的某些方面）。通过逐步求精的过程，盒被精化为层次，其中

每个盒具有引用透明性：每个盒规约的信息内容对定义其精华是足够的，不需要信赖

于任何其他盒的实现。这使得分析人员能够层次地划分一个系统，从在顶层的本质表

示转移向在底层的实现特定的细节。净室方法主要使用三种盒类型：黑盒、状态盒和

清晰盒。

净室方法是一种严格的软件工程方法，它是一种强调正确性的数学验证和软件可

靠性认证的软件过程模型，其目标和结果是非常低的出错率，