一种覆盖率驱动的嵌入式软件闭环测试平台和方法

    公开(公告)号:CN115168229A

    公开(公告)日:2022-10-11

    申请号:CN202210890317.1

    申请日:2022-07-27

    Abstract: 本发明涉及一种覆盖率驱动的嵌入式软件闭环测试平台和方法,属于嵌入式软件开环测试技术领域。本发明利用测试过程中统计嵌入式软件的代码覆盖率指标作为反馈信息,通过比较反馈的覆盖率和目标覆盖率的差异,驱动激励产生器改变嵌入式软件的输入,从而提高嵌入式软件功能测试的覆盖性和充分性,解决传统嵌入式软件开环测试时测试覆盖率有限,测试完备性不易评估,功能测试不充分等问题;利用桩模块记录测试过程中的关键中间变量,解决测试可观测性不足问题;利用测试输入记录技术解决测试输入自动复现问题,提高测试的可重用性。

    一种集成水平路面区域语义信息的车载行人检测方法

    公开(公告)号:CN113610038A

    公开(公告)日:2021-11-05

    申请号:CN202110943722.0

    申请日:2021-08-17

    Abstract: 本发明涉及一种集成水平路面区域语义信息的车载行人检测方法,属于辅助驾驶领域。本发明首先,在现有卷积神经网络物体检测框架下,增加一个水平路面区域估计GAP分支,该分支基于共享卷积特征通过轻量的网络模块实现快速准确的路面水平中心区域估计;其次,基于模版卷积方法,区域推荐网络GRPN在水平路面区域内进行候选区域推荐;最后,基于路面水平中心位区域设计稀疏锚点分布,排除非必需的检测区域,减少虚警的同时提高检测效率。与先进的行人检测算法对比,本文提出的方法在漏检率和虚警数量上都具有显著的下降,尤其对于中远距离行人的检测任务上具有显著提升。

    一种基于层次分析法的工业软件质量度量方法

    公开(公告)号:CN114995864A

    公开(公告)日:2022-09-02

    申请号:CN202210439837.0

    申请日:2022-04-25

    Abstract: 本发明涉及一种基于层次分析法的工业软件质量度量方法,属于软件评价领域。本发明构建质量度量模型,并将所有度量指标划分为4层结构,即软件总体质量、质量特性、质量子特性和质量度量元,对度量数据进行归一化,层次内两两度量指标间比较,构造判断矩阵,计算满足一致性校验的权重,根据各质量度量元的测量值与对应的权重逐层计算得到待测软件产品的总体质量评价值。本专利提出的软件质量度量方法从度量元及多层级质量特性的权重阈值设定角度,基于层次分析法较好地解决多要素相互关联、相互制约的复杂工业软件质量度量问题,具有评价结果直观明了、可操作性强等特点。

    C25汇编代码静态分析方法

    公开(公告)号:CN107291622B

    公开(公告)日:2020-03-31

    申请号:CN201710587079.6

    申请日:2017-07-18

    Inventor: 杨波 李敏 李伟

    Abstract: 本发明涉及一种C25汇编代码静态分析方法,属于软件测试技术领域。本发明在解释执行该汇编语句的基础上,检查代码中是否存在典型错误,针对典型错误的特点,采用忽略跳转指令强行顺序解释执行和分支覆盖解释执行两种方式对C25汇编代码进行分析,包括对C25汇编软件进行规则检查、比例尺检查、质量度量,提高了C25汇编软件测试的充分性。

    一种浮点型数据接口测试方法和装置

    公开(公告)号:CN119829420A

    公开(公告)日:2025-04-15

    申请号:CN202411712489.5

    申请日:2024-11-27

    Abstract: 本发明涉及一种浮点型数据接口测试方法和装置,属于软件接口测试领域。本发明接收数据帧描述信息,进行分析和处理,得到数据帧格式;判断所述字段类型是否为浮点型字段;在所述字段类型为浮点型字段的情况下,按照所述字段长度和所述字段取值范围生成浮点型字段测试数据;在所述字段类型不为浮点型字段的情况下,按照所述字段长度和所述字段内容生成其他字段测试数据;按照校验和计算方式,计算生成校验和;将各字段组成数据帧。本发明解决了相关技术中浮点型数据接口测试不充分所带来的问题,提高软件测试质量和测试效率,进而增强软件安全性。

    在X86电脑超高速解释执行TMS320C25芯片汇编指令的方法

    公开(公告)号:CN107402799A

    公开(公告)日:2017-11-28

    申请号:CN201710609948.0

    申请日:2017-07-25

    Inventor: 杨波 李敏 李伟

    Abstract: 本发明涉及一种在X86电脑超高速解释执行TMS320C25芯片汇编指令的方法,属于动力技术领域。本发明提出了一种在X86电脑超高速解释执行TMS320C25芯片汇编指令的方法。该方法无需使用专用的仿真器,可在Windows环境下高效快速模拟运行汇编指令,借助多种通用测试工具,高速执行海量测试用例,快速有效验证汇编语言程序的功能正确性,获取代码覆盖,对被测件进行白盒测试,从而提高汇编语言程序的测试充分性。

    执行C25汇编语言时获取语句和分支覆盖率的方法

    公开(公告)号:CN107391375A

    公开(公告)日:2017-11-24

    申请号:CN201710609965.4

    申请日:2017-07-25

    Inventor: 杨波 李敏 李伟

    Abstract: 本发明涉及一种执行C25汇编语言时获取语句和分支覆盖率的方法,涉及软件测试技术领域。本发明根据C25汇编程序的特点选取插桩算法,自动对程序进行插桩;当程序运行时,插桩点自动记录该桩点是否运行,以及运行的次数。记录的插桩点运行数据,可解析出两个插桩点之间的程序代码运行情况。解析时,在统计语句覆盖率的基础上,统计分支覆盖率,在记录分支运行信息时,为了避免函数的调用打乱记录覆盖信息的数组指针,在函数调用时,采用压栈出栈的方式进行保护,避免条件跳转分支使用错误的数组索引号。

    基于Markov模型的测试用例生成、充分性判定方法及装置

    公开(公告)号:CN118277269A

    公开(公告)日:2024-07-02

    申请号:CN202410482604.8

    申请日:2024-04-22

    Abstract: 本发明涉及一种基于Markov模型的测试用例生成、充分性判定方法及装置,属于软件测试技术领域。本发明将存储在Markov模型数据模块中的数据进行解析,获取被测软件模型的状态,迁移边信息及对应的状态转移概率。并且将模型扩展到高阶,计算相关参数,相关参数包括:高阶Markov模型的阶数及降阶转移概率矩阵;通过设定期望可靠性计算测试停止的优化阈值,并在测试用例生成过程中计算测试充分性判定值的大小,当满足给定的阈值后,停止测试用例生成,展示所有生成的测试用例集及程序运行时间。本发明充分利用高阶Markov模型在描述随机过程中的先天优势,结合蚁群算法全局性、通用性强的特点,有效提高了测试用例生成收敛速度,减少了冗余测试用例集的产生。

    一种基于头部和可见区域线索的遮挡行人检测方法

    公开(公告)号:CN113610037A

    公开(公告)日:2021-11-05

    申请号:CN202110942302.0

    申请日:2021-08-17

    Abstract: 本发明涉及一种基于头部和可见区域线索的遮挡行人检测方法,属于辅助驾驶领域。本发明利用头部、可见区域、全身信息改进复杂道路场景中的遮挡行人检测性能,提出锐化特征响应区域推荐网络SRPN同时检测行人全身和头部RoIs,对于全身RoIs,在原有的全身检测分支Fast RCNN前增加一个可见区域引导注意力VGA模块用于增强可见区域特征同时抑制遮挡区域噪声,增加了一个平行的头部级联检测分支,基于头部RoIs逐级的拓展感知域检测严重遮挡行人。大量的实验结果表明:本专利提出的方法能显著提高遮挡行人的检测精度。

Patent Agency Ranking