CN107608891B - 基于指令的数据处理应用检测方法 - Google Patents
基于指令的数据处理应用检测方法 Download PDFInfo
- Publication number
- CN107608891B CN107608891B CN201710862155.XA CN201710862155A CN107608891B CN 107608891 B CN107608891 B CN 107608891B CN 201710862155 A CN201710862155 A CN 201710862155A CN 107608891 B CN107608891 B CN 107608891B
- Authority
- CN
- China
- Prior art keywords
- instruction
- data processing
- test
- processing application
- chip
- 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
Links
Images
Landscapes
- Debugging And Monitoring (AREA)
Abstract
本发明公开了一种基于指令的数据处理应用检测方法,包含以下步骤:步骤1、统计处理芯片上运行的各数据处理应用所用到的指令,获取指令全集;步骤2、基于获取的指令全集,构建测试函数,所述测试函数中包含了指令全集的调用。步骤3、根据构建的测试函数,在处理芯片上编写测试软件;步骤4:采用预定的数据参数作为测试软件的输入,运行测试软件;步骤5:将测试软件输出的测试结果发送到检测芯片;步骤6:检测芯片将测试结果与预存的结果进行比较,得到数据处理应用的检测评价。本发明通过构建指令中的测试函数,根据测试函数运行结果来判断处理芯片运行指令的状态,从而完成对指令的检测,进而判断数据处理应用是否正常运行。
Description
技术领域
本发明涉及安全关键电子设备数据处理设计领域,具体涉及安全关键电子设备核心数据处理应用的检测方法。
背景技术
核心数据处理应用是电子设备完成复杂功能不可获取的重要组成部分。对于安全关键电子设备而言,其安全的保障严重的依赖于核心数据处理应用的正确执行。当前,指令缓存的使用在数据处理中广泛使用,其高速的存取速度虽然能够带来芯片处理速度的提升,同时也增加了数据处理应用出错的概率和机会,最终安全关键电子设备发生故障,导致安全事故的发生。相比于指令缓存,数据缓存的由于更新速度更快,随着数据的更新,错误的数据被更新后的数据替代,因此故障是暂时且较小。指令缓存本身出错会导致数据处理功能出现紊乱,同时由于其刷新速度慢,其故障持续时间长且严重。而强制刷新指令缓存则会导致核心处理的性能显著下降。因此,为了保证数据处理应用的处理性能,需要能够对数据处理应用的指令缓存进行检测,从而支持能够在必要时对指令缓存进行重置或者刷新,保证安全关键电子设备的正常运行。
发明内容
为了在不降低核心数据处理应用的性能的前提,以及保证安全关键电子设备能够在指令出错的情况下能够及时得到更正,本发明的发明目的在于提供一种基于指令的数据处理应用检测方法,通过构建指令中的指令测试集,根据测试集运行结果来判断处理芯片运行指令的状态,从而完成对指令的检测,进而判断数据处理应用是否正常运行。
本发明的发明目的通过以下技术方案实现:
一种基于指令的数据处理应用检测方法,包含以下步骤:
步骤1、统计处理芯片上运行的各数据处理应用所用到的指令,获取指令全集;
步骤2、基于获取的指令全集,构建测试函数,所述测试函数中包含了指令全集的调用;
步骤3、根据构建的测试函数,在处理芯片上编写测试软件;
步骤4:采用预定的数据参数作为测试软件的输入,运行测试软件;
步骤5:将测试软件输出的测试结果发送到检测芯片;
步骤6:检测芯片将测试结果与预存的结果进行比较,得到数据处理应用的检测评价。
优选地,步骤1中包含以下步骤:
步骤A:获取处理芯片上所需要检测的数据处理应用清单;
步骤B:对某一数据处理应用开展分析,获取数据处理应用所调用的处理芯片运行的指令序列;
步骤C:判断获取的处理芯片运行的指令序列是否已经在指令集中,如果指令集中不存在,则在指令集中增加该指令,如果指令序列所包含的指令已存在,则不需要再次添加到指令集中;
步骤D:对其余数据处理应用重复步骤B和C;
步骤E:通过以上步骤,获取所有数据处理应用调用的处理芯片执行的指令全集。
附图说明
图1为实现本发明所提供的基于指令的数据处理应用检测方法的产品结构示意图。
图2为本发明中处理芯片指令全集生成过程的流程示意图。
图3为本发明的基于指令的数据处理应用检测方法的流程示意图。
具体实施方式
下面结合附图和实施例对本发明作进一步的详细说明。
图1描述了基于指令的数据处理应用检测实现过程。核心数据处理功能除了需要处理芯片,还需要数据处理应用执行所需要的处理功能。通过数据处理应用来调用处理芯片的指令,从而实现预期的数据处理功能。为了保证处理芯片本身的指令本身是正确的,通过引入测试软件,测试软件通过调用处理芯片上的指令,并输出测试结果,由检测芯片对输出的测试结果进行检测,以判断数据处理指令是否正确的运行,最终输出检测结果。
图2描述了指令全集的获取过程。测试软件是基于数据处理应用所调用的处理芯片上的指令构建的。因此,首先需要构建基于所有数据处理应用的指令集合。主要分为以下几步:
步骤A:获取处理芯片上所需要检测的数据处理应用清单。
步骤B:对某一个数据处理应用开展分析,获取数据处理应用所调用的处理芯片运行的指令序列。由于每个数据处理应用都可以标识为f(SWi)=f(ICi1,ICi2,ICi3,...,ICin),那么所用到的处理芯片的指令序列为ICS(SWi)={ICi1,ICi2,ICi3,...,ICin}。
步骤C:判断获取的处理芯片运行的指令序列是否已经在指令集中,如果指令集中不存在,则在指令集中增加该指令序列,如果指令序列所包含的指令已存在,则不需要再次添加到指令集中,避免相同指令在指令集中重复出现,指令集为ICSn=IC(SW1)∪IC(SW2)∪IC(SW3)∪....∪IC(SWn-1)。
步骤D:对其余的数据处理应用件重复步骤C和D。
步骤E:针对数据处理应用清单中的全部数据处理应用开展分析,获得处理芯片支持数据处理应用运行所用到的指令全集ICS=IC(SW1)∪IC(SW2)∪IC(SW3)∪....∪IC(SWn)。
通过以上步骤,获取所有数据处理应用调用的处理芯片执行的指令全集。
图3描述了基于指令的数据处理应用检测过程。基于获取的指令全集,构建测试软件。从而能够根据测试软件的运行结果,判断处理芯片执行相关指令的状态。主要分为以下几步:
步骤1、统计处理芯片上运行的各数据处理应用所用到的指令,获取指令全集。
步骤2:基于获取的指令全集,构建测试函数f(IC)=f(ICS),测试函数中包含了指令全集的调用。
步骤3:根据构建的测试函数,在处理芯片上编写测试软件SWT。
步骤4:采用预定的数据参数作为测试软件的输入,运行测试软件。
步骤5:将预定数据参数输入得到的测试结果发送到检测芯片。
步骤6:检测芯片将测试结果与预存的结果进行比较,当比较结果发现一致时,则证明数据处理应用所用到的指令是正确的,数据处理应用也处于正确的运行状态。当比较结果不一致时,则证明指令集中的指令运行出现了差错,则数据处理软件应用处于异常的运行状态,此时需要对外报送处理芯片指令运行出错及数据处理应用软件出错的消息。
可以理解的是,对本领域普通技术人员来说,可以根据本发明的技术方案及其发明构思加以等同替换或改变,而所有这些改变或替换都应属于本发明所附的权利要求的保护范围。
Claims (1)
1.一种基于指令的数据处理应用检测方法,包含以下步骤:
步骤1、统计处理芯片上运行的各数据处理应用所用到的指令,获取指令全集;
步骤A:获取处理芯片上所需要检测的数据处理应用清单;
步骤B:对某一数据处理应用开展分析,获取数据处理应用所调用的处理芯片运行的指令序列;
步骤C:判断获取的处理芯片运行的指令序列是否已经在指令集中,如果指令集中不存在,则在指令集中增加该指令,如果指令序列所包含的指令已存在,则不需要再次添加到指令集中;
步骤D:对其余数据处理应用重复步骤B和C;
步骤E:通过以上步骤,获取所有数据处理应用调用的处理芯片执行的指令全集;
步骤2、基于获取的指令全集,构建测试函数,所述测试函数中包含了指令全集的调用;
步骤3、根据构建的测试函数,在处理芯片上编写测试软件;
步骤4:采用预定的数据参数作为测试软件的输入,运行测试软件;
步骤5:将测试软件输出的测试结果发送到检测芯片;
步骤6:检测芯片将测试结果与预存的结果进行比较,得到数据处理应用的检测评价。
Priority Applications (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
CN201710862155.XA CN107608891B (zh) | 2017-09-21 | 2017-09-21 | 基于指令的数据处理应用检测方法 |
Applications Claiming Priority (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
CN201710862155.XA CN107608891B (zh) | 2017-09-21 | 2017-09-21 | 基于指令的数据处理应用检测方法 |
Publications (2)
Publication Number | Publication Date |
---|---|
CN107608891A CN107608891A (zh) | 2018-01-19 |
CN107608891B true CN107608891B (zh) | 2020-12-15 |
Family
ID=61061839
Family Applications (1)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
CN201710862155.XA Active CN107608891B (zh) | 2017-09-21 | 2017-09-21 | 基于指令的数据处理应用检测方法 |
Country Status (1)
Country | Link |
---|---|
CN (1) | CN107608891B (zh) |
Citations (3)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN105718804A (zh) * | 2015-12-25 | 2016-06-29 | 驻马店职业技术学院 | 一种硬件指令调用控制系统 |
CN106844195A (zh) * | 2016-12-22 | 2017-06-13 | 福建瑞之付微电子有限公司 | 一种基于统一指令集测试的测试方法 |
CN107092558A (zh) * | 2017-04-12 | 2017-08-25 | 东华大学 | 一种命令行界面命令集合自动化测试系统和方法 |
Family Cites Families (1)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
WO2010048746A1 (en) * | 2008-10-31 | 2010-05-06 | Ebay Inc. | System and method to test executable instructions |
-
2017
- 2017-09-21 CN CN201710862155.XA patent/CN107608891B/zh active Active
Patent Citations (3)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN105718804A (zh) * | 2015-12-25 | 2016-06-29 | 驻马店职业技术学院 | 一种硬件指令调用控制系统 |
CN106844195A (zh) * | 2016-12-22 | 2017-06-13 | 福建瑞之付微电子有限公司 | 一种基于统一指令集测试的测试方法 |
CN107092558A (zh) * | 2017-04-12 | 2017-08-25 | 东华大学 | 一种命令行界面命令集合自动化测试系统和方法 |
Also Published As
Publication number | Publication date |
---|---|
CN107608891A (zh) | 2018-01-19 |
Similar Documents
Publication | Publication Date | Title |
---|---|---|
US9201757B2 (en) | Offline type checking in programming languages | |
CN108388514B (zh) | 接口自动化测试方法、装置、设备及计算机可读存储介质 | |
US7284237B2 (en) | Testing flow control at test assertion level | |
CN112084110B (zh) | 数据处理方法、装置、设备以及存储介质 | |
CN107908490B (zh) | 一种服务器dc测试中gpu寄存器可靠性验证方法与系统 | |
CN112634973A (zh) | 存储介质的数据重读方法、系统、终端设备以及存储介质 | |
US10331513B2 (en) | Zero overhead code coverage analysis | |
CN112035341A (zh) | 一种自动化测试方法及装置 | |
CN107608891B (zh) | 基于指令的数据处理应用检测方法 | |
US7225429B2 (en) | Breakpoint groups based on control flow | |
CN110990179A (zh) | 一种任务处理方法、装置及设备 | |
CN115470075A (zh) | 应用程序故障的检测方法、装置、电子设备及存储介质 | |
CN115437961A (zh) | 数据处理方法、装置、电子设备及存储介质 | |
CN110399258B (zh) | 一种服务器系统的稳定性测试方法、系统及装置 | |
US10880151B2 (en) | Notification control device, notification control system, notification control method, and storage medium | |
CN106354635A (zh) | 一种嵌入式设备的程序代码段自检方法及装置 | |
US10684908B2 (en) | Method for fault detection in an operating system | |
US8427299B2 (en) | Alarm processing circuit and alarm processing method | |
CN111786856A (zh) | 一种浏览器环境检查方法及装置 | |
CN107291588B (zh) | 一种生成xml日志的方法和装置 | |
CN111966577B (zh) | 一种程序稳定性检测方法及装置 | |
KR20170043198A (ko) | 어플리케이션 소스 코드의 오류 검출 장치 및 그 방법 | |
CN116820727A (zh) | 一种任务处理方法、装置、电子设备及存储介质 | |
JP2017107372A (ja) | 障害予兆検出システムおよび障害予兆検出方法 | |
CN114297064A (zh) | 处理器报错定位方法、装置、设备和存储介质 |
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 |