软件工程教案第六-九章).ppt

6 7 2测试测试自动化 另一类软件测试工具 可以自动执行测试用例 查找软件缺陷 分析并记录测试结果 测试工作台 下游CASE工具 源代码 预测器 测试管理器 测试预估 模拟器 文件比较器 报告生成器 动态分析器 被测试的程序 测试数据 测试结果 测试结果报告 执行报告 测试数据生成器 规约 随机测试自动化工具 猴子测试员 只要不停电 偶尔能够得到香蕉 猴子就会永远测试下去 一个想法 如果让一百万只猴子在一百万只键盘上敲一百万年 它们最终就可能写出莎士比亚话剧等巨著 猴子的进步 笨猴子 一点也不懂测试软件 只是随机地单击或按键 直至发生两件事情之一 完成循环或系统崩溃 不太笨的猴子 具有崩溃辨认能力 能够重新启动系统开始测试 聪明猴子 能够从它的笨兄弟那里获得随机测试的结果 增加了对环境的认知能力 有目的地敲键盘 不仅限于查找崩溃缺陷 同时查看数据 检查操作结果 找出与预期结果的差别 自动化测试工具实例 美国国际软件自动化 ISA 公司的PanoramaforC C j Java和VB产品 自动化功能包括 软件结构分析与逻辑框图的自动化软件静态分析数据分析复杂性分析与分析结果列表的自动化软件质量分析动态性能分析软件代码分支或条件覆盖率分析软件测试用例有效性分析与测试用例最小集的自动选取软件界面手工操作过程的自动记录与自动再执行 Playback 6 8调试 纠错技术 测试是找出软件错误的过程 调试是确定错误的位置 性质并纠正 调试的困难在于错误的定位 调试的执行步骤 错误现场 结果 执行案例 改正 测试用例 调试 已识别的原因 被怀疑的原因 回归测试 附加测试 6 8 1排错策略方法一 强行排错 bruteforce 常见形式 1 打印出所有存储内容 代码 2 程序中设打印语句 3 用自动纠错工具效率最低 二 回溯法 跟踪法 根据错误症状位置 人工沿程序控制流程向回追踪源代码 适用于小程序 路径数目很大时无法进行 三 消去原因 causelimination 列出可能原因 逐个排除 找出问题 1 试探法 2 归纳法 3 演绎法 4 二分查找法 1 归纳法 收集有关数据 组织数据构造线索 研究线索关系 假设错误原因 证明假设 纠正错误 能 不能证明 线索关系 错误线索 能 不能 2 演绎法 列举可能错误原因 排除不会发生原因 对保留的假设推断 证明留下的假设 确定错误 待定错因 剩余错因 能 出错原因 不能 收集更多数据 无剩余 6 8 2修改错误原则注意错误的群集现象 在错误近邻检查 找到错误的本质并修改采用回归测试 避免因修改引起的新错误 修改源程序 6 9测试中的可靠性分析 开发过程中 利用测试的统计数据来估算软件的可靠性 以控制软件的质量 推测错误的产生频度推测残留在程序中的错误数评价测试的精确度和覆盖率 推测错误的产生频度 推测错误产生的时间间隔 1 K ET IT Ec t IT 方法 估算平均故障时间 MTTF估算公式 当故障率为独立于时间的常量 MTTF K 经验常数ET 程序中原有的残留错误数IT 程序长度t 测试时间Ec t 在0 t期间内发现的错误总数 1 推测残留在程序中的错误数 错误植入模型Mills将播种模型用于程序中残留错误的估算 称错误植入模型播种模型 N 程序中原有残留的错误数Nt 新植入的错误数n 测试发现的原有错误数nt 测试发现的植入错误数 N N n n t t N N n n t t Hyman对错误植入模型的改进 ET 程序中原有的残留错误数E1 1号测试员在某一时间内发现的错误数E2 2号测试员在同一时间内发现的错误数E0 两位测试员共同发现的错误数 E E E E 1 0 2 T E T E 1 E 2 E 0 第七章软件维护与软件再工程 7 1软件维护的概念四类维护活动 改正性维护适应性维护扩充与完善性维护预防性维护 三类维护所占比例 其它维护5 适应性维护25 改正性维护20 扩充与完善性维护50 改正性维护占全部维护量的比率已从80年代初的20 大幅度下降 90年代初一些公司的产品差错率已接近于零 各类维护活动的根本目的是延长软件生存期 其它维护4 软件生存周期 软件诞生 计划 分析 设计 编码 测试 运行和维护 简称维护 改善期稳定期陈旧期 1年 10年 2个月 2年 重构 软件工程周期 7 2软件维护的特点 M P K e c d M 维护工作总工作量P 生产性工作量K 经验常数c 复杂度d 对该软件熟悉程度的度量 7 2 1维护的成本 7 2 2维护中的典型问题 1 难以跟踪软件版本的进化过程 软件的变化未在文档中反映出来 2 难以跟踪软件的创建过程 3 难以读懂他人程序 4 无文档或不全 5 软件人员流动性大 6 设计时未考虑修改需要 修改困难 7 维护工作无吸引力 缺乏成就感 7 3软件的维护任务 修改负责人 维护申请 系统监督员 配置管理员 7 3 1维护机构 维护人员 维护管理员 7 3 2保存维护记录 维护过程中作应记录的数据程序标识源程序语句数目机器代码指令条数 以收集的数据为基础构造维护数据库 供维护评价使用 7 4软件维护的实施 7 4 1修改源程序的三个步骤分析和理解程序修改程序重新验证程序 7 4 2修改程序的副作用 修改代码的副作用修改数据的副作用修改文档的副作用 7 4 3重新验证程序 1 静态确认2 计算机确认3 维护后的验收 从维护角度所需的测试种类 1 对修改事务的测试 2 对修改程序的测试 3 操作过程的测试 4 应用系统运行过程的测试 5 使用过程的测试 6 系统各部分间接口的测试 7 与系统软件接口的测试 8 安全性测试 9 后备 恢复过程测试 7 5软件可维护性7 5 1软件可维护性的定义 软件可维护性是指纠正软件系统出现的错误和缺陷 以及为满足新的要求进行修改 扩充或压缩的容易程度 衡量软件质量的几个主要质量特性 可维护性可使用性可靠性 7 5 2可维护性的度量 度量程序可维护性的7个特性在各类维护中的侧重点改正性维护适应性维护完善性维护可理解性 可测试性 可修改性 可靠性 可移植性 可使用性 效率 7 6提高可维护性的方法 建立明确的软件质量目标和优先级使用提高软件质量的技术和工具进行明确的质量保证审查选择可维护的程序设计语言改进程序的文档开发软件时考虑到维护 7 7预防性维护 开发和维护者不应等待用户的维护申请 可先选择以下类型程序作为预防性维护对象 1 预计若干年内将继续使用的程序 2 当今正成功使用的程序 3 最近的将来要进行大修改和完善的程序 7 8软件再工程 7 8 1什么是软件再工程在软件复用中 有问题是与现有系统密切相关的例如 现有软件系统如何适应当前技术的发展及需求的变化 采用更易于理解的 适应变化的 可复用的系统软件构架并提炼出可复用的软件构件 现存大量的遗产软件系统 LegacySoftware 由于技术的发展 正逐渐退出使用 如何对这些系统进行挖掘 整理 得到有用的软件构件 已有的软件构件随着时间的流逝会逐渐变得不可使用 如何对它们进行维护 以延长其生命期 充分利用这些可复用构件 软件再工程 SoftwareReengineering 正是解决上述问题的主要技术手段 软件再工程是一类软件工程活动 是一个工程过程 它将逆向工程 重构和正向工程组合起来 将现存系统重新构造为新的形式 再工程的基础是系统理解 包括对运行系统 源代码 设计 分析 文档等的全面理解 但在很多情况下 由于各类文档的丢失 只能对源代码进行理解 即程序理解 它能够使我们 增进对软件的理解 提高软件自身的可维护性 复用性或演化性 软件再工程过程模型 代码重构 数据重构 正向工程 库存目录分析 文档重构 逆向工程 逆向工程 逆向工程 反推工程reverseengineering 从现有软件恢复设计信息 有用的维护信息 设计的恢复过程 非结构化 无文档的源代码或目标代码 软件的全部文档 软件再工程相关术语间关系 信息库 1类视图 非过程性描述 元描述例 规格说明 再工程 3类视图 过程性描述例 源程序 再工程 2类视图 伪过程性描述 结构性描述例 DFD PDL A2类视图 分析 再工程 逆向工程设计恢复再工程 逆向工程设计恢复再工程 A1类视图 分析 A3类视图 分析 分解 综合生成视图 软件视图Softwareview有关软件的一种表达形式或报告 视图分类 1类视图 2类视图 3类视图 A类视图 伴随上述各类的分析视图 A1类视图是对1类视图的分析信息 A2类视图是有关2类视图的分析信息 A3类视图是由3类视图得到 软件视图示例 信息库 视图编辑器 DFD 视图编辑器 Petri网 视图编辑器 ERA图 视图编辑器 跟踪矩阵 Req1Req2 Prog1Prog2Prog3 视图编辑器 程序结构图 视图编辑器 流程图 视图编辑器 规格说明 再工程信息库及其产品 软件文档 分析结果 信息库 设计成果 规格说明 各种图 度量值 分析 分解器 源程序或其模板 进入点 源程序 自动进行再工程的过程 软件 软件的新视图 语法分析器语义分析器 视图合成器 信息库 其他产品 经过再工程过程可获得的信息 格式图形文档度量值逻辑报告 7 8 2软件再工程技术再工程课题相关技术 重构文档重写 加注释 更新文档复用工程重新划分模块数据再工程业务过程再工程可维护性分析 业务量分析 经济分析 理解软件 改进软件 获取 保存及扩充软件的知识 分解逆向工程 恢复设计对象恢复程序理解知识库及变换 浏览分析 度量逆向工程 恢复设计 1 改进软件 1 软件重构对软件进行改造 使其易于理解或易于维护 重构是实现软件再工程全面自动化的第一步 源程序 重构的源程序 逻辑格式图形文档度量报告 再构器 可获得的信息 Restructurer 软件重构示意图 1 改进软件 2 文档重写 加注释 更新文档 信息源 源程序设计资料规格说明变更记录管理人员程序人员 文档 嵌入式注释设计资料规格说明测试数据层次图 检查 再测试插入注释生成图形生成报告 文档重写示意图 1 改进软件 3 复用工程 目的是修改软件 使其更易于复用 再说明再生成分类证明附加查找描述信息 查找 利用再工程实现软件复用的过程 应用问题 部件 可复用部件 可复用库 可复用源程序 复用 再工程器 析取 2 理解软件 1 浏览 2 分析与度量理解程序特性 如复杂性 的重要方法 与再工程相关的技术 程序分片控制流复杂性度量耦合性度量 3 逆向工程与设计恢复 逆向工程恢复信息的级别 1 实现级 程序的抽象语法树 符号表等信息 2 结构级 反映程序分量之间相互依赖关系的信息 如调用图 结构图等 3 功能级 反映程序段功能和段间关系的信息 4 领域级 反映程序分量与应用领域概念间对应关系的信息 抽象级别 低 高 信息的抽象级别越高 它与代码距离越远 通过逆向工程恢复的难度越大 自动工具支持的可能性变小 逆向工程 源程序 目标代码 反汇编 反编译程序分析技术 程序结构分析工具程序功能分析工具 源程序 概要设计详细设计 概要设计 需求分析 3 获取 保存和扩充软件的知识 1 分解从程序中找出对象和关系 存入信息库 分解器举例 UNIX中的lex和yacc 2 对象恢复从源程序中取得对象 将非面向对象程序转换为面向对象程序 3 程序理解 4 知识库和程序变换 变换是再工程的核心活动 再工程是在同一类视图或前一类视图上把一个软件视图的信息变换成另一视图的信息 变换也是逆向工程和设计恢复的基础 逆向工程与再工程十分相似 只是两者的原始视图和目标视图不同 它的目标视图一般在前类视图中 源代码 结构图 既可看作是再工程 也可看作是逆向工程 源代码 重构源代码则是再工程或称重构 并不是逆向工程 6 再工程的同义词 改进更新整修再开发工程再生复用工程 7 8 3为什么要实施软件再工程再工程可帮助降低软件演化风险再工程可帮助补偿软件投资再工程可使得软件易于进一步变更再工程有广阔市场再工程扩大了CASE工具集再工程是推动自动软件维护的动力 第八章软件工具与软件开发环境 8 1软件工具定义 用来辅助软件开发 运行 维护 管理 支持等过程中的活动的软件成为软件工具 分类 按软件过程活动分类 支持软件开发过程的工具 支持软件维护过程的工具 支持软件管理过程和支持过程的工具 8 2计算机辅助软件工程 CASE Computer AidedSoftwareEngineering8 2 1CASE的基本概念与发展历史1 什么是CASECASE使人们能在计算机的辅助下进行软件开发 为软件开发的工程化 自动化进而智能化打下基础 在CASE工具辅助下进行软件开发 可提高开发效率 改善软件质量 CASE构造积木块 CASE工具 环境体系结构 硬件平台 操作系统 可移植服务 集成框架 2 CASE工具分类 信息工程工具工程建模和管理工具项目计划工具风险分析工具项目管理工具需求根据工具质量和管理工具文档工具 2 CASE工具分类 系统软件工具质量保证工具数据库管理工具软件配置管理工具分析和设计工具PRO SIM工具界面设计和开发工具原型工具 2 CASE工具分类 编程工具集成和测试工具静态分析工具动态分析工具测试管理工具客户 服务器测试工具再工程工具逆向工程工具代码重构和分析工具联机再工程工具 3 集成化CASE环境 I CASE 1990年Wasserman提出的五级集成模型平台集成 工具运行在相同的硬件 操作系统平台上数据集成 工具使用共享数据模型来操作表示集成 工具提供相同用户界面控制集成 工具激活后能控制其它工具的操作过程集成 工具在一个过程模型和 过程机 的指导下使用 I CASE的元素 基础块 体系结构硬件平台操作系统 可移植服务 集成框架 CASE工具 集成框架的体系结构模型 用户界面层界面工具箱表示协议 工具代理服务 CASE工具 工具层 对象管理层集成服务配置管理服务 共享中心库层CASE数据库访问控制功能 2 CASE中心库 在I CASE中中心库是软件工程信息的 积聚和存储中心 是一组实现 数据 工具 和 数据 数据 集成的机制和数据结构 CASE中心库也称为 软件总线 CASE中心库也是一个存放地 结合了高级的集成CASE工具的机制 CASE中心库存放的内容 被求解的问题关于问题域的信息系统解决方案关于被遵从的软件过程 方法学 的规则和指令项目计划 资源和历史关于组织的信息 CASE中心库提供的服务 可从任何高级的数据库管理系统期望得到的访问类型特定于CASE环境的访问类型 中心库 中心信息库 Data 记录 元素 视图 入库实体 处理 模块 处理 函数 外部实体 界面 图形 DFD 结构图 E R图 数据模型 规则 权限 过程和管理 现存拷贝库 数据字典 版本 属性描述 命名标准 标准名 别名 属性名 编译名 中心信息库报告 中心信息库的内容 3 CASE工作台 CASE工作台概述 CASE工作台分类程序设计工作台分析和设计工作台测试工作台交叉开发工作台配置管理工作台文档工作台项目管理工作台 程序设计工作台 组成程序设计工作台的工具 1 语言编译器 2 结构化编译器 3 连接器 4 加载器 5 交叉引用 6 按格式打印 7 静态分析器 8 动态分析器 9 交互式调试器 测试工作台 下游CASE工具 源代码 预测器 测试管理器 测试预估 模拟器 文件比较器 报告生成器 动态分析器 被测试的程序 测试数据 测试结果 测试结果报告 执行报告 测试数据生成器 规约 8 3软件工程环境 SEE 8 3 1软件工程环境概述软件工程环境定义 1 一组软件工具的集合 2 工具按一定方法或模型组织 3 工具支持整个生存周期各阶段或部分阶段 1 软件工程环境分类 1 按软件开发模型及开发方法分类支持 瀑布模型 演化模型 螺旋模型 喷泉模型等支持 结构化方法 信息模型方法 OO方法等 1 软件工程环境分类 2 按应用范围分类 通用型软件工程环境专用型软件工程环境 应用型软件工程环境 1 软件工程环境分类 3 按开发阶段分类 前端开发环境 支持系统分析 分析 设计等阶段活动 后端开发环境 支持编程 测试等阶段活动 软件维护环境逆向工程环境 2 软件工程环境的特征 1 仓库 2 工具的集成 3 用户友好的界面 4 提取信息的能力 5 分析的能力 6 可裁剪和可扩充的能力 7 项目控制和管理 8 方法学的支持 3 软件工程环境的基本功能 1 软件开发的一致性及完整性维护 2 配置管理及版本控制 3 数据的多种表示形式及自动转换 4 信息自动检索及更新 5 项目控制和管理 6 对方法学的支持 8 3 2集成环境 软件工程环境的层次模型 工作台应用 框架服务 平台服务 8 3 3平台服务 SEE运行在工作台网络上 宿主系统 目标机1 目标机2 网络连接 网络连接 宿主 目标开发方式 一个软件工程环境运行其上的平台称为软件工程环境的宿主机系统 8 3 4框架服务 SEE参考模型 数据仓库服务 数据集成服务 任务管理服务 用户界面服务 消息服务 工具插槽 8 4大型软件开发环境青鸟系统简介 集成化软件工程环境青鸟II系统 JB2 特点 环境主要目标之一 支持OO软件开发集成性和开放性的统一 支持多种开发方法可集成支持生存周期全过程的软件工具 JB2系统总体结构 用户界面 过程管理 工作台管理 工具工具工具工具工具工具 界面辅助生成器 可复用构件管理 CASE C 语言 配置管理 版本管理 对象管理系统 消息服务器 对象库 可复用构件库 类库 界面类库 JBCASEForWindows体系结构 用户界面 系统平台 PWIN 中文之星 四通利方等 结构化分析工具SAT 结构化设计工具SDT 文档追踪工具DATT 数据库设计工具DDT 需求文档 一般设计文档 详细设计文档 数据库文档 其它文档 文档出版工具DPT 外部工具集成 界面工具编程工具调试工具 Client 其它厂家工具 WordExeclPowerpoint Server 工作站版青鸟环境 OLE或文件 开放性 JBCASEForWindows功能简介 结构化分析工具SATDFD编辑DD编辑及管理一致性检查需求文档分析外部工具集成OLE的Server自动生成MSD等 JBCASEForWindows功能简介 结构化设计工具SDTMSD编辑小说明编辑及管理一致性检查设计文档自动生成设计文档分析外部工具集成OLE的Server支持详细设计过程等 JBCASEForWindows功能简介 数据库设计工具DDTER图编辑对象内容编辑对象浏览需求文档分析自动布局报告生成及文档出版生成数据库模式定义外部工具集成OLE的Serve JBCASEForWindows功能简介 文档追踪工具DAT T定义追踪关系DFD MSDMSD DFD显示追踪关系删除追踪关系 JBCASEForWindows功能简介 文档出版工具DPT文档模板管理超文本组织管理OLE连接及嵌入文档输出 某一章节或整个文档 第九章软件质量管理与质量保证 9 1软件质量9 1 1影响软件质量的因素人的因素软件需求测试的局限性质量管理的困难软件人员的传统习惯开发规范开发工具支持不够 什么是软件质量 成本 可靠 维护 及时交付 正确 功能 功能 成本 及时交付 软件质量的若干侧面 9 1 2McCall提出的表明软件质量的11个质量特性 使用性 测试性 正确性 维护性 可靠性 移植性 效率 重用性 完整性 互操作性 适应性 灵活性 9 1 3国际标准和国家标准规定的质量特性ISO IEC9126 1991Informationtechnologysoftwareproductevaluationqualitycharacteristicsandguidelinesfortheiruse我国1996年将其等同采用 GB T16260 1996软件产品评价质量特性及其使用指南 9 1 4产品质量与过程质量 产品质量 开发技术 成本 时间 进度 过程质量 人员素质 影响产品质量的4个方面 9 2软件质量保证 质量保证也是一个过程 已列入国际标准 ISO IEC12207信息技术 软件生存期过程 中 9 2 1质量保证的主要功能 质量方针的制定和展开质量保证方针的质量保证标准的制定质量保证体系的建立和管理各阶段的质量评审 9 2 2质量保证的实施质量度量方法ISO建议的软件质量评价标准分为三级 高层 质量需求评价准则 SQRC 中层 质量设计评价准则 SQDC 低层 质量度量评价准则 SQMC ISO建议的软件质量度量模型 正确性 可跟踪性 完备性 准确性 容错性 简洁性 模块性 通用性 扩充性 可容性 效率 安全性 可维护性 适应性 连接性 SQDC SQRC SQMC 可用性 一致性 由各使用单位根据实际情况决定 能用于软件质量定量评价的软件度量 美国国防部AD报告 把质量表现形式归纳为190多个问题 IEEE质量标准词典规定 39组度量公式39个度量项分为四级 0级 已公式化 尚未被运行有效确认1级 已为软件界采用 应用范围有限2级 已被软件界接受 已取得一定经验3级 软件界已广泛使用 已取得相当经验 3级的8个度量项 1 缺陷密度 2 需求可追踪性 3 Halstead软件科学 4 McCabe复杂性度量 5 发现k个缺陷的平均时间 6 按耗时作故障分析 7 平均故障时间 8 故障率 Halstead的软件科学度量 根据程序中可执行代码行的操作符和操作数的数量来计算程序的复杂性n1 程序中出现的不同操作符数目n2 程序中出现的不同操作数数目N1 程序中操作符出现的总数N2 程序中操作数出现的总数 McCabe复杂性度量举例 SORT源程序SUBROTINESORT X N DIMENSIONX N IF N LT Z RETURENDO201 2 NDO10J 1 IIF X I GE X J GOTO10SAVE X I X I X J X J SAVE10CONTINUE20CONTINUERETURNEND SORT源程序操作符操作符数1 语句结束72 数组下标63 54 IF 25 DO26 27 程序结束18 LT 19 GE 1n1 10 GOTO101N1 28 McCabe复杂性度量举例 SORT源程序SUBROTINESORT X N DIMENSIONX N IF N LT Z RETURENDO201 2 NDO10J 1 IIF X I GE X J GOTO10SAVE X I X I X J X J SAVE10CONTINUE20CONTINUERETURNEND SORT源程序操作数操作数数1 X62 I53 J44 N25 216 SAVE2n2 7 12N2 22 Halstead使用原始度量定义的算式 1 程序长度N n1log2n1 n2log2n2 2 程序容量V Nlog2 n1 n2 3 语言级别L 2 n2 n1 n2 4 程序工作量E V L 5 程序编写时间T E SS Stroud数 6 程序潜在错误的数量B Nlog2 n1 n2 3000 Halstead认为程序中可能存在的错误与程序容量成正比 例 一程序对75个数据库项共访问1300次 对150个操作符使用1200次 潜在错误数为 B 1300 1200 log2 75 150 3000 6 5 即6 7个错误 Halstead软件科学是目前一种最好的软件度量方法 不足和问题 1 未忽略模块特性 2 忽略了非执行语句 3 代码和数据的二义性 4 未考虑数据类型的差异 5 未注意调用深度 6 未区别不同类型的运算符 McCabe复杂性度量 环路度量 McCabe认为程序复杂性很大程度取决于程序控制流的复杂性 以程序图的环路数作为该程序复杂性 的度量值对于具有强连通图的环路数 V G e n 2e 边数n 结点数 McCabe复杂性度量示例 a c b e f d 1 2 3 7 6 8 4 5 9 R1 R2 R3 R4 R5 V G 9 6 2 5 V G 其它计算方法 1 计算图中所有有界区域和无界区域数R图中共有5个区域 R1到R5 所以V G 5 2 用判定语句总数 1 判定个数 分支数 1 图中可按4个判定计算 V G 4 1 5 9 2 3技术评审 软件评审是一个 过滤器 用于 净化 软件工程各项活动 9 3软件可靠性 硬件系统故障率 0 t Z t 软件系统故障率 0 t Z t 9 3 1基本概念 软件可靠性定义在给定时间间隔内和特定的环境下 软件按规格说明成功运行的概率 软