考试全程指导读书笔记1 -Chap2 系统开发基础 1

 

Chap2 系统开发基础

2.1 软件开发方法

2.1.1 净室方法

1.         净室软件工程是软件开发的一种 形式化方法，它可以生产高质量的软件。它是一种严格的软件工程方法，它是一种强调正确性的数学验证和软件可靠性的认证的软件过程模型，其目标和结果有非常低的出错率，这是使用非形式化方法难于或不可能达到的。

2.         净室方法从使用盒结构（黑盒、状态盒、清晰盒）表示的分析和设计模型入手，完成盒结构设计，则运用正确性验证。完成正确性验证后，开始统计的使用测试。

3.         形式化方法和非形式化方法：软件开发方法从性质上来分类，形式化方法是建立在严格数学基础上的软件开发方法。采用形式化方法可避免系统中的歧义性、不完全性和不一致性。非形式化方法则不把严格为其主要着眼点。

4.         净室软件工程并不强调单元测试或集成测试，而是通过定义一组使用场景、确定对每个场景的使用概率及定义符合概率的随机测试来进行软件测试（ 正确性验证）。

 

2.1.2 结构化方法

1.         结构化方法是目前最成熟、应用最广泛的一种工程化方法。其基本思想是“ 自顶向下，逐步求精”，强调开发方法的结构合理性及所开发软件的结果合理性。其缺点是：开发周期长、早起的结构化方法注重系统功能，兼顾数据结构方面不多、结构化程度较低的系统，在开发初期难以锁定功能要求。

2.         针对软件生命周期各个不同的阶段，它包括 结构化分析（Structured Analysis, SA）、结构化设计（Structured Design, SD）、结构化程序设计（Structured Programing, SP）。

3.         结构化方法的基本原则：面向用户的观点、严格区分工作阶段、自顶向下的完成系统开发工作、充分考虑变化的情况（可变更性在首位）、工作成果文献化文档化。

4.         SA方法：使用抽象模型的概念，按照软件内部数据传递、变换的关系，自顶向下，逐层分解，直至找到满足功能要求的所有可实现的软件为止。使用的手段主要有数据流图、数据字典、结构化语言、判定表及判定树。

5.         SD方法：给出一组帮助设计人员在模块层次上区分设计质量的原理与技术。它通常与SA方法衔接起来使用，以数据流图为基础的到软件的模块结构。SD方法尤其适用于变换型结构和事物型结构的目标系统。