CN110704315B - 一种嵌入式软件测试的故障注入装置 - Google Patents

一种嵌入式软件测试的故障注入装置 Download PDF

Info

Publication number
CN110704315B
CN110704315B CN201910915676.6A CN201910915676A CN110704315B CN 110704315 B CN110704315 B CN 110704315B CN 201910915676 A CN201910915676 A CN 201910915676A CN 110704315 B CN110704315 B CN 110704315B
Authority
CN
China
Prior art keywords
software
module
fault
target system
test
Prior art date
Legal status (The legal status is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the status listed.)
Active
Application number
CN201910915676.6A
Other languages
English (en)
Other versions
CN110704315A (zh
Inventor
赵昶宇
Current Assignee (The listed assignees may be inaccurate. Google has not performed a legal analysis and makes no representation or warranty as to the accuracy of the list.)
Tianjin Jinhang Computing Technology Research Institute
Original Assignee
Tianjin Jinhang Computing Technology Research Institute
Priority date (The priority date is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the date listed.)
Filing date
Publication date
Application filed by Tianjin Jinhang Computing Technology Research Institute filed Critical Tianjin Jinhang Computing Technology Research Institute
Priority to CN201910915676.6A priority Critical patent/CN110704315B/zh
Publication of CN110704315A publication Critical patent/CN110704315A/zh
Application granted granted Critical
Publication of CN110704315B publication Critical patent/CN110704315B/zh
Active legal-status Critical Current
Anticipated expiration legal-status Critical

Links

Images

Classifications

    • GPHYSICS
    • G06COMPUTING; CALCULATING OR COUNTING
    • G06FELECTRIC DIGITAL DATA PROCESSING
    • G06F11/00Error detection; Error correction; Monitoring
    • G06F11/36Preventing errors by testing or debugging software
    • G06F11/3668Software testing
    • G06F11/3672Test management
    • G06F11/3676Test management for coverage analysis
    • GPHYSICS
    • G06COMPUTING; CALCULATING OR COUNTING
    • G06FELECTRIC DIGITAL DATA PROCESSING
    • G06F11/00Error detection; Error correction; Monitoring
    • G06F11/36Preventing errors by testing or debugging software
    • G06F11/3668Software testing
    • G06F11/3672Test management
    • G06F11/3684Test management for test design, e.g. generating new test cases
    • GPHYSICS
    • G06COMPUTING; CALCULATING OR COUNTING
    • G06FELECTRIC DIGITAL DATA PROCESSING
    • G06F11/00Error detection; Error correction; Monitoring
    • G06F11/36Preventing errors by testing or debugging software
    • G06F11/3668Software testing
    • G06F11/3672Test management
    • G06F11/3692Test management for test results analysis

Landscapes

  • Engineering & Computer Science (AREA)
  • Theoretical Computer Science (AREA)
  • Computer Hardware Design (AREA)
  • Quality & Reliability (AREA)
  • Physics & Mathematics (AREA)
  • General Engineering & Computer Science (AREA)
  • General Physics & Mathematics (AREA)
  • Test And Diagnosis Of Digital Computers (AREA)

Abstract

本发明涉及一种嵌入式软件测试的故障注入装置,涉及嵌入式软件测试技术领域。本发明通过各种总线通讯接口在特定的位置和特定的时刻向被测试的目标系统注入故障用例,目标系统执行完该故障用例后记录故障用例和故障用例执行结果并给出测试结论。该装置不需要修改原有的软件源代码,只是在软件运行时,根据故障注入的时间和位置增加部分测试软件源代码,通过增加的这部分代码,可以实现软件运行过程中动态的改变代码中关键的全局变量、局部变量、寄存器、硬件地址和软件接口等信息内容,完成软件故障注入测试并自动生成测试结论。该装置实现简单,对被测试目标系统软件影响较小,极大的提高了嵌入式软件的容错性、可靠性和安全性。

Description

一种嵌入式软件测试的故障注入装置
技术领域
本发明涉及嵌入式软件测试技术领域,具体涉及一种嵌入式软件测试的故障注入装置。
背景技术
将故障注入技术作为软件测试技术,一般来讲是制定特定的故障模型,采用人为的、有意识的方式产生故障,并施加于待测系统中,用来加速该系统的错误和失效的产生,同时观测并反馈对所注入故障的响应信息,通过分析对系统进行验证和评价的过程。基于软件的故障注入通常是根据故障模型,通过修改目标系统的内存映像来模拟系统硬件或软件故障的发生,按故障注入的时刻可分为运行前注入和运行时注入。
目前基于嵌入式系统软件故障注入的测试方法有以下几种:
(1)直接修改源程序的静态故障注入方法。该方法直接修改被测系统源代码模拟故障产生,不需要额外接口资源和监控软件,属于运行前注入故障的方式。该方法容易模拟永久故障,模拟时序相关的故障逻辑时,需要编写复杂的故障模拟代码,费时费力,且易引入新的故障,不满足灵活性和重用性要求;
(2)软件开发环境支持的故障注入方法。该方法适用于软件开发人员在编码、调试阶段通过设置断点来修改内存或寄存器内容产生所需的故障,具有简单灵活的特点。但是由于设置断点会导致测试不能连续运行,对于涉及多任务和中断处理的软件,很难测试任务之间或中断处理与主流程之间的相互影响;
(3)设计运行时的软件故障注入器,利用故障脚本描述语言、故障库和故障注入器算法获取故障现场的信息。该方法能够有效的将故障注入被测软件中,便于捕捉并重现故障信息。但是上述方法的实现比较复杂,通常需要设计主控制器、故障注入器、脚本解析器、监视器、数据采集器和数据收集器等,技术门槛较高,还需要针对不同类型的故障注入模型设计相应的故障注入器算法,灵活性较差。
针对目前基于嵌入式系统软件故障注入的测试方法中存在的不足,需要提出一种嵌入式软件测试的故障注入方法。
发明内容
(一)要解决的技术问题
本发明要解决的技术问题是:如何实现在特定的位置和特定的时刻对软件源代码中的全局变量、局部变量、寄存器、堆栈以及软件接口等的故障注入和测试,提高软件的测试覆盖率和可靠性。
(二)技术方案
为了解决上述技术问题,本发明提供了一种嵌入式软件测试的故障注入装置,包括目标系统计算机模块和监控器模块;
其中,所述目标系统计算机模块包括主机板,所述主机板内运行目标系统软件;
所述监控器模块用于建立软件故障测试用例库,包括主机模块、1553B总线模块、智能串口模块、CAN总线模块和双冗余网络模块;所述主机模块用于完成软件故障测试用例库构建;所述1553B总线模块用于实现监控器模块通过1553B总线向目标系统软件发送故障测试用例,智能串口模块用于实现监控器模块通过串口向目标系统软件发送故障测试用例,CAN总线模块用于实现监控器模块通过CAN总线向目标系统软件发送故障测试用例,双冗余网络模块用于实现监控器模块通过以太网向目标系统软件发送故障测试用例。
优选地,所述目标系统计算机模块还包括电子SATA盘,所述电子SATA盘用于存储记录故障注入后的测试结果。
优选地,所述主机板通过PCIE总线与电子SATA盘进行数据交互。
优选地,所述主机模块通过PCIE总线与监控器模块内其余四个模块进行数据交互。
优选地,所述主机模块具体用于对嵌入式软件进行功能故障树分析,建立系统级和详细级失效模式及影响分析,最终从软件源代码中识别出关键的全局变量、局部变量、寄存器、硬件地址和软件接口等信息;然后基于识别出的上述信息进行软件测试用例设计,完成软件故障测试用例库构建。
优选地,在主机模块完成软件故障测试用例库构建之后,所述主机板、1553B总线模块、智能串口模块、CAN总线模块和双冗余网络模块进行交互实现向目标系统注入故障,具体为:
设目标系统软件源代码从寄存器、硬件地址或是软件接口中读取的信息保存在局部变量A中,则所述主机板在目标系统软件源代码中局部变量A获得当前寄存器、硬件地址或是软件接口中的信息后增加如下代码:
if(TRUE==XXX_Debug)
A=Global_XXX;
上述Global_XXX为全局变量名称,XXX_Debug初始情况下的值为FALSE(即不改变当前获得的A的值),只有在接收到监控器模块中1553B总线模块、智能串口模块、CAN总线模块和双冗余网络模块之一发送的指令报文后才将XXX_Debug的值设置为TRUE;
所述主机板在目标系统软件源代码中增加一个任务或一个线程,该任务或线程的优先级低于该软件本身运行的所有任务和线程的优先级,这个任务或线程用于接收并处理1553B总线模块、智能串口模块、CAN总线模块和双冗余网络模块之一发送的指令报文;
在需要进行故障注入测试时,1553B总线模块、智能串口模块、CAN总线模块和双冗余网络模块之一以指令报文的方式向目标系统发送故障测试用例,以通知此次需要给哪些全局变量赋值;
所述主机板在任务或线程中接收到该指令报文后,解析该指令报文的内容,将指令报文中涉及到的每个XXX_Debug的值设置为TRUE,且直接修改目标系统软件源代码中相关全局变量的值,上述操作完成后,目标系统软件按照该故障测试用例设置的故障时序或故障测试路径完成软件测试工作;
执行完一条故障测试用例后,所述主机模块通知主机板将每个XXX_Debug的值设置为FALSE,将全局变量的值设置为初始值;
所述电子SATA盘记录故障注入后的测试结果。
优选地,所述主机模块在向目标系统注入故障前进行系统级和详细级软件失效模式及影响分析时,获得软件变量的失效模式、失效原因和失效影响,将软件变量的失效模式作为软件故障测试用例;将软件变量失效模式和变量失效影响建立检索对应关系;每执行完一个故障测试用例,电子SATA盘内自动存储该测试用例的失效模式、失效影响和测试结果,当执行完全部测试用例后,将电子SATA盘内的记录文件导入主机模块中,主机模块通过比对记录文件中故障测试用例的失效影响和实际测试结果,得出每个测试用例是否通过测试的结论。
(三)有益效果
本发明通过各种总线通讯接口(CAN总线、1553B总线、以太网或串口等)在特定的位置和特定的时刻向被测试的目标系统注入故障用例(全局变量、局部变量、寄存器、堆栈以及软件接口等故障),目标系统执行完该故障用例后记录故障用例和故障用例执行结果并给出测试结论。该装置不需要修改原有的软件源代码,只是在软件运行时,根据故障注入的时间和位置增加部分测试软件源代码,通过增加的这部分代码,可以实现软件运行过程中动态的改变代码中关键的全局变量、局部变量、寄存器、硬件地址和软件接口等信息内容,完成软件故障注入测试并自动生成测试结论。该装置实现简单,对被测试目标系统软件影响较小,极大的提高了嵌入式软件的容错性、可靠性和安全性。
附图说明
图1是本发明的软件测试故障注入装置的工作原理图。
具体实施方式
为使本发明的目的、内容、和优点更加清楚,下面结合附图和实施例,对本发明的具体实施方式作进一步详细描述。
针对目前软件测试过程中难以有效获得故障现场信息的问题,本发明提出了一种嵌入式软件测试的故障注入装置。
如图1所示,该装置通过各种总线通讯接口向被测试的目标系统软件注入故障,包括目标系统计算机模块和监控器模块;
其中,所述目标系统计算机模块包括主机板和电子SATA盘,所述主机板内运行目标系统软件,所述电子SATA盘用于存储记录系统的工作日志、记录故障注入后的测试结果,主机板通过PCIE总线与电子SATA盘进行数据交互;
所述监控器模块用于建立软件故障测试用例库,包括主机模块、1553B总线模块、智能串口模块、CAN总线模块和双冗余网络模块;所述1553B总线模块用于实现监控器模块通过1553B总线向目标系统软件发送故障测试用例,智能串口模块用于实现监控器模块通过串口向目标系统软件发送故障测试用例,CAN总线模块用于实现监控器模块通过CAN总线向目标系统软件发送故障测试用例,双冗余网络模块用于实现监控器模块通过以太网向目标系统软件发送故障测试用例;
所述主机模块通过PCIE总线与监控器模块内其余四个模块进行数据交互,用于首先对嵌入式软件进行功能故障树分析,建立系统级和详细级失效模式及影响分析,最终从软件源代码中识别出关键的全局变量、局部变量、寄存器、硬件地址和软件接口等信息;然后基于识别出的上述信息进行软件测试用例设计,完成软件故障测试用例库构建;
在主机模块完成软件故障测试用例库构建之后,所述主机板、1553B总线模块、智能串口模块、CAN总线模块和双冗余网络模块进行交互实现向目标系统注入故障,具体为:
设目标系统软件源代码从寄存器、硬件地址或是软件接口中读取的信息保存在局部变量A中,则所述主机板在目标系统软件源代码中局部变量A获得当前寄存器、硬件地址或是软件接口中的信息后增加如下代码:
if(TRUE==XXX_Debug)
A=Global_XXX;
上述Global_XXX为全局变量名称,XXX_Debug初始情况下的值为FALSE(即不改变当前获得的A的值),只有在接收到监控器模块中1553B总线模块、智能串口模块、CAN总线模块和双冗余网络模块之一发送的指令报文后才将XXX_Debug的值设置为TRUE;
所述主机板在目标系统软件源代码中增加一个任务或一个线程,该任务或线程的优先级低于该软件本身运行的所有任务和线程的优先级,这个任务或线程用于接收并处理1553B总线模块、智能串口模块、CAN总线模块和双冗余网络模块之一发送的指令报文;
在需要进行故障注入测试时,1553B总线模块、智能串口模块、CAN总线模块和双冗余网络模块之一以指令报文的方式向目标系统发送故障测试用例,以通知此次需要给哪些全局变量赋值;
所述主机板在任务或线程中接收到该指令报文后,解析该指令报文的内容,将指令报文中涉及到的每个XXX_Debug的值设置为TRUE,且直接修改目标系统软件源代码中相关全局变量的值,上述操作完成后,目标系统软件按照该故障测试用例设置的故障时序或故障测试路径完成软件测试工作;
执行完一条故障测试用例后,所述主机模块通知主机板将每个XXX_Debug的值设置为FALSE,将全局变量的值设置为初始值;
所述电子SATA盘记录故障注入后的测试结果。
主机模块在向目标系统注入故障前进行系统级和详细级软件失效模式及影响分析时,获得软件变量的失效模式、失效原因和失效影响,将软件变量的失效模式作为软件故障测试用例,软件变量的失效影响实际上是故障测试用例的预期执行结果;将软件变量失效模式和变量失效影响建立检索对应关系,即目标系统可以根据接收到的变量失效模式即可获得所对应的变量失效影响。在目标系统软件代码中增加一个数据记录功能,当目标系统软件接收到监控器模块发送的故障测试用例时,首先在电子SATA盘内记录当前测试用例的失效模式和失效影响,当目标系统软件执行完当前的测试用例后,将测试用例的执行结果记录到电子SATA盘中;
每执行完一个故障测试用例,电子SATA盘内自动存储该测试用例的失效模式、失效影响和测试结果。当执行完全部测试用例后,将电子SATA盘内的记录文件导入主机模块中,主机模块通过比对记录文件中故障测试用例的失效影响和实际测试结果,得出每个测试用例是否通过测试的结论。
以上所述仅是本发明的优选实施方式,应当指出,对于本技术领域的普通技术人员来说,在不脱离本发明技术原理的前提下,还可以做出若干改进和变形,这些改进和变形也应视为本发明的保护范围。

Claims (3)

1.一种嵌入式软件测试的故障注入装置,其特征在于,包括目标系统计算机模块和监控器模块;
其中,所述目标系统计算机模块包括主机板,所述主机板内运行目标系统软件;
所述监控器模块用于建立软件故障测试用例库,包括主机模块、1553B总线模块、智能串口模块、CAN总线模块和双冗余网络模块;所述主机模块用于完成软件故障测试用例库构建;所述1553B总线模块用于实现监控器模块通过1553B总线向目标系统软件发送故障测试用例,智能串口模块用于实现监控器模块通过串口向目标系统软件发送故障测试用例,CAN总线模块用于实现监控器模块通过CAN总线向目标系统软件发送故障测试用例,双冗余网络模块用于实现监控器模块通过以太网向目标系统软件发送故障测试用例;
所述目标系统计算机模块还包括电子SATA盘,所述电子SATA盘用于存储记录故障注入后的测试结果;
所述主机板通过PCIE总线与电子SATA盘进行数据交互;
所述主机模块具体用于对嵌入式软件进行功能故障树分析,建立系统级和详细级失效模式及影响分析,最终从软件源代码中识别出关键的全局变量、局部变量、寄存器、硬件地址和软件接口等信息;然后基于识别出的上述信息进行软件测试用例设计,完成软件故障测试用例库构建;
在主机模块完成软件故障测试用例库构建之后,所述主机板、1553B总线模块、智能串口模块、CAN总线模块和双冗余网络模块进行交互实现向目标系统注入故障,具体为:
设目标系统软件源代码从寄存器、硬件地址或是软件接口中读取的信息保存在局部变量A中,则所述主机板在目标系统软件源代码中局部变量A获得当前寄存器、硬件地址或是软件接口中的信息后增加如下代码:
if(TRUE==XXX_Debug)
A=Global_XXX;
上述Global_XXX为全局变量名称,XXX_Debug初始情况下的值为FALSE(即不改变当前获得的A的值),只有在接收到监控器模块中1553B总线模块、智能串口模块、CAN总线模块和双冗余网络模块之一发送的指令报文后才将XXX_Debug的值设置为TRUE;
所述主机板在目标系统软件源代码中增加一个任务或一个线程,该任务或线程的优先级低于该软件本身运行的所有任务和线程的优先级,这个任务或线程用于接收并处理1553B总线模块、智能串口模块、CAN总线模块和双冗余网络模块之一发送的指令报文;
在需要进行故障注入测试时,1553B总线模块、智能串口模块、CAN总线模块和双冗余网络模块之一以指令报文的方式向目标系统发送故障测试用例,以通知此次需要给哪些全局变量赋值;
所述主机板在任务或线程中接收到该指令报文后,解析该指令报文的内容,将指令报文中涉及到的每个XXX_Debug的值设置为TRUE,且直接修改目标系统软件源代码中相关全局变量的值,上述操作完成后,目标系统软件按照该故障测试用例设置的故障时序或故障测试路径完成软件测试工作;
执行完一条故障测试用例后,所述主机模块通知主机板将每个XXX_Debug的值设置为FALSE,将全局变量的值设置为初始值;
所述电子SATA盘记录故障注入后的测试结果。
2.如权利要求1所述的装置,其特征在于,所述主机模块通过PCIE总线与监控器模块内其余四个模块进行数据交互。
3.如权利要求1所述的装置,其特征在于,所述主机模块在向目标系统注入故障前进行系统级和详细级软件失效模式及影响分析时,获得软件变量的失效模式、失效原因和失效影响,将软件变量的失效模式作为软件故障测试用例;将软件变量失效模式和变量失效影响建立检索对应关系;每执行完一个故障测试用例,电子SATA盘内自动存储该测试用例的失效模式、失效影响和测试结果,当执行完全部测试用例后,将电子SATA盘内的记录文件导入主机模块中,主机模块通过比对记录文件中故障测试用例的失效影响和实际测试结果,得出每个测试用例是否通过测试的结论。
CN201910915676.6A 2019-09-26 2019-09-26 一种嵌入式软件测试的故障注入装置 Active CN110704315B (zh)

Priority Applications (1)

Application Number Priority Date Filing Date Title
CN201910915676.6A CN110704315B (zh) 2019-09-26 2019-09-26 一种嵌入式软件测试的故障注入装置

Applications Claiming Priority (1)

Application Number Priority Date Filing Date Title
CN201910915676.6A CN110704315B (zh) 2019-09-26 2019-09-26 一种嵌入式软件测试的故障注入装置

Publications (2)

Publication Number Publication Date
CN110704315A CN110704315A (zh) 2020-01-17
CN110704315B true CN110704315B (zh) 2022-10-25

Family

ID=69198027

Family Applications (1)

Application Number Title Priority Date Filing Date
CN201910915676.6A Active CN110704315B (zh) 2019-09-26 2019-09-26 一种嵌入式软件测试的故障注入装置

Country Status (1)

Country Link
CN (1) CN110704315B (zh)

Families Citing this family (3)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
CN112714015B (zh) * 2020-12-23 2023-08-22 上海科梁信息科技股份有限公司 通信数据故障注入方法及其系统、通信设备和存储介质
CN113051582B (zh) * 2021-04-28 2023-03-14 重庆电子工程职业学院 一种计算机软件技术开发调试系统
CN115774432A (zh) * 2021-09-06 2023-03-10 北京广利核系统工程有限公司 核电数字仪控系统可靠性测试方法及装置

Citations (8)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
CN101937232A (zh) * 2010-09-07 2011-01-05 北京航空航天大学 基于多路数据总线的嵌入式实时仿真与故障模拟系统
CN102354298A (zh) * 2011-07-27 2012-02-15 哈尔滨工业大学 基于staf的高端容错机故障注入自动化测试平台及方法
CN102760098A (zh) * 2012-06-13 2012-10-31 北京航空航天大学 面向bit软件测试的处理器故障注入方法及其模拟器
CN103529820A (zh) * 2013-09-26 2014-01-22 北京航天自动控制研究所 一种适用于嵌入式设备的故障注入测试系统及测试方法
CN103580940A (zh) * 2012-07-31 2014-02-12 北京旋极信息技术股份有限公司 一种获取性能信息的方法和系统
CN105162529A (zh) * 2015-06-17 2015-12-16 北京空间飞行器总体设计部 一种1553b总线数据故障注入装置
CN107562038A (zh) * 2017-08-31 2018-01-09 中国第汽车股份有限公司 一种车载控制器自动测试系统
CN109361569A (zh) * 2018-11-26 2019-02-19 中汽研(天津)汽车工程研究院有限公司 基于can总线的通信诊断故障码自动化测试系统及测试方法

Family Cites Families (1)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US7536605B2 (en) * 2005-05-25 2009-05-19 Alcatel-Lucent Usa Inc. Injection of software faults into an operational system

Patent Citations (8)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
CN101937232A (zh) * 2010-09-07 2011-01-05 北京航空航天大学 基于多路数据总线的嵌入式实时仿真与故障模拟系统
CN102354298A (zh) * 2011-07-27 2012-02-15 哈尔滨工业大学 基于staf的高端容错机故障注入自动化测试平台及方法
CN102760098A (zh) * 2012-06-13 2012-10-31 北京航空航天大学 面向bit软件测试的处理器故障注入方法及其模拟器
CN103580940A (zh) * 2012-07-31 2014-02-12 北京旋极信息技术股份有限公司 一种获取性能信息的方法和系统
CN103529820A (zh) * 2013-09-26 2014-01-22 北京航天自动控制研究所 一种适用于嵌入式设备的故障注入测试系统及测试方法
CN105162529A (zh) * 2015-06-17 2015-12-16 北京空间飞行器总体设计部 一种1553b总线数据故障注入装置
CN107562038A (zh) * 2017-08-31 2018-01-09 中国第汽车股份有限公司 一种车载控制器自动测试系统
CN109361569A (zh) * 2018-11-26 2019-02-19 中汽研(天津)汽车工程研究院有限公司 基于can总线的通信诊断故障码自动化测试系统及测试方法

Non-Patent Citations (2)

* Cited by examiner, † Cited by third party
Title
基于中间件的故障注入技术在嵌入式软件逻辑覆盖测试中的应用;陈锃基等;《电子质量》;20130720(第07期);全文 *
嵌入式应用软件安全性测试系统设计与实现;周亮等;《电子设计工程》;20180305(第05期);全文 *

Also Published As

Publication number Publication date
CN110704315A (zh) 2020-01-17

Similar Documents

Publication Publication Date Title
CN110704314B (zh) 一种嵌入式软件测试的故障注入方法
CN110688313B (zh) 一种VxWorks操作系统下软件测试的故障注入方法
US6986125B2 (en) Method and apparatus for testing and evaluating a software component using an abstraction matrix
CN104657247B (zh) 基于jtag调试方式实现通用型故障注入系统和故障注入方法
CN110704315B (zh) 一种嵌入式软件测试的故障注入装置
Maurer et al. TACHYON: Tandem execution for efficient live patch testing
US10176078B1 (en) Debugging process
CN108710551B (zh) 基于sparc处理器单粒子翻转故障注入的测试方法及系统
CN112084113B (zh) 基于嵌入式仿真验证软件的可配置自动化测试方法及系统
US20090248390A1 (en) Trace debugging in a hardware emulation environment
CN112181833A (zh) 一种智能化模糊测试方法、装置及系统
CN107329889B (zh) 一种c编译器自动化测试的方法
Jeong et al. Fifa: A kernel-level fault injection framework for arm-based embedded linux system
CN111400997B (zh) 一种基于同步执行的处理器核验证方法、系统及介质
CN114168454B (zh) 一种基于动态插桩-销桩技术的异步测试方法
CN111459814A (zh) 自动化测试用例生成方法、装置及电子设备
Barbosa et al. Verification and validation of (real time) COTS products using fault injection techniques
CN110633199A (zh) 用于支持智能合约的区块链的测试装置、方法及介质
US10969429B1 (en) System and method for debugging in concurrent fault simulation
CN110096888B (zh) 一种加快验证及分析smm安全隐患的方法及系统
WO2021247074A1 (en) Resumable instruction generation
CN112269740A (zh) 自动驾驶软件的自动测试方法及装置
CN116431518B (zh) 一种基于仿真平台的多层级、多模式软件故障注入方法
US20240231347A1 (en) Fault injection test method and apparatus, and fault injection method
US20240143489A1 (en) Method for the automated performance of software tests for a program to be tested in an embedded system

Legal Events

Date Code Title Description
PB01 Publication
PB01 Publication
SE01 Entry into force of request for substantive examination
SE01 Entry into force of request for substantive examination
GR01 Patent grant
GR01 Patent grant