动态单元测试的详细设计文档

汽车电子与软件 2021-10-19 07:30

随着汽车日益互联化、智能化和电动化,硬件组件的抽象化,软件功能变得愈发复杂——汽车正在从基于硬件的创新转向基于软件的创新,并且软件安全和质量越来越受到制造商和消费者的关注,而传统的工具和流程可能无法满足汽车发展与应用的实际需求。为了解决这些安全和质量方面的问题,汽车工业已经采用了ASPICE标准和ISO 26262标准,它们为电气和电子系统的开发提供了最佳的实践







单元测试是软件测试阶段最基本的测试,它能够消除深度未知隐患。它反馈更快,更省时间。此外,ASPICE过程及ISO26262安全规范同样对单元测试提出了相关要求。

软件详细设计文档为单元测试提供了基础的输入参照。从ASPICE角度来说,没有详细设计文档是无法进行单元验证或测试的。这表明,详细设计文档指导着单元测试过程的所有活动。同时,使用像VectorCAST/C++这样的专业工具,高效进行功能测试的同时,保证了代码的覆盖度,符合ASPICE和ISO26262行业规范要求,并为产品的第三方认证提供便捷有力的支持。


WHY:(软件详细设计文档与单元测试的基本关系)



从V模型角度




图 1  ISO 26262里面的V模型

V模型是在快速应用开发(Rapid Application Development,RAD)模型基础上演变而来,其特点就是它清楚的标识了开发和测试的各个阶段以及他们之间的对应关系;左边部分是软件开发阶段,右边部分是软件测试阶段。从上图中我们可以看出,软件详细设计文档对应着软件单元测试,所以要想做好单元测试,就必须有软件详细设计文档作为输入,同时要求测试工程师对软件详细设计文档有着深刻的理解。

软件详细设计文档应在编写代码之前完成,软件代码是对软件详细设计文档的具体实现,软件单元测试则是以软件详细设计为参照,判断软件代码是否符合软件详细设计文档的工作。



软件详细设计文档是测试输入的基础参照之一




 
图 2  软件详细设计文档是测试输入的基础参照之一

VectorCAST/C++可以为单元测试和集成测试提供高度自动化的解决方案,能够显著提升开发人员在验证安全和任务关键型嵌入式系统方面的工作效率。广泛应用于航空电子、医疗设备、汽车、工业控制、铁路和金融行业。

如上图所示,将详细设计文档和单元需求文档结合起来,会大大的提高编写测试用例效率。特别是对于那些颗粒度较大的“单元需求文档”,需要结合软件详细设计文档,从颗粒度较大的需求提取出有效的部分来进行功能测试。

软件详细设计文档与单元需求文档相辅相成,所以软件详细设计文档在单元测试中有着十分重要的作用。

然后,通过相应的源代码使用VectorCAST/C++工具创建测试工程,接着通过VectorCAST/C++工具为需求测试自定义编写测试用例,同时将需求映射到测试用例,形成测试用例与单元测试需求、测试用例与代码覆盖度之间的双向可追溯性,并且可以在最后的测试报告中体现出来。


快速理解功能需求,降低沟通成本




如果负责该项测试的人员对项目内容了解很有限的话,这就免不了与开发人员进行频繁的沟通。即使是一个公司内部进行测试,只要不是开发人员来进行测试,一般也避免不了与开发人员进行沟通,但是如果有了软件详细设计文档,测试人员可以快速了解开发内容,理解功能需求,降低与开发人员沟通时间与次数,而且能够较完整的完成其单元测试。
 
图 3  有无软件详细设计文档对测试周期和沟通次数的影响示意图


WHAT:(什么是软件详细设计文档)



01
 详细设计基本概念

详细设计是为了确立每个模块的实现算法、数据结构以及接口定义,用适当的方法表示算法和数据结构的细节。

它通过一些设计描述工具,无歧义的描述过程单位的相关细节。详细设计产生的主要文件就是软件详细设计文档。

此外,软件详细设计文档一般来源于软件架构设计的进一步分析。在软件架构设计活动中,设计了软件组件和组件间接口。

软件详细设计则是对软件组件的进一步分解和设计,一般包含三个方面:软件单元,软件单元的内部逻辑和软件单元间的交互逻辑。

图 4  软件详细文设计文档包含的内容
02
详细设计文档基本内容

由于自然语言不具有单义性,所以要进行无歧义的描述软件过程单元细节,就必须使用一些特定的设计描述方法。详细设计采用的方法一般有程序流程图、HIPO(Hierarchy plus Input Process Output)图、N-S图等,还有其他描述说明形式(如图5)。使用这些方法就是来规范和辅助说明算法、数据结构和接口相关细节的。

这些细节涵盖了数据结构定义,全局变量和宏定义描述,动态行为描述(比如任务,中断和需求方案分析等),每个函数的设计(比如输入、输出、流程图、伪代码等)等。

图 5  软件详细设计文档包含了GetStopSigLevel函数的定义


HOW:(软件详细设计文档在VectorCAST/C++工具中的应用)



为测试用例的数据提供依据




图 6  单元需求文档csv文件

  • Key:FR6  

  • ID:FR6

  • Module:requirement  3

  • Title Description:"The signal light_intensity shall be an input to lights control. Its value shall range from 0 to 100."



图 7  需求文档csv文件中的某条需求

如上图标黄区域,说明了“light_intensity”变量变化范围是0~100。所以根据这条详细设计文档说明,就可以正确编写测试用例,并保证了测试用例数据是有实际意义的,避免像“light_intensity=120”等这样无意义的赋值。
 
图 8  具有意义的测试用例并通过

 
图 9  无意义的测试用例并失败



VectorCAST/C++工具RGW功能




图 10  通过工具实现软件单元需求与测试用例关联

VectorCAST/C++提供一个RGW(Requirements Gateway)功能。VectorCAST/C++支持与一些需求管理系统Polarion、DOORS、RequisitePro等进行集成,同时支持需求管理系统导出的CSV等格式文件。

对于经过软件详细设计文档印证的需求文档,我们可以按照这些结构文件编写,使需求文档契合VectorCAST/C++工具,使用该功能。可以实现软件单元需求、测试用例和代码覆盖率之间的可追溯性,并允许将单元需求导入,映射到测试用例。

这样可以帮助测试人员,当需求发生更新或迭代时,能够快速更新测试用例或编写测试用例,提高工作效率。

所以软件详细设计文档,在很大程度上为项目团队提升了测试效率、提升工作的自动化率。



批量生成测试用例




对于那些详细设计文档里的某些函数,若具有一般数学表达式的功能的函数且我们可以事先确定好它的输入与输出的,可以通过VectorCAST/C++工具提供的CSV Mapping功能来批量构建测试用例。
 
图 11  包含测试所需数据的CSV文件

首先我们根据函数关系确定好一系列的输入值和期望值形成CSV文件,然后将CSV文件加载到工具中,接着确定好数据列与测试用例模板里变量的对应关系,最后选择创建测试用例。

通过上面操作我们就会快速生成一系列的测试用例。
 
图 12  对应测试用例模板变量与CSV文件列的关系并生成测试用例


总结


众所周知,进行单元测试不仅可以尽早地发现错误,还容易发现深层次问题,并能快速定位问题的来源,针对相关需求,向开发人员进行反馈,小步快速迭代,高效的实现正确的需求和代码。而详细设计文档不仅为开发提供了标准,也为后续的测试提供了参考。通过VectorCAST/C++联系实际问题,能快速的完成动态单元测试。

VectorCAST/C++作为Vector公司的代码动态测试工具,既可以用于手写代码,也可以用于自动生成代码的测试,如模型转代码的测试。

本次为大家简单介绍了软件详细设计文档在单元测试过程的一些简单应用。后续将会为大家带来更多基于VectorCAST/C++的动态测试相关内容。同时也欢迎垂询和沟通,共同探讨。


注:文中图片来源于ISO 26262、VectorCAST/C++( Vector )。

参考文献:
[1] VectorCAST/C++相关文档
[2] 仨人谈起·基于模型开发(MBD)场合,模型设计可以等同于软件详细设计吗?


微信ID:Polelink_Info

    北汇信息|专注电控、新能源、MES技术
                                                                                   
我知道你在看

汽车电子与软件 主要介绍汽车电子软件设计相关内容,每天分享一篇技术文章!
评论
  •  万万没想到!科幻电影中的人形机器人,正在一步步走进我们人类的日常生活中来了。1月17日,乐聚将第100台全尺寸人形机器人交付北汽越野车,再次吹响了人形机器人疯狂进厂打工的号角。无独有尔,银河通用机器人作为一家成立不到两年时间的创业公司,在短短一年多时间内推出革命性的第一代产品Galbot G1,这是一款轮式、双臂、身体可折叠的人形机器人,得到了美团战投、经纬创投、IDG资本等众多投资方的认可。作为一家成立仅仅只有两年多时间的企业,智元机器人也把机器人从梦想带进了现实。2024年8月1
    刘旷 2025-01-21 11:15 658浏览
  • 高速先生成员--黄刚这不马上就要过年了嘛,高速先生就不打算给大家上难度了,整一篇简单但很实用的文章给大伙瞧瞧好了。相信这个标题一出来,尤其对于PCB设计工程师来说,心就立马凉了半截。他们辛辛苦苦进行PCB的过孔设计,高速先生居然说设计多大的过孔他们不关心!另外估计这时候就跳出很多“挑刺”的粉丝了哈,因为翻看很多以往的文章,高速先生都表达了过孔孔径对高速性能的影响是很大的哦!咋滴,今天居然说孔径不关心了?别,别急哈,听高速先生在这篇文章中娓娓道来。首先还是要对各位设计工程师的设计表示肯定,毕竟像我
    一博科技 2025-01-21 16:17 158浏览
  • 数字隔离芯片是一种实现电气隔离功能的集成电路,在工业自动化、汽车电子、光伏储能与电力通信等领域的电气系统中发挥着至关重要的作用。其不仅可令高、低压系统之间相互独立,提高低压系统的抗干扰能力,同时还可确保高、低压系统之间的安全交互,使系统稳定工作,并避免操作者遭受来自高压系统的电击伤害。典型数字隔离芯片的简化原理图值得一提的是,数字隔离芯片历经多年发展,其应用范围已十分广泛,凡涉及到在高、低压系统之间进行信号传输的场景中基本都需要应用到此种芯片。那么,电气工程师在进行电路设计时到底该如何评估选择一
    华普微HOPERF 2025-01-20 16:50 122浏览
  • 2024年是很平淡的一年,能保住饭碗就是万幸了,公司业绩不好,跳槽又不敢跳,还有一个原因就是老板对我们这些员工还是很好的,碍于人情也不能在公司困难时去雪上加霜。在工作其间遇到的大问题没有,小问题还是有不少,这里就举一两个来说一下。第一个就是,先看下下面的这个封装,你能猜出它的引脚间距是多少吗?这种排线座比较常规的是0.6mm间距(即排线是0.3mm间距)的,而这个规格也是我们用得最多的,所以我们按惯性思维来看的话,就会认为这个座子就是0.6mm间距的,这样往往就不会去细看规格书了,所以这次的运气
    wuliangu 2025-01-21 00:15 320浏览
  • 故障现象 一辆2007款日产天籁车,搭载VQ23发动机(气缸编号如图1所示,点火顺序为1-2-3-4-5-6),累计行驶里程约为21万km。车主反映,该车起步加速时偶尔抖动,且行驶中加速无力。 图1 VQ23发动机的气缸编号 故障诊断接车后试车,发动机怠速运转平稳,但只要换挡起步,稍微踩下一点加速踏板,就能感觉到车身明显抖动。用故障检测仪检测,发动机控制模块(ECM)无故障代码存储,且无失火数据流。用虹科Pico汽车示波器测量气缸1点火信号(COP点火信号)和曲轴位置传感器信
    虹科Pico汽车示波器 2025-01-23 10:46 72浏览
  • 临近春节,各方社交及应酬也变得多起来了,甚至一月份就排满了各式约见。有的是关系好的专业朋友的周末“恳谈会”,基本是关于2025年经济预判的话题,以及如何稳定工作等话题;但更多的预约是来自几个客户老板及副总裁们的见面,他们为今年的经济预判与企业发展焦虑而来。在聊天过程中,我发现今年的聊天有个很有意思的“点”,挺多人尤其关心我到底是怎么成长成现在的多领域风格的,还能掌握一些经济趋势的分析能力,到底学过哪些专业、在企业管过哪些具体事情?单单就这个一个月内,我就重复了数次“为什么”,再辅以我上次写的:《
    牛言喵语 2025-01-22 17:10 175浏览
  • 现在为止,我们已经完成了Purple Pi OH主板的串口调试和部分配件的连接,接下来,让我们趁热打铁,完成剩余配件的连接!注:配件连接前请断开主板所有供电,避免敏感电路损坏!1.1 耳机接口主板有一路OTMP 标准四节耳机座J6,具备进行音频输出及录音功能,接入耳机后声音将优先从耳机输出,如下图所示:1.21.2 相机接口MIPI CSI 接口如上图所示,支持OV5648 和OV8858 摄像头模组。接入摄像头模组后,使用系统相机软件打开相机拍照和录像,如下图所示:1.3 以太网接口主板有一路
    Industio_触觉智能 2025-01-20 11:04 194浏览
  • Ubuntu20.04默认情况下为root账号自动登录,本文介绍如何取消root账号自动登录,改为通过输入账号密码登录,使用触觉智能EVB3568鸿蒙开发板演示,搭载瑞芯微RK3568,四核A55处理器,主频2.0Ghz,1T算力NPU;支持OpenHarmony5.0及Linux、Android等操作系统,接口丰富,开发评估快人一步!添加新账号1、使用adduser命令来添加新用户,用户名以industio为例,系统会提示设置密码以及其他信息,您可以根据需要填写或跳过,命令如下:root@id
    Industio_触觉智能 2025-01-17 14:14 145浏览
  • 本文介绍瑞芯微开发板/主板Android配置APK默认开启性能模式方法,开启性能模式后,APK的CPU使用优先级会有所提高。触觉智能RK3562开发板演示,搭载4核A53处理器,主频高达2.0GHz;内置独立1Tops算力NPU,可应用于物联网网关、平板电脑、智能家居、教育电子、工业显示与控制等行业。源码修改修改源码根目录下文件device/rockchip/rk3562/package_performance.xml并添加以下内容,注意"+"号为添加内容,"com.tencent.mm"为AP
    Industio_触觉智能 2025-01-17 14:09 203浏览
  •     IPC-2581是基于ODB++标准、结合PCB行业特点而指定的PCB加工文件规范。    IPC-2581旨在替代CAM350格式,成为PCB加工行业的新的工业规范。    有一些免费软件,可以查看(不可修改)IPC-2581数据文件。这些软件典型用途是工艺校核。    1. Vu2581        出品:Downstream     
    电子知识打边炉 2025-01-22 11:12 134浏览
  • 嘿,咱来聊聊RISC-V MCU技术哈。 这RISC-V MCU技术呢,简单来说就是基于一个叫RISC-V的指令集架构做出的微控制器技术。RISC-V这个啊,2010年的时候,是加州大学伯克利分校的研究团队弄出来的,目的就是想搞个新的、开放的指令集架构,能跟上现代计算的需要。到了2015年,专门成立了个RISC-V基金会,让这个架构更标准,也更好地推广开了。这几年啊,这个RISC-V的生态系统发展得可快了,好多公司和机构都加入了RISC-V International,还推出了不少RISC-V
    丙丁先生 2025-01-21 12:10 592浏览
我要评论
0
点击右上角,分享到朋友圈 我知道啦
请使用浏览器分享功能 我知道啦