编码(zhhf09).ppt

第 十 讲 编码（coding） 本讲（第七章）的主要内容 编码的任务 程序设计语言 编码风格 编码的任务 两个相关概念 实现：体现“如何做”的程序文本称为实现。 规范：“做什么”的形式化描述通常称为规范。 编码阶段的任务： 编写源程序（source code)； 编写文档（document)； 单元测试（unit testing)。 软件质量主要取决于设计的质量，但不能忽略编码和程序设计语言的影响 编码需要遵循一定的标准，形成编码风格。 编码任务的流程 微软开发的经验—注重标准 Cusumano 和Selby指出微软软件开发过程中，在保留了开发人员展示自己的创造力和个性的同时切实地融入软件工程概念。 微软开发小组都在各自独立的地方工作，使用常用的开发语言，公共的开发风格，标准的开发工具。 微软开发的经验—注重标准 标准有助于交流，讨论问题，解决问题。 微软要求各自的小组收集一系列测试结果，包括出错信息和发现的潜在和修改了的错误。当继续开发产品时，这些测试结果指导将来的决策。 标准有助于把设计转化为代码和软件重用。 按照标准把代码结构化，你可以保留代码和设计中的相同部分。因此，设计的变化很容易在代码中体现。 程序设计语言分类 机器语言(Machine Language) 汇编(Assemble Language) 高级语言 4GL 高级语言分类（应用特点观） 基础语言：通用语言，应用广泛，如BASIC、FORTRAN等。 结构化语言：现代语言，提供结构化的控制结构，支持很强的过程能力和数据结构能力。如PASCAL、C、Ada等。 专用语言：为某种特殊应用而设计的具有独特语法形式的语言。如APL用于向量运算；LISP、PROLOG用于人工智能。 高级语言分类（内在特点观） 系统实现语言：利于系统软件的设计，灵活的硬件资源管理。 静态高级语言：静态地分配存储。 块结构高级语言：提供有限地动态存储分配。 动态高级语言：动态地完成所有存储管理。 程序设计语言的发展 参见WORD表格 从多方面测度设计语言的特点 名字说明 类型说明 初始化 程序对象的局部性 程序的模块特性 循环控制结构 分支控制结构 异常处理 独立编译 设计语言特点之一：名字说明 名字说明的意义和作用 名字（如变量名，函数名等）说明是指预先说明程序中所使用对象的名字，使得编译系统能够检查出程序中这些名字使用的合法性。 利于排查错误，提高软件的可靠性。 Fortran, Basic语言并不进行显式的名字说明，会容易出现错误，或者错误难以诊断。 设计语言特点之二：类型说明 类型说明的意义 与名字说明的概念是一致的 可以借助于编译系统检查错误 预先说明数据类型有助于编译系统的类型检查，减少歧义性 用户可以自定义数据类型 Fortran语言规定，如果不显式地说明一个变量，那么，这个变量名字的第一个字母就隐含了该变量的类型。 设计语言特点之三：初始化 初始化的意义 减少程序出现错误的可能性。 提高系统的可靠性和安全性。 强迫程序员对变量进行初始化 如果引用之前没有初始化，系统会提示错误； 如果初始化之后没有被引用，系统也会提示错误。 语言特点之四：程序对象的局部性 程序对象的局部性的意义 对变量、常量、函数等程序对象的说明该靠近使用它的地方。 尽量使用局部的变量，以提高程序的可读性和可修改性。 语言特点之五：程序模块 有关程序模块的一些概念 局部变量 全局变量（extern int x,y, 其作用域可以是同一文件的多个函数) 外部函数 (extern int function( ) 可以被其它文件中的函数调用) 内部函数 (static float function( ) 只能被同一个文件的其它函数调用) 计语言特点之六：循环控制 循环控制结构 for语句 while-do语句 需要在循环体内任意一点测试循环结束条件（可以用if-then-else实现；Ada提供了exit语句，exit{标识符} {when 条件} ) 语言特点之七：分支控制结构 分支控制结构 if then else case (表达式）的两个问题：一是表达式的值不在预定范围内；二是由表达式的值所选择的分支取决于执行语句的排列次序。 case (表达式），由表达式的值匹配case标号选择执行分支，与排列次序无关。允许缺省标号（ C语言的default)或补缺标号(Ada语言的other)。 语言特点之八：异常处理 异常：程序执行过程中发生的错误或意外事件。 异常处理 是设计语言为程序员提供的一组处理异常情况的功能。例如，PL/1、Ada语言提供了相应的异常处理机制，当子程序或函数多层嵌套调用时，可以将异常信息从一个函数方便地传送到另一个函数。 语言特点之九：独立编译 独立编译的意义 独立编译