嵌入式软件可靠性设计与验证概要

1、1北京科锐配电自动化公司北京科锐配电自动化公司自动化事业部自动化事业部21.1.嵌入式软件设计与验证演变过程嵌入式软件设计与验证演变过程 2.2.软件的质量属性软件的质量属性3. 3. 软件验证方法软件验证方法 4. 4. 软件测试类型及方法软件测试类型及方法 345671.正确性正确性2.无歧义性无歧义性3.完整性完整性4.一致性一致性5.分级性分级性6.详细性详细性7.可追踪性可追踪性891011软件验证的总目标软件验证的总目标 发现软件生存周期中各种发现软件生存周期中各种因因素素所引入的错误所引入的错误。软件验证过程的目的软件验证过程的目的 检测和报告在软件开发过程中检测和报告在软件开发

2、过程中可能已形成的错误可能已形成的错误。121.分析分析2.评价评价3.评审评审4.审查审查5.测试测试131.分析技术：关键点、软分析技术：关键点、软/硬件需求、硬件需求、 风险分析、接口分析风险分析、接口分析2.审查技术：概念、需求、设计、审查技术：概念、需求、设计、 代码、测试脚本审查代码、测试脚本审查 审查的目的在于在软件开发过程审查的目的在于在软件开发过程中尽可能早的发现问题。中尽可能早的发现问题。14分析、评审、审查方法是最有效的方法分析、评审、审查方法是最有效的方法。测试不是最有效的方法，但是最常用的测试不是最有效的方法，但是最常用的方法，主要在于其易操作性。方法，主要在于其易操

3、作性。测试可以揭示缺陷的存在，但不能表明测试可以揭示缺陷的存在，但不能表明他们不存在；任何测试集都是一种采样他们不存在；任何测试集都是一种采样方法。方法。15161.明确测试对象明确测试对象2.定义测试依据定义测试依据3.确定测试标准确定测试标准171.对软件功能测试，要求覆盖率对软件功能测试，要求覆盖率100%2.系统的每个特性应至少被一个正常系统的每个特性应至少被一个正常测试用例和一个被认可的异常测试测试用例和一个被认可的异常测试用例所覆盖；用例所覆盖；3.测试用例的输入应至少包括有效数测试用例的输入应至少包括有效数据、无效数据和变节数据等；据、无效数据和变节数据等；4.应测试软件功能之间

4、及功能与硬件应测试软件功能之间及功能与硬件之间的接口；之间的接口；185.按软件规格说明，测试软件的安全按软件规格说明，测试软件的安全性，性， 包括数据存储、数据访问、数包括数据存储、数据访问、数据传输过程的安全性；据传输过程的安全性；6.应测试软件功能模块的输出数据及应测试软件功能模块的输出数据及格式；格式；7.应测试在边界状态和异常状态下，应测试在边界状态和异常状态下，软件系统的功能和性能；软件系统的功能和性能；8.应测试软件的人机交互操作，包括应测试软件的人机交互操作，包括正常、非正常、误操作以及快速操正常、非正常、误操作以及快速操作时软件的反应能力及容错性、作时软件的反应能力及容错性、

5、19 可靠性和安全处理能力。可靠性和安全处理能力。9.应测试软件的显示功能，包括正常、应测试软件的显示功能，包括正常、非正常、误操作及快速操作时的显非正常、误操作及快速操作时的显示能力；示能力；10.应测试系统全部存储量、输入应测试系统全部存储量、输入/输出输出通道和处理时间的余量；通道和处理时间的余量；11.应对应对A、B级软件的功能和性能进行级软件的功能和性能进行强度测试；强度测试；2012.应测试设计中用于提高系统安全性应测试设计中用于提高系统安全性 、可靠性的结构、算法、容错、冗、可靠性的结构、算法、容错、冗 余、中断处理等；余、中断处理等；13.对对A、B级软件系统，应对其进行安级软件系统，应对其进行安全分析，明确每一个危险状态和导全分析，明确每一个危险状态和导致危险的可能原因，并对此进行针致危险的可能原因，并对此进行针对性的测试；对性的测试；14.应测试软件的恢复、重置功能和平应测试软件的恢复、重置功能和平均恢复时间。均恢复时间。21221.功能测试功能测试2.接口测试接口测试3.安全测试安全测试4.容量测试容量测