车载基础软件——基础软件验证平台

我是穿拖鞋的汉子，魔都中坚持长期主义的工程师。
老规矩，分享一段喜欢的文字，避免自己成为高知识低文化的工程师：
“
大学之道，在明明德，在亲民，在止于至善。知止而后有定，定而后能静，静而后能安，安而后能虑，虑而后能得。物有本末，事有终始，知所先后，则近道矣。古之欲明明德于天下者，先治其国；欲治其国者，先齐其家；欲齐其家者，先修其身；欲修其身者，先正其心；欲正其心者，先诚其意；欲诚其意者，先致其知；致知在格物，物格而后知至，知至而后意诚，意诚而后心正，心正而后身修，身修而后家齐，家齐而后国治，国治而后天下平。
”
古文今日读起，还是非常有收益！

本文主要介绍国产基础软件中基础软件验证平台技术分析。
文章主要有如下几个内容：
-> 1、验证平台概要
-> 2、验证平台典型案例
一、验证平台概要
汽车电子的高速发展决定了基础软件所面临的要求将会更加严格，其要求会覆盖软件的安全性、稳定性、可扩展性等方方面面。为了提高软件质量，降低软件应用风险，构建高安全、高可靠性、高效率实施的基础软件验证平台则是必不可少的一环。
当前，汽车电子厂商大多采用 V 模式进行新产品开发，相应的，基础软件验证也可以参照 V 模型流程，持续进行不同层面的验证：

充分的测试验证需实现需求阶段至系统阶段的全覆盖。
在需求分析阶段，要考虑系统验证的计划，包括确保每一个需求点都是可验证的，并设计相应的初步系统验证用例；
在概要设计阶段，要考虑部件验证计划，设计相应用例，验证高级模块的功能以及模块之间的接口关系；
在详细设计阶段，要考虑单元验证计划，编制单元验证用例。
进行基础软件验证时需按照顺序开展代码静态验证、单元验证、部件验证（包括软软集成、软硬集成）、系统验证等测试执行工作。
其验证类型可分为白盒测试、黑盒测试两类。白盒测试包含代码静态验证、单元验证，重点侧重于代码逻辑、接口实现等内容。黑盒测试包含部件验证、系统验证，重点侧重于硬件功能实现、人机交互实现及通信功能实现等内容。例如，后文提及的时间特性分析验证平台属于单元验证的内容，通信相关技术验证平台属于部件验证内容。

特别是在进行软件平台开发过程中，需要对各个软件模块进行查缺补漏的开发，在进行敏捷开发的过程中，会使用到极多的测试理论。
总体而言，每部分的软件验证包括五个基本过程：测试需求分析、测试策划、设计与实现、测试执行、测试总结 。
同时，为了提高效率，节约人力和成本，可用适宜的自动化测试工具以及相应的管理措施与管理工具，以保障需求得到充分的验证。
此外，基础软件验证平台还应该通过静态分析、仿真、在环测试等手段验证设计和实现的有效性。其中，仿真验证平台因为有利于前期验证及特殊测试用例注入，可以节省测试环境成本及缩短开发周期。而且由于基于分布式开发需求，验证平台目前正往云端迁移。

随着汽车智能网联化、新型电子电气架构的发展，作为车辆神经系统的汽车通信技术也面临着越来越多的新需求。基础软件所具备软硬件分离、软件接口的互换及重复使用特性等特点可以更好地实现车载网络现阶段发展中所遇到的总线类型多元化、协议应用多元化等需求。为保证基础软件在车载通信上的应用，其验证相关技术是必不可少的环节。结合基础软件 COM、CANNm、CANTp 等基础模块单元，通信相关验证平台需包括通信验证、网络管理验证、诊断服务验证、时间同步验证等方面。
对于每一个模块，多需要有系统工程师基于规范、客户需求审理出系统需求，做出系统需求概要，输出文档。开发工程师基于需求实现功能，并在期间做单元测试（功能测试等），完成功能后，需要测试团队基于需求规范，编写测试用例。

在现如今的知识体系中，都会提到敏捷开发概念，这个时候是对需求做快速的反应。单项测试通过后，后续会有集成测试、压力测试等，整个体系全部完成后，才会有版本发布Release。

搁笔分享完毕！
愿你我相信时间的力量
做一个长期主义者