文章目录前言一、引言二、单元验证过程的目的三、单元验证过程的成果四、单元验证过程的实践五、输入输出六、参考资料前言Automotive‑SPICE 是嵌入式汽车系统过程评估模型 (PAM) 过程参考模型 (PRM)通过该模型把控追溯整个开发流程。本文介绍软件单元过程域的内容。一、引言软件单元验证属于主生命周期过程中的软件工程组的过程域位于软件V模型右侧与软件详细设计与单元构造相对应。二、单元验证过程的目的看标准里的解释软件单元验证的目的是验证软件单元与软件详细设计是否一致。所以单元验证是为了测试软件详设里的设计的单元而详设是设计单个组件的行为所以单元验证就是保证设计的软件组件是符合预期的。三、单元验证过程的成果看标准里的说明成功实施这个过程的结果如下1、规定软件单元验证的验证措施单元验证是一种软件测试行为所以需要有针对软件单元有一个测试计划测试计划里需要体现包括回归策略在内的验证策略明确每种验证措施的适用场景、准入 / 准出准则、环境要求等。2、根据发布范围选择软件单元验证措施包括回归验证标准在软件单元构建完后需要根据软件组件的完成程度选择相应的验证措施比如组件是否为全新开发还是局部修改那么可以选择完整的单元测试或变更项测试。3、使用选定的验证措施对软件单元进行验证并记录结果编制测试计划后需要编写测试用例测试用例执行完后需要有测试结果并总结测试报告。4、在验证措施和软件单元之间建立一致性和双向可追溯性在验证结果和验证措施之间建立双向可追溯性ASPICE是一个过程评估模型最重要的是能体现过程的追溯性和一致性所以单元验证过程的每条测试用例需要能追溯到软件详设里设计的每个单元并且两者在内容、语义上互相匹配、没有冲突、没有矛盾。5、对软件单元验证的结果进行总结并传达给所有相关方测试结果出来后需要通知项目组成员如软件组测试组等。四、单元验证过程的实践单元验证里的基础实践有以下内容1、SWE.4.BP1指定软件单元验证措施。为软件详细设计中定义的每个软件单元指定验证措施包括验证措施的通过/失败标准、验证措施的进入和退出标准以及所需的验证措施此处需要有个单元验证计划在编写完单元验证计划后需要评审软件单元验证计划如果评审通过则要有评审报告并且被配置管理员纳入受控清单计划里需要制定如1、单元验证方法如静态扫描可用QAC、Polyspace等执行软件的MISRC C和HIS度量检测、动态测试可用VCAST、Polyspace等执行单元的动态测试、走查、基于需求测试功能测试、接口测试等如果有网络安全需求可以选择执行模糊测试、漏洞扫描、渗透测试等。2、单元测试用例设计方法如基于需求分析、等价类划分、边界值分析、错误猜想等。3、准入准出准则如准入有静态分析代码验证动态验证准出有静态分析报告符合软件质量规范、动态验证里单元覆盖率通过百分百等。2、SWE.4.BP2选择软件单元验证措施。记录验证措施的选择考虑选择标准包括回归验证标准。记录的验证措施选择应根据发布范围具有足够的覆盖范围此处需要有个单元验证计划在编写完单元验证计划后需要评审软件单元验证计划如果评审通过则要有评审报告并且被配置管理员纳入受控清单计划里需要制定如1、单元验证策略针对不同的代码分支如Master分支、Hotfix分支等选择不同的验证方法如静态扫描、Review、单元测试等。2、单元验证对象针对单元和代码的类型如全新开发、部分变更、是否沿用等选择全量测试、部分测试或不测试等。3、回归测试策略需要有触发回归测试的条件回归测试的目的回归测试的流程等。3、SWE.4.BP3验证软件单元。使用选定的验证措施执行软件单元验证。记录验证结果包括通过/未通过状态和相应的验证措施数据此处开始执行单元验证首先需要执行静态测试然后针对软件详设里的单元设计编写测试用例测试用例评审后需要有评审报告并且被配置管理员受控然后进行动态测试单元和单元间的集成测试单元和单元间的接口测试需要输出静态测试报告、测试用例、动态测试报告、代码评审记录、缺陷记录等静态测试报告需要经过评审如果有偏差项需要分析偏差。如果有缺陷需要记录项目管理系统如Polarion、JIRA等然后按照SUP.9问题解决管理执行相应的流程。4、SWE.4.BP4确保一致性并建立双向可追溯性。确保验证措施与详细设计中定义的软件单元之间的一致性并建立双向可追溯性。在验证结果与验证措施之间建立双向可追溯性。此处需要保证软件详设里的单元设计和设计的测试用例能建立起双向追溯关系和一致性测试用例也需要和测试结果有双向追溯关系和一致性。5、SWE.4.BP5总结和沟通结果。总结软件单元验证的结果并将其传达给所有相关方。该项需要汇总所有的单元验证数据总结相应软件组件的软件单元验证总结报告并同步至项目组可通过邮件形式通知进入配置库管理。五、输入输出软件单元验证过程域的输入项可参考为软件详细设计书、质量保证计划、软件组件复用分析报告、验证活动指派给软件单元验证的相关需求。输出项可参考为软件单元验证计划、软件单元验证计划评审报告、软件单元动态测试用例和结果、软件单元动态测试用例评审报告、静态分析报告、静态分析偏差报告、代码评审报告、软件单元动态测试报告、软件单元验证总结报告。六、参考资料Automotive_SPICE_PAM4.0 【ASPICE】SWE.4 软件单元验证
文章目录前言一、引言二、单元验证过程的目的三、单元验证过程的成果四、单元验证过程的实践五、输入输出六、参考资料前言Automotive‑SPICE 是嵌入式汽车系统过程评估模型 (PAM) 过程参考模型 (PRM)通过该模型把控追溯整个开发流程。本文介绍软件单元过程域的内容。一、引言软件单元验证属于主生命周期过程中的软件工程组的过程域位于软件V模型右侧与软件详细设计与单元构造相对应。二、单元验证过程的目的看标准里的解释软件单元验证的目的是验证软件单元与软件详细设计是否一致。所以单元验证是为了测试软件详设里的设计的单元而详设是设计单个组件的行为所以单元验证就是保证设计的软件组件是符合预期的。三、单元验证过程的成果看标准里的说明成功实施这个过程的结果如下1、规定软件单元验证的验证措施单元验证是一种软件测试行为所以需要有针对软件单元有一个测试计划测试计划里需要体现包括回归策略在内的验证策略明确每种验证措施的适用场景、准入 / 准出准则、环境要求等。2、根据发布范围选择软件单元验证措施包括回归验证标准在软件单元构建完后需要根据软件组件的完成程度选择相应的验证措施比如组件是否为全新开发还是局部修改那么可以选择完整的单元测试或变更项测试。3、使用选定的验证措施对软件单元进行验证并记录结果编制测试计划后需要编写测试用例测试用例执行完后需要有测试结果并总结测试报告。4、在验证措施和软件单元之间建立一致性和双向可追溯性在验证结果和验证措施之间建立双向可追溯性ASPICE是一个过程评估模型最重要的是能体现过程的追溯性和一致性所以单元验证过程的每条测试用例需要能追溯到软件详设里设计的每个单元并且两者在内容、语义上互相匹配、没有冲突、没有矛盾。5、对软件单元验证的结果进行总结并传达给所有相关方测试结果出来后需要通知项目组成员如软件组测试组等。四、单元验证过程的实践单元验证里的基础实践有以下内容1、SWE.4.BP1指定软件单元验证措施。为软件详细设计中定义的每个软件单元指定验证措施包括验证措施的通过/失败标准、验证措施的进入和退出标准以及所需的验证措施此处需要有个单元验证计划在编写完单元验证计划后需要评审软件单元验证计划如果评审通过则要有评审报告并且被配置管理员纳入受控清单计划里需要制定如1、单元验证方法如静态扫描可用QAC、Polyspace等执行软件的MISRC C和HIS度量检测、动态测试可用VCAST、Polyspace等执行单元的动态测试、走查、基于需求测试功能测试、接口测试等如果有网络安全需求可以选择执行模糊测试、漏洞扫描、渗透测试等。2、单元测试用例设计方法如基于需求分析、等价类划分、边界值分析、错误猜想等。3、准入准出准则如准入有静态分析代码验证动态验证准出有静态分析报告符合软件质量规范、动态验证里单元覆盖率通过百分百等。2、SWE.4.BP2选择软件单元验证措施。记录验证措施的选择考虑选择标准包括回归验证标准。记录的验证措施选择应根据发布范围具有足够的覆盖范围此处需要有个单元验证计划在编写完单元验证计划后需要评审软件单元验证计划如果评审通过则要有评审报告并且被配置管理员纳入受控清单计划里需要制定如1、单元验证策略针对不同的代码分支如Master分支、Hotfix分支等选择不同的验证方法如静态扫描、Review、单元测试等。2、单元验证对象针对单元和代码的类型如全新开发、部分变更、是否沿用等选择全量测试、部分测试或不测试等。3、回归测试策略需要有触发回归测试的条件回归测试的目的回归测试的流程等。3、SWE.4.BP3验证软件单元。使用选定的验证措施执行软件单元验证。记录验证结果包括通过/未通过状态和相应的验证措施数据此处开始执行单元验证首先需要执行静态测试然后针对软件详设里的单元设计编写测试用例测试用例评审后需要有评审报告并且被配置管理员受控然后进行动态测试单元和单元间的集成测试单元和单元间的接口测试需要输出静态测试报告、测试用例、动态测试报告、代码评审记录、缺陷记录等静态测试报告需要经过评审如果有偏差项需要分析偏差。如果有缺陷需要记录项目管理系统如Polarion、JIRA等然后按照SUP.9问题解决管理执行相应的流程。4、SWE.4.BP4确保一致性并建立双向可追溯性。确保验证措施与详细设计中定义的软件单元之间的一致性并建立双向可追溯性。在验证结果与验证措施之间建立双向可追溯性。此处需要保证软件详设里的单元设计和设计的测试用例能建立起双向追溯关系和一致性测试用例也需要和测试结果有双向追溯关系和一致性。5、SWE.4.BP5总结和沟通结果。总结软件单元验证的结果并将其传达给所有相关方。该项需要汇总所有的单元验证数据总结相应软件组件的软件单元验证总结报告并同步至项目组可通过邮件形式通知进入配置库管理。五、输入输出软件单元验证过程域的输入项可参考为软件详细设计书、质量保证计划、软件组件复用分析报告、验证活动指派给软件单元验证的相关需求。输出项可参考为软件单元验证计划、软件单元验证计划评审报告、软件单元动态测试用例和结果、软件单元动态测试用例评审报告、静态分析报告、静态分析偏差报告、代码评审报告、软件单元动态测试报告、软件单元验证总结报告。六、参考资料Automotive_SPICE_PAM4.0