12软件工程-2L.ppt

软件质量特性/子特性关系 功能性 ----完备性、致性、可追踪性 可靠性：精确性、健壮性、安全性 易使用性：操作性、培训性、文档完备性 效率 ：通信有效性、执行有效性 、设备有效性 可维护性：一致性、可见性、文档完备性、清晰性、模块性、自描述性、简单性、结构性 可移植性：硬件系统无关性、软件系统无关性、可扩充性、公用性、清晰性、模块性、自描述性 软件可靠性技术 算法模型化：将可以保证实现需求规格说明的算法模型化 模拟模型化：为保证在一定资源条件下预定性能的实现，将软件运行时间、内存使用量、执行控制等模型化 程序正确性证明：使用形式化的符号和数学方法，证明程序的正确性 软件可靠性技术 N个版本的程序设计方法：从同一个需求规格开始，由N个独立的CSCI组同时开发；从N个版本的执行结果的不同点，寻找整体的一致性 容错设计：使软件具有抗故障的功能 软件风险分析及故障树分析：从设计或编码的结构开发，追踪软件开发过程中潜入系统错误的原因。 软件可靠性技术 划分接口的规格说明：在设计中，作好接口规格说明，以验证划分接口的实现可能性和完全性 可靠性模型：使用软件可靠性模型，从软件故障发生的频度出发预测可靠性 关于程序上载 硬件设计： 可写入的芯片（如flash） 系统写入的条件 冗余策略 用于加载的调度程序必须可靠 软件设计： 输入策略 一次能接受上载的能力（测控分配） 每次拼接的策略（若接收不连续，传输标准） 差错控制（校验码） 解析策略 功能码及一系列标识定义 存储策略 存储区定义和分配 存储区校验 执行策略 全部校验正确后置可用标志（并下行其状态） 可根据上行指令确定是否可执行 简单应用：（易实现、可靠性高） 作为已定义的可调用模块（原代码可为空操作） 可临时调用的模块（根据注入指令） 定义注入序列： 如：指令类型码 数据长度 放置区域 内容 ….. 校验码 结束码 谢谢！！！ 5.2 计算机软件部件测试 特点 a. 相当于硬件设备的功能模块测试 b. 对概要设计说明书负责 c. 是发现和改正模块接口错误的重要阶段 d. 是验证系统功能增长正确性的阶段 组织 一般在开发小组内部进行 5 软件测试阶段 计算机软件部件测试 内容 a. 单元间的接口测试 b. 部件的功能测试 c. 全局数据结构测试 d. 部件的运行时间、运行空间、计算精度测试 e. 边界和在人为条件下的性能 5 软件测试阶段 计算机软件部件测试 要求 a.调用时100%覆盖 b.错误处理能力测试 c.采用增量测试法 5 软件测试阶段 计算机软件部件测试 方法 自顶向下 增量 自底向上 集成方法 “三明治” 非增量： Big-Bang莽撞测试 5 软件测试阶段 计算机软件部件测试 方法 调用对覆盖 接口测试 定义域测试 软件部件测试 数据流测试 白盒 部件功能测试 黑盒 I/O 5 软件测试阶段 5.3 计算机软件配置项测试 特点 a. 对软件需求规格说明负责 b. 对完整软件功能和性能的总体测试 c. 相当于硬件设备成品检验 组织 独立测试方式 5 软件测试阶段 计算机软件配置项测试 内容 功能测试 —安全性测试 性能测试 —恢复性测试 界面测试 —边界测试 强度测试 —功能多余物测试 余量测试 —安装性测试 可靠性测试 5 软件测试阶段 计算机软件配置项测试 要求 a.有用户参加确认测试 b.采用