最近评论
正在载入评论列表...
代码编写阶段的检验
程序单元设计是详细设计，其中确定特定的算法和数据结构。对详细控制流的阐述使之很容易用一种编程语言翻译成程序代码。代码编写阶段是使用编程语言将详细设计翻译成可执行的代码的过程。
9.1 用技术评审对代码编写进行测试
代码编写阶段产生可以执行的源程序模块。编码工作的良好基础是已定义的编程标准。好的标准应当包括注释、不安全的编程结构、程序风格、防御性编程等。注释标准包括一个程序应当如何被注释以及注释到何种程度。不安全的编程结构是使程序难于维护的习惯，比如goto语句。程序风格包括一个标准的程序应如何在一个页面上布局、控制结构的缩进、和初始化过程等。防御性编程的惯例描述了程序防御策略的强制元素，一个例子就是错误情况的处理和对常见错误例程的控制。
静态分析技术，如结构化走查和审查，用于确保程序代码及其文档的适当形式。这是通过对代码和文档规则的一致性检查以及类型检查完成的。
在代码编写阶段的评审中发现的每个缺陷都应当记录在文档中，并加以分类、记录、提交给设计团队进行修改，并在记录该缺陷的特定文档中提及。表9-1是代码编写阶段错误记录表格的例子（更多细节请参见F.5节）。
表9-1 代码编写阶段缺陷记录
|
缺陷分类 |
遗 漏 |
错 误 |
额 外 |
总 数 |
|
1．判断逻辑或顺序结构错误或不充分 |
||||
|
2．数学计算错误或不充分 |
||||
|
3．分支错误 |
||||
|
4．分支或其他测试执行错误 |
||||
|
5．存在未定义的循环终止条件 |
||||
|
6．违反编程语言规则 |
||||
|
7．违反编程标准 |
||||
|
8．程序员错误解读语言结构 |
||||
|
9．存在印刷错误 |
||||
|
10．存在内存分配错误 |
|
