SWE.4的软件单元验证实践

过程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 软件单元验证

文章出处：【微信公众号：汽车电子硬件设计】欢迎添加关注！文章转载请注明出处。

责任编辑：haq