强化训练2

选择程序设计语言的实用标准：

• 软件用户的要求
• 可以使用的编译程序
• 可以得到的软件工具
• 工程规模
• 程序员的知识
• 软件可移植性要求
• 软件的应用领域

几种语言的适用领域：

• Pascal: Pascal是一种通用的程序设计语言，它适合用于教学和一般的软件开发，但在科学工程计算方面并不是特别突出。Pascal主要关注程序结构和算法，相对而言，对于数值计算和科学计算方面的特殊需求不太强调。第一个体现结构化编程思想的语言。
• Fortran: Fortran是一种面向科学和工程计算的高级编程语言，特别适合数值计算和科学工程计算。Fortran提供了丰富的数学和科学计算函数库，并具有处理大规模数据和高性能计算的能力。它在科学工程领域有着广泛的应用，被认为是传统的科学计算语言之一。
•  Prolog: Prolog是一种基于逻辑编程的编程语言。它主要用于人工智能和知识表示领域，而非科学工程计算。Prolog 的主要特点是基于逻辑推理的规则匹配和递归查询，适合解决像逻辑推理、符号处理和专家系统等问题。但是对于数值计算、科学模拟和工程计算等方面，Prolog并不是最佳选择。

编码风格：

1. 程序内部应该有很好的文档。（所谓程序内部的文档，包括恰当的标识符、适当的注解和程序的视觉组织等）
2. 数据说明应该易于理解和查阅。
3. 语句构造应该尽可能简单直观。
4. 输入输出风格遵守人机界面设计准则。
5. 效率满足用户需求。

---

代码审查比计算机测试优越之处在于：一次审查会上可以发现许多错误；用计算机测试的方法发现错误之后，通常需要先改正这个错误才能继续测试，因此错误是一个一个地发现并改正的。也就是说，采用代码审查的方法可以减少系统验证的总工作量。

---

4.5.2控制结构测试

1.基本路径测试

1. 根据过程设计的结果画出流图
2. 计算流图的环形复杂度
3. 确定线性独立路径的基本集合。
4. 设计可强制执行基本集合中每条路径的测试用例。

2.条件测试

3.循环测试

---

软件维护过程本质上是修改和压缩了软件定义和开发过程。

预防性维护定义：把今天的方法学应用到昨天的软件系统上，以支持明天的需求。