选择程序设计语言的实用标准:
- 软件用户的要求
- 可以使用的编译程序
- 可以得到的软件工具
- 工程规模
- 程序员的知识
- 软件可移植性要求
- 软件的应用领域
几种语言的适用领域:
- Pascal: Pascal是一种通用的程序设计语言,它适合用于教学和一般的软件开发,但在科学工程计算方面并不是特别突出。Pascal主要关注程序结构和算法,相对而言,对于数值计算和科学计算方面的特殊需求不太强调。第一个体现结构化编程思想的语言。
- Fortran: Fortran是一种面向科学和工程计算的高级编程语言,特别适合数值计算和科学工程计算。Fortran提供了丰富的数学和科学计算函数库,并具有处理大规模数据和高性能计算的能力。它在科学工程领域有着广泛的应用,被认为是传统的科学计算语言之一。
- Prolog: Prolog是一种基于逻辑编程的编程语言。它主要用于人工智能和知识表示领域,而非科学工程计算。Prolog 的主要特点是基于逻辑推理的规则匹配和递归查询,适合解决像逻辑推理、符号处理和专家系统等问题。但是对于数值计算、科学模拟和工程计算等方面,Prolog并不是最佳选择。
编码风格:
- 程序内部应该有很好的文档。(所谓程序内部的文档,包括恰当的标识符、适当的注解和程序的视觉组织等)
- 数据说明应该易于理解和查阅。
- 语句构造应该尽可能简单直观。
- 输入输出风格遵守人机界面设计准则。
- 效率满足用户需求。
代码审查比计算机测试优越之处在于:一次审查会上可以发现许多错误;用计算机测试的方法发现错误之后,通常需要先改正这个错误才能继续测试,因此错误是一个一个地发现并改正的。也就是说,采用代码审查的方法可以减少系统验证的总工作量。
4.5.2控制结构测试
1.基本路径测试
- 根据过程设计的结果画出流图
- 计算流图的环形复杂度
- 确定线性独立路径的基本集合。
- 设计可强制执行基本集合中每条路径的测试用例。
2.条件测试
3.循环测试
软件维护过程本质上是修改和压缩了软件定义和开发过程。
预防性维护定义:把今天的方法学应用到昨天的软件系统上,以支持明天的需求。