嵌入式软件可靠性设计与验证.ppt

* 软件测试类型 * 软件测试类型 功能测试 接口测试 安全测试 容量测试 恢复性测试 数据处理测试 * 软件测试类型 性能测试 强度测试 人机界面测试 余量测试 敏感性测试 IEC规约简介 * IEC规约简介 * IEC规约简介 * IEC规约简介 * IEC规约简介 * IEC规约简介 * IEC规约简介 * IEC规约简介 * IEC规约简介 * IEC规约简介 * IEC规约简介 * IEC规约简介 * IEC规约简介 * IEC规约简介 * IEC规约简介 * IEC规约简介 * IEC规约简介 * IEC规约简介 * IEC规约简介 * * 嵌入式系统软件设计与验证 北京科锐配电自动化公司 自动化事业部 * 研讨内容 嵌入式软件设计与验证演变过程 软件的质量属性 3. 软件验证方法 4. 软件测试类型及方法 * 嵌入式软件设计与验证演变过程 * 嵌入式软件设计与验证结构 * 嵌入式软件设计与验证演变 * 嵌入式软件设计与验证演变 * 需求说明书的编写原则 正确性 无歧义性 完整性 一致性 分级性 详细性 可追踪性 * 嵌 入 式 软 件质 量 属 性 * 软件质量属性 * 嵌入式软件的验证 * 软件验证目的 软件验证的总目标 发现软件生存周期中各种因素所引入的错误。 软件验证过程的目的 检测和报告在软件开发过程中可能已形成的错误。 * 软件验证方法 分析 评价 评审 审查 测试 * 软件验证方法 分析技术：关键点、软/硬件需求、 风险分析、接口分析 审查技术：概念、需求、设计、 代码、测试脚本审查 审查的目的在于在软件开发过程中尽可能早的发现问题。 * 软件验证方法 分析、评审、审查方法是最有效的方法。 测试不是最有效的方法，但是最常用的方法，主要在于其易操作性。 测试可以揭示缺陷的存在，但不能表明他们不存在；任何测试集都是一种采样方法。 * 软件测试技术 * 测试前的准备 明确测试对象 定义测试依据 确定测试标准 * 测试要求 对软件功能测试，要求覆盖率100% 系统的每个特性应至少被一个正常测试用例和一个被认可的异常测试用例所覆盖； 测试用例的输入应至少包括有效数据、无效数据和变节数据等； 应测试软件功能之间及功能与硬件之间的接口； * 测试要求 按软件规格说明，测试软件的安全性， 包括数据存储、数据访问、数据传输过程的安全性； 应测试软件功能模块的输出数据及格式； 应测试在边界状态和异常状态下，软件系统的功能和性能； 应测试软件的人机交互操作，包括正常、非正常、误操作以及快速操作时软件的反应能力及容错性、 * 测试要求 可靠性和安全处理能力。 应测试软件的显示功能，包括正常、非正常、误操作及快速操作时的显示能力； 应测试系统全部存储量、输入/输出通道和处理时间的余量； 应对A、B级软件的功能和性能进行强度测试； * 测试要求 应测试设计中用于提高系统安全性 、可靠性的结构、算法、容错、冗 余、中断处理等； 对A、B级软件系统，应对其进行安全分析，明确每一个危险状态和导致危险的可能原因，并对此进行针对性的测试； 应测试软件的恢复、重置功能和平均恢复时间。 IEC规约简介 IEC规约简介 IEC规约简介 * IEC规约简介 * IEC规约简介 * IEC规约简介 * IEC规约简介 * IEC规约简介 * IEC规约简介 * IEC规约简介 * IEC规约简介 * IEC规约简介 * IEC规约简介 * IEC规约简介 * IEC规约简介 * IEC规约简介 * IEC规约简介 * IEC规约简介 * IEC规约简介 * IEC规约简介 * IEC规约简介 *