云纳星辰怀自在

软件验证计划，包括：1. 软件需求验证计划2. 软件架构设计验证计划3. 软件单元设计验证计划4. 软件单元验证计划

枚举类型+联合体，对齐在各种场景的应用

汽车行业由于有方法论和各种标准约束，对软件开发有严苛的要求。ASPICE指导如何审核软件开发，虽然没有明确定义如何去开发，但是ASPICE的Guideline和Essential文件中给出很多参考。本文则详细阐述如何编写软件需求，同时介绍软件需求的必要属性。本文用SRS(Software Requirement Specification)代替软件需求设计规格书。软件需求描述软件的期望行为。

本文重点介绍开展软件需求分析的方法。

只有当其中所述的每个需求只有一种解释时，需求才是明确的。如果SRS中的每个需求都有一个标识符，表明该特定需求的重要性或稳定性，则SRS根据重要性和/或稳定性进行排名。有些需求可能是必要的，特别是对于救生应用程序，而其他需求可能是可取的。例如，程序对用户输入的请求在一个需求中可能被称为“提示”，而在另一个需求中可能被称为“暗示”。与任何适用的上层规范（例如系统需求规范）、其他项目文档和其他适用的标准进行比较，以确保它们是一致的。中规定的每个需求都是软件应满足的需求时，它才是正确的。要求表述简单，易于理解。

软件需求工程师用来指示额外信息，仅作参考，譬如：BMS的SOC算法公式，很难在软件测试验证，在编写需求时可以将此作为额外信息输入给软件工程师，设为Information的item无需被软件测试验证。对非功能性需求，或者为了理解单个需求或一系列需求的测试的前提条件，验证准则是极其必须的。软件需求工程师用来结构化软件需求规格书SRS，即将SRS按照功能进行分类，并针对功能设置标题，譬如：主动泄放、上下电管理、离合器控制等。验证准则描述了一条需求在达成一致的约束范围内被验证，并且是测试用例的输入。

汽车行业由于有方法论和各种标准约束，对于软件开发有严苛的要求。ASPICE作为指导软件开发过程审核的方法论，虽然没有明确定义如何去开发，但是ASPICE的Guideline和Essential文件中给出很多参考。本文详细描述软件需求的必要属性及如何编辑软件需求。物有本末，事有终始。知所先后，则近道矣。对于任何软件开发而言，软件需求乃重中之重。可以没有软件架构设计，没有软件详设，没有单元测试，没有软件集成测试，但不能没有软件需求。