软件工程(精品·公开课件).pptVIP

软件工程 2009 6.1 软件与软件工程 一、基本概念 1、软件 50年代：软件=程序； 60年代：软件=程序+文档； 70年代：软件=程序+文档+数据； 6.2 软件设计的基本原理 一、应用软件开发应遵循的准则 1、抽象准则 可以从某些具体的事物中抽取出事物的本质或共性，而暂时忽略那些非本质的，与研究内容无关的枝节。 6.3 软件设计的基本技术 一、软件开发模型 1、“瀑布”模型（软件生存周期法） 数据流图示例 一、概述 二、数据描述 · 数据流图 · 数据字典 · 系统接口说明 · 内部接口 三、功能描述 · 功能 · 处理说明 · 设计的限制 四、性能描述 · 性能参数 · 测试种类 · 预期的软件响应 · 应考虑的特殊问题 五、参考文献目录 六、附录 6.4 测试与调试的基本技术 一、软件测试的基本概念 软件系统测试的基本目的就是要在软件产品投入生产性运用之前，尽可能多的发现软件产品中存在的各种错误,即消除故障保证软件的可靠性。 即使通过了最严格的软件系统测试，仍然可能还有一些错误隐藏在程序中而未被发现。因此软件系统测试只能找到程序中存在的错误，而不能证明程序中没有错误。 (a) 数据流条目 (b) 数据存储条目 (c) 数据项条目 (d) 基本加工条目 判定表与判定树 在描述加工逻辑时，如果有一系列逻辑判断，用结构化语言描述就不直观，也不简捷，这时可用判定表或判定树来描述。 判定表是用表格的形式列出在什么条件下作什么处理，一目了然。判定树是以一棵从左向右生长的树型表示来描述在各种条件下要作的事情，树的各个分支表示某种条件，分支的端点表示该分支对应的条件下要作的处理。 例：“检查订货单”的加工逻辑是如果金额超过500元，又未过期，则发出批准单和提货单；如果金额超过500元，但过期了，则不发批准单；如果金额低于500元，则不论是否过期都发出批准单和提货单，在未过期情况下不需发出通知单。 判 定 表 √ 发出通知单 √ √ √ 发出提货单 √ √ √ 发出批准单 ≤500且 已过期 ≤500且 未过期 ＞500且 已过期 ＞500且 未过期 金额状态 判 定 树 软件需求规格说明书 软件需求规格说明书（SRS，Software Requirement Specification）是需求分析阶段的最后成果，是软件开发的重要文档之一。 作用： 1、便于用户与开发人员进行理解和交流 2、作为开发人员进行设计和编程的根据 3、作为软件开发完成后验收的依据 需求说明书包括的内容和书写参考格式如下： 三、面向数据结构的设计方法（结构化设计方法（SD）） 分两步： （1）概要设计（总体设计）； （2）详细设计； 概要设计是将系统的逻辑结构变成模块化的物理结构； 概要设计是将系统的逻辑结构变成模块化的物理结构； 详细设计则是对各模块进行具体的算法设计，并根据总体要求完成代码设计、界面设计、输入输出设计、文件设计和数据库设计。 1、SD方法的基本思想 是如何根据数据流程图建立一个良好的模块结构图（称SC图）。该方法采用“分解”的手段来控制系统的复杂性，即把一个大型系统分解成一个个相对独立，单一功能的模块。 2、SD方法的文档格式（SC图） SD方法的主要生成文档是模块结构图及相应的模块功能说明。 SC图由四种符号组成： （1）模块 （2）调用 （3）数据信息与控制信息 （4）辅助符号 3、SD方法的工作步骤 从数据流图导出模块结构图。 最终目的是：寻找一种花费的费用最小，而效果最佳的方法，确定软件的质量。 1、测试的挑剔性； 测试不是为了证明程序有错，而是在设想程序有错误的前提下进行的，其目的是设法暴露程序中的错误和缺陷。 2、完全测试的不可能性 测试只能说明程序有错，而不能证明程序无错。希望通过有限次的测试就能发现程序中的所有错误是不可能的，即完全测试是不可能的。 3、测试的经济性 测试是保证程序质量的关键，但完全测试又是不可能的。因此，应当在程序的用途、重要性和测试所化的代价之间进行权衡。 如采用黑盒法和白盒法相结合的方法，对程序进行如下测试： 没有语法错误； 运行有结果； 对典型数据能得到正确的结果，对无效数据有防范措施； 对一切能出现的数据不出错； 白盒法 黑盒法 白盒法是把程序看成装在一个透明的白盒子里，也就是人们完全了解程序的结构和处理过程，按照程序内部的逻辑结构，检验程序中的每条通路是否都能按照预定的要求正确工作。 黑盒法是完全不管程序内部的结构和处理，把程序看成一个黑盒子，只按照程序需求说明书规定的功能和性能正常使用，程序是否能适当地接受输入数据并产生正确的输出信息。 白盒测试 白盒测试即结构测试，它与程序内部结构相关