过程id:swe.4
过程名称:软件单元验证
过程目的:软件单元验证过程目的是验证软件单元,为软件单元符合软件详细设计和非功能软件需求提供证据。
过程结果:为了成功地执行了这一过程:
1)开发了包含回归策略的软件单元验证策略,以验证软件单元;
2)软件单元验证准则是根据软件单元验证策略制定的,该策略适合于为软件单元符合软件详细设计和非功能软件需求提供证据;
3)根据软件单元验证策略对软件单元进行验证,并记录所定义的软件单元验证准则和结果;
4)在软件单元、验证标准和验证结果之间建立一致性和双向可追溯性;及
5)对单元验证的结果进行汇总,并将其传达给所有受影响的各方。
最佳实践:swe.4.bp1:开发软件单元验证策略,包括回归策略。制定软件单元的验证策略,包括回归策略,以便在软件单元发生变更时进行重新验证。验证策略应定义如何为软件单元符合软件详细设计和非功能需求提供证据。[outcome1]
注1:可能的单元验证技术包括静态/动态分析、代码评审、单元测试等。
swe.4.bp2:开发单元验证的标准。根据验证策略,为单元验证开发合适的标准,为软件单元的合规性提供证据,以及它们在组件内的交互,以及软件详细设计和非功能需求。对于单元测试,应在单元测试规范中定义标准。[outcome2]
注2:单元验证的可能标准包括单元测试用例、单元测试数据、静态验证、覆盖率目标和编码标准,如misra规则。
注3:单元测试规范可以作为自动化测试平台中的脚本来实现。
swe.4.bp3:对软件单元进行静态验证。使用已定义的验证标准来验证软件单元的正确性。记录静态验证的结果。[outcome3]
注4:静态验证可能包括静态分析、代码评审、对编码标准和指南的检查,以及其他技术。
注5:不合格的处理见sup9。
swe.4.bp4:测试软件单元。根据软件单元验证策略,使用单元测试规范测试软件单元。记录测试结果和日志。[outcome3]
注6:不合格的处理见sup9。
swe.4.bp5:建立双向可追溯性。在软件单元和静态验证结果之间建立双向可跟踪性。在软件详细设计和单元测试规范之间建立双向可追溯性。在单元测试规格和单元测试结果之间建立双向可追溯性。[outcome4]
注7:双向可追溯性支持覆盖、一致性和影响分析。
swe.4.bp6:确保一致性。确保软件详细设计和单元测试规范之间的一致性。[outcome4]
注8:一致性由双向可追溯性支持,并可通过评审记录证明。
swe.4.bp7:总结和沟通结果。总结单元测试结果和静态验证结果,并与所有受影响的方面进行交流。[outcome5]
注释9:在摘要中提供来自测试用例执行的所有必要信息,使其他各方能够判断结果。
输出工作产品:08-50测试规范[outcome2]
08-52测试计划[outcome1]
13-04沟通记录[outcome5]
13 - 19评审记录[outcome3、4]
13-22可追溯性记录[outcome4]
13-25验证结果[outcome3、5]
13-50测试结果[outcome3、5]
15-01分析报告[outcome3]
原文标题:swe.4 软件单元验证
文章出处:【微信公众号:汽车电子硬件设计】欢迎添加关注!文章转载请注明出处。
荣耀V40值得买吗?拆解评测荣耀V40参数配置
功率分配器的原理
索尼新传感器支持HDR功能 使自动驾驶汽车“看”得更清
微软狠心:关闭WP8.1手机升级Win10官方渠道,Lumia930等产品无缘新Win10
新型蓝牙传感器,能让你及时知道宝宝尿布干湿情况的传感器
SWE.4的软件单元验证实践
Mini LED可能来的更快!是脆弱的泡沫还是真有实力?
NVIDIA DRIVE AP2X可实现安全且舒适的驾驶体验
分享一下Oracle数据库中的Number(p,s)数据类型
上海贝岭助力三峡700MW巨型水轮机成功投运
业界首创!5G-A算网一体游牧式基站赋能体育赛事
半导体封装及测试厂商蓝箭电子正式登陆创业板
承德科胜颗粒全自动包装机|胡辣汤料包装机|河北包装机
常用的非比较排序算法:计数排序,基数排序,桶排序的详细资料概述
武汉芯源半导体CW32F030系列MCU在电焊机的应用
ARM ATF入门-安全固件软件介绍和代码运行
德国汽车制造商戴姆勒和宝马正式宣布,双方将深化此前的合作
中国将稳居世界第二大半导体设备市场
应该如何学习C语言?给学习C语言的同学几点建议
荣耀v9评测:荣耀v9和华为P10谁更性价比?荣耀v9和华为P10评测对比