CN106371996B - 一种断电测试方法及系统 - Google Patents

一种断电测试方法及系统 Download PDF

Info

Publication number
CN106371996B
CN106371996B CN201610808415.0A CN201610808415A CN106371996B CN 106371996 B CN106371996 B CN 106371996B CN 201610808415 A CN201610808415 A CN 201610808415A CN 106371996 B CN106371996 B CN 106371996B
Authority
CN
China
Prior art keywords
energized
power
execution state
circulation
variable
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
CN201610808415.0A
Other languages
English (en)
Other versions
CN106371996A (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.)
Eastcompeace Technology Co Ltd
Original Assignee
Eastcompeace Technology Co Ltd
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 Eastcompeace Technology Co Ltd filed Critical Eastcompeace Technology Co Ltd
Priority to CN201610808415.0A priority Critical patent/CN106371996B/zh
Publication of CN106371996A publication Critical patent/CN106371996A/zh
Application granted granted Critical
Publication of CN106371996B publication Critical patent/CN106371996B/zh
Active legal-status Critical Current
Anticipated expiration legal-status Critical

Links

Classifications

    • G—PHYSICS
    • G06—COMPUTING; CALCULATING OR COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F11/00—Error detection; Error correction; Monitoring
    • G06F11/36—Preventing errors by testing or debugging software
    • G06F11/3668—Software testing
    • G06F11/3696—Methods or tools to render software testable
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING OR COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F11/00—Error detection; Error correction; Monitoring
    • G06F11/36—Preventing errors by testing or debugging software
    • G06F11/3668—Software testing
    • G06F11/3672—Test management
    • G06F11/3688—Test management for test execution, e.g. scheduling of test suites

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)
  • Power Sources (AREA)
  • Test And Diagnosis Of Digital Computers (AREA)

Abstract

本发明公开了一种断电测试方法及系统，该方法包括：获取断电位置变量，根据所述断电位置变量，跳转至指定跳转位置，并且失效断电位置；判定断电位置是否有效；若无效，则继续失效断电位置，并得到断电结果；将断电结果与预设结果匹配；若匹配，则生成提示信息，提示信息表征所述断电位置为允许断电位置；若不匹配，则生成告警信息，告警新表征断电位置为禁止断电位置。通过该方法，可以减少断电测试时间，提高了测试效率。另外，通过软件测试的方法，可以有效的降低断电测试的成本，并且断电位置更加准确以及可控。

Description

一种断电测试方法及系统
技术领域
本申请涉及电子技术领域，尤其涉及一种断电测试方法及系统。
背景技术
智能卡，银行数据保护等安全领域的软件，在运行过程中，如果遇到意外断电的情况，需要保证不会引起脏数据。
当前，断电测试存在控制盲区，也就是断电时间步长设置过小，整个断电测试所消耗的时间过长，断电时间步长设置大，那么可能关键代码部位没进行断电，找不到断电的bug；并且受芯片温度影响，温cpu执行速度也有不同，在代码中关键位置可能没有产生断电。
也就是说，当前的断电测试的测试准确性以及效率都较低。
发明内容
本发明实施例提供了一种断电测试方法及系统，用以解决现有技术中断电测试的测试准确性以及效率都较低的问题。
其具体的技术方案如下：
一种断电测试方法，所述方法包括：
获取断电位置变量，其中，所述断电位置变量用于指示指定程序执行到断电位置断电；
根据所述断电位置变量，跳转至指定跳转位置，并且失效断电位置；
判定所述断电位置是否有效；
若无效，则继续失效断电位置，并得到断电结果；
将所述断电结果与预设结果匹配；
若匹配，则生成提示信息，所述提示信息表征所述断电位置为允许断电位置；
若不匹配，则生成告警信息，所述告警信息表征所述断电位置为禁止断电位置。
可选的，根据所述断电位置变量，跳转至所指定跳转位置，并且失效断电位置，包括：
根据所述断电位置变量，获取断电返回的执行状态；
对所述执行状态进行分析，若所述执行状态为未断电状态，则Setjmp方案执行结束；若所述执行状态为断电状态，则跳转至所指定跳转位置，并且失效断电位置。
可选的，在获取断电返回的执行状态之前，所述方法还包括：
根据所述断电位置变量，检测当前位置是否为断电位置；
若所述当前位置为断电位置时，并且循环最小值以及循环最大值满足预设条件时，返回断电的执行状态。
可选的，若所述当前位置为断电位置时，并且循环最小值以及循环最大值满足预设条件时，返回断电的执行状态，包括：
判定所述循环最小值是否为零；
若为零，则返回断电的执行状态，若不为零，则将断电位置加1，并判定所述循环最小值是否为循环最大值的一半；
若所述循环最小值为循环最大值的一半，则返回断电的执行状态；
若所述循环最小值不为循环最大值的一半，则继续判定所述循环最大值与所述循环最小值之间的差值是否为1；
若为1，则返回断电的执行状态，若不为1，则结束Longjmp方案。
可选的，在生成告警信息之后，所述方法还包括：
检测测试参数是否已经上传完成；
若完成，则结束断电测试；
若未完成，则继续获取断电位置变量。
一种断电测试系统，包括：
获取模块，用于获取断电位置变量，其中，所述断点位置变量用于指示指定程序执行到断电位置断电；
处理模块，用于根据所述断电位置变量，跳转至指定跳转位置，并且失效断电位置；判定所述断电位置是否有效；若无效，则继续失效断电位置，并得到断电结果；将所述断电结果与预设结果匹配；若匹配，则生成提示信息，所述提示信息表征所述断电位置为允许断电位置；若不匹配，则生成告警信息，所述告警新表征所述断电位置为禁止断电位置。
可选的，所述处理模块，具体用于根据所述断电位置变量，获取断电返回的执行状态；对所述执行状态进行分析，若所述执行状态为未断电状态，则Setjmp方案执行结束；若所述执行状态为断电状态，则跳转至所指定跳转位置，并且失效断电位置。
可选的，所述处理模块，还用于根据所述断电位置变量，检测当前位置是否为断电位置；若所述当前位置为断电位置时，并且循环最小值以及循环最大值满足预设条件时，返回断电的执行状态。
可选的，所述处理模块，还用于判定所述循环最小值是否为零；若为零，则返回断电的执行状态，若不为零，则将断电位置加1，并判定所述循环最小值是否为循环最大值的一半；若所述循环最小值为循环最大值的一半，则返回断电的执行状态；若所述循环最小值不为循环最大值的一半，则继续判定所述循环最大值与所述循环最小值之间的差值为1；若为1，则返回断电的执行状态，若不为1，则结束Longjmp方案。
可选的，所述处理模块，还用于检测测试参数是否已经上传完成；若完成，则结束断电测试；若未完成，则继续获取断电位置变量。
通过本发明实施例所提供的方法，可以减少断电测试时间，提高了测试效率。另外，通过软件测试的方法，可以有效的降低断电测试的成本，并且断电位置更加准确以及可控。
附图说明
图1为本发明实施例中一种断电测试方法的流程图；
图2为本发明实施例中Setjmp方案的实现流程图；
图3为本发明实施例中Longjmp方案的具体实现流程图；
图4为本发明实施例中虚拟断电测试流程图；
图5为本发明实施例中一种断电测试系统的结构示意图。
具体实施方式
本发明实施例提供了一种断电测试方法，该方法包括：获取断电位置变量，根据所述断电位置变量，跳转至指定跳转位置，并且失效断电位置；判定断电位置是否有效；若无效，则继续失效断电位置，并得到断电结果；将断电结果与预设结果匹配；若匹配，则生成提示信息，提示信息表征所述断电位置为允许断电位置；若不匹配，则生成告警信息，告警新表征断电位置为禁止断电位置。
通过本发明实施例所提供的方法，可以减少断电测试时间，提高了测试效率。另外，通过软件测试的方法，可以有效的降低断电测试的成本，并且断电位置更加准确以及可控。
下面通过附图以及具体实施例对本发明技术方案做详细的说明，应当理解，本发明实施例以及实施例中的具体技术特征只是对本发明技术方案的说明，而不是限定，在不冲突的情况下，本发明实施例以及实施例中的具体技术特征可以相互组合。
如图1所示为本发明实施例中一种断电测试方法的流程图，该方法包括：
S101，获取断电位置变量；
这里断电位置变量用于指示指定程序执行到断电位置断电；
S102，根据断电位置变量，跳转至指定跳转位置，并且失效断电位置；
S103，判定所述断电位置是否有效；
若断电位置无效，则执行S104。
S104，继续失效断电位置，并得到断电结果；
S105，将断电结果与预设结果匹配；
若匹配，则执行S106；若不匹配，则执行S107。
S106，生成提示信息；
这里的提示信息表征断电位置为允许断电位置。
S107，生成告警信息。
这里告警信息表征断电位置为禁止断电位置。
具体来讲，在本发明实施例中，该方法流程中包含了三个方案：Setjmp方案、Longjmp方案、断电位置方案。这里的Setjmp方案表征使用Setjmp函数执行的方案，Longjmp方案表征使用Longjmp函数执行的方案。
Setjmp方案的实现流程如图2所示，首先来讲，需要设置断电发生后，程序跳转到的位置，以及断电发生后的处理流程。因此在调用断电回滚的函数定义jmp_buf变量v，该变量v保存了程序当前的环境。在调用断电回滚的函数中断电跳转点p，这里的p＝v。然后使用Setjmp就能使得程序断电时跳转到对应的跳转位置。
在Setjmp执行过程中，实时的获取断电返回的执行状态，也就是一个简单的状态值，若是该状态值表征为断电状态，则setjmp方案执行结束；若所述执行状态为断电状态，则跳转至所指定跳转位置，并且失效断电位置。
进一步，上述的断电返回的执行状态可以通过Longjmp方案来实现，Longjmp方案的具体实现流程如图3所示，首先来讲，Longjmp的使用实现方案共需要三个参数，当前位置pos，min为循环的最小值，max为循环的最大值，Longjmp的实现需要考虑断电位置处于循环中的情况，本方案针对循环，有三个测试点：循环的开始、循环的结束、循环的中间值。Longjmp方案在判断到当前位置是断
电位置，且循环位置合法时，便使用Longjmp，长跳转到断电跳转点，这里的跳转点就是setjmp的位置，接着执行setjmp的方案。
在本实施例中，Longjmp方案根据断电位置变量，检测当前位置是否为断电位置；若当前位置为断电位置时，并且循环最小值以及循环最大值满足预设条件时，返回断电的执行状态。具体来讲，判定循环最小值是否为零；若为零，则返回断电的执行状态，若不为零，则将断电位置加1，并判定循环最小值是否为循环最大值的一半；若所述循环最小值为循环最大值的一半，则返回断电的执行状态；若循环最小值不为循环最大值的一半，则继续判定循环最大值与所述循环最小值之间的差值是否为1；若为1，则返回断电的执行状态，若不为1，则结束Longjmp方案。
根据图3的流程，首先获取到Longjmp的三个参数，然后判定是否为pos等于断电的位置，并且min＝0，若是，则返回状态为正在断电；若否，则继续判定是否为pos+1等于断电的位置，并且min＝max/2，若是，则返回状态为正在断电，若否，则继续判定是否为pos+1等于断电的位置，并且min＝max-1，若是，则返回状态为正在断电，若否，则Longjmp方案结束。
通过上述的Setjmp方案以及Longjmp方案实现了精准地控制断电位置，并且在单元测试中测试中实现了断电测试，减少了断电的测试时间，提高了效率。
下面通过完整的应用场景对本方案做进一步的说明，如图4所示为本发明实施例中虚拟断电测试流程图。
系统上电后，首先要失效断电位置，便于控制程序在哪个位置发生断电；接着是执行Setjmp方案，保存此时此刻的环境，包括了PC及变量的值。
当断电的时候，让程序的PC跳转至Setjmp方案设置的跳转位置；紧接着，是等待测试用例传入测试参数，也就是需要测试断电位置的断电位置变量，这样就指定了程序在执行到哪个位置时发生断电。
然后执行业务操作，在操作过程中在指定的位置会发生断电，这里使用Longjmp方案实现，断电后跳转到Setjmp方案设置的点，事务回滚，并且失效
断电位置，失效断电位置时，变量的值与非法值不同。
当位置失效后再进入位置是否非法判断的时候，就不会接收测试参数，而是按照正常的业务操作流程执行；在判定位置是否有效的时候，如果无效的位置值，那么直接执行的是正常的业务操作，接着失效断电位置，比较实际结果与期望结果，如果两结果相同，表明：在该位置断电是OK的，如果两结果不相同，表明系统在执行业务时，如果在该位置发生了断电，将产生问题；就这样，使用位置参数控制断电测试，直到设计的所有位置参数都测试完。
本发明所提供的断电测试方案具有如下技术效果：
1：减少了时间，提高了效率：原有断电测试要花费4个月时间，使用软件断电5分钟就完成
2：降低了成本，减少了使用的设备：原有断电测试必须要使用断电设备产生断电，而软件模拟断电不需要。
3：断电位置更准确：受温度影响，及时间点的控制影响，原有断电测试方式断电位置可能会不完整，而软件模拟断电则精确了断电的位置。
4：可以使用单元测试：原有测试只有在集成测试时进行断电测试，而软件模拟断电方式可以写成单元测试的方式进行测试。
对应本发明实施例中一种断电测试方法，本发明实施例中还提供了一种断电测试系统，如图5所示为本发明实施例中一种断电测试系统的结构示意图，该系统包括：
获取模块501，用于获取断电位置变量，其中，所述断点位置变量用于指示指定程序执行到断电位置断电；
处理模块502，用于根据所述断电位置变量，跳转至指定跳转位置，并且失效断电位置；判定所述断电位置是否有效；若无效，则继续失效断电位置，并得到断电结果；将所述断电结果与预设结果匹配；若匹配，则生成提示信息，所述提示信息表征所述断电位置为允许断电位置；若不匹配，则生成告警信息，所述告警新表征所述断电位置为禁止断电位置。
进一步，在本发明实施例中，所述处理模块502，具体用于根据所述断电位置变量，获取断电返回的执行状态；对所述执行状态进行分析，若所述执行状态为未断电状态，则Setjmp方案执行结束；若所述执行状态为断电状态，则跳转至所指定跳转位置，并且失效断电位置。
进一步，在本发明实施例中，所述处理模块502，还用于根据所述断电位置变量，检测当前位置是否为断电位置；若所述当前位置为断电位置时，并且循环最小值以及循环最大值满足预设条件时，返回断电的执行状态。
进一步，在本发明实施例中，所述处理模块502，还用于判定所述循环最小值是否为零；若为零，则返回断电的执行状态，若不为零，则将断电位置加1，并判定所述循环最小值是否为循环最大值的一半；若所述循环最小值为循环最大值的一半，则返回断电的执行状态；若所述循环最小值不为循环最大值的一半，则继续判定所述循环最大值与所述循环最小值之间的差值是否为1；若为1，则返回断电的执行状态，若不为1，则结束Longjmp方案。
进一步，在本发明实施例中，所述处理模块502，还用于检测测试参数是否已经上传完成；若完成，则结束断电测试；若未完成，则继续获取断电位置变量。
尽管已描述了本申请的优选实施例，但本领域内的普通技术人员一旦得知了基本创造性概念，则可对这些实施例作出另外的变更和修改。所以，所附权利要求意欲解释为包括优选实施例以及落入本申请范围的所有变更和修改。
显然，本领域的技术人员可以对本申请进行各种改动和变型而不脱离本申请的精神和范围。这样，倘若本申请的这些修改和变型属于本申请权利要求及其等同技术的范围之内，则本申请也意图包含这些改动和变型在内。

Claims (10)

1.一种断电测试方法，其特征在于，所述方法包括：
获取断电位置变量，其中，所述断电位置变量用于指示指定程序执行到断电位置断电；
根据所述断电位置变量，跳转至指定跳转位置，并且失效断电位置；判定所述断电位置是否有效；
若无效，则继续失效断电位置，并得到断电结果；
将所述断电结果与预设结果匹配；
若匹配，则生成提示信息，所述提示信息表征所述断电位置为允许断电位置；
若不匹配，则生成告警信息，所述告警信息表征所述断电位置为禁止断电位置。
2.如权利要求1所述的方法，其特征在于，根据所述断电位置变量，跳转至所指定跳转位置，并且失效断电位置，包括：
根据所述断电位置变量，获取断电返回的执行状态；
对所述执行状态进行分析，若所述执行状态为未断电状态，则Setjmp方案执行结束；若所述执行状态为断电状态，则跳转至所指定跳转位置，并且失效断电位置。
3.如权利要求2所述的方法，其特征在于，在获取断电返回的执行状态之前，所述方法还包括：
根据所述断电位置变量，检测当前位置是否为断电位置；
若所述当前位置为断电位置时，并且循环最小值以及循环最大值满足预设条件时，返回断电的执行状态。
4.如权利要求3所述的方法，其特征在于，若所述当前位置为断电位置时，并且循环最小值以及循环最大值满足预设条件时，返回断电的执行状态，包括：
判定所述循环最小值是否为零；
若为零，则返回断电的执行状态，若不为零，则将断电位置加1，并判定所述循环最小值是否为循环最大值的一半；
若所述循环最小值为循环最大值的一半，则返回断电的执行状态；
若所述循环最小值不为循环最大值的一半，则继续判定所述循环最大值与所述循环最小值之间的差值是否为1；
若为1，则返回断电的执行状态，若不为1，则结束Longjmp方案。
5.如权利要求1所述的方法，其特征在于，在生成告警信息之后，所述方法还包括：
检测测试参数是否已经上传完成；
若完成，则结束断电测试；
若未完成，则继续获取断电位置变量。
6.一种断电测试系统，其特征在于，包括：
获取模块，用于获取断电位置变量，其中，所述断电位置变量用于指示指定程序执行到断电位置断电；
处理模块，用于根据所述断电位置变量，跳转至指定跳转位置，并且失效断电位置；判定所述断电位置是否有效；若无效，则继续失效断电位置，并得到断电结果；将所述断电结果与预设结果匹配；若匹配，则生成提示信息，所述提示信息表征所述断电位置为允许断电位置；若不匹配，则生成告警信息，所述告警信息表征所述断电位置为禁止断电位置。
7.如权利要求6所述的系统，其特征在于，所述处理模块，具体用于根据所述断电位置变量，获取断电返回的执行状态；对所述执行状态进行分析，若所述执行状态为未断电状态，则Setjmp方案执行结束；若所述执行状态为断电状态，则跳转至所指定跳转位置，并且失效断电位置。
8.如权利要求7所述的系统，其特征在于，所述处理模块，还用于根据所述断电位置变量，检测当前位置是否为断电位置；若所述当前位置为断电位置时，并且循环最小值以及循环最大值满足预设条件时，返回断电的执行状态。
9.如权利要求8所述的系统，其特征在于，所述处理模块，还用于判定所述循环最小值是否为零；若为零，则返回断电的执行状态，若不为零，则将断电位置加1，并判定所述循环最小值是否为循环最大值的一半；若所述循环最小值为循环最大值的一半，则返回断电的执行状态；若所述循环最小值不为循环最大值的一半，则继续判定所述循环最大值与所述循环最小值之间的差值是否为1；若为1，则返回断电的执行状态，若不为1，则结束Longjmp方案。
10.如权利要求6所述的系统，其特征在于，所述处理模块，还用于检测测试参数是否已经上传完成；若完成，则结束断电测试；若未完成，则继续获取断电位置变量。
CN201610808415.0A 2016-09-07 2016-09-07 一种断电测试方法及系统 Active CN106371996B (zh)

Priority Applications (1)

Application Number Priority Date Filing Date Title
CN201610808415.0A CN106371996B (zh) 2016-09-07 2016-09-07 一种断电测试方法及系统

Applications Claiming Priority (1)

Application Number Priority Date Filing Date Title
CN201610808415.0A CN106371996B (zh) 2016-09-07 2016-09-07 一种断电测试方法及系统

Publications (2)

Publication Number Publication Date
CN106371996A CN106371996A (zh) 2017-02-01
CN106371996B true CN106371996B (zh) 2019-05-28

Family

ID=57899290

Family Applications (1)

Application Number Title Priority Date Filing Date
CN201610808415.0A Active CN106371996B (zh) 2016-09-07 2016-09-07 一种断电测试方法及系统

Country Status (1)

Country Link
CN (1) CN106371996B (zh)

Families Citing this family (3)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
CN106970280B (zh) * 2017-03-30 2019-07-19 东信和平科技股份有限公司 一种智能卡断电测试的方法以及装置
CN107729196B (zh) * 2017-09-30 2020-11-27 东信和平科技股份有限公司 智能卡断电测试方法
CN118016143B (zh) * 2024-03-21 2024-08-16 星汉智能科技股份有限公司 智能卡断电测试方法、终端以及存储介质

Citations (4)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
CN101169753A (zh) * 2007-11-26 2008-04-30 中兴通讯股份有限公司 一种记录导致系统异常的函数的方法
CN101349989A (zh) * 2008-09-18 2009-01-21 浙江大学 嵌入式MIDlet远程调试软件的步进实现方法
CN103198017A (zh) * 2013-04-07 2013-07-10 武汉天喻信息产业股份有限公司 一种测试数据完整性保护的方法及装置
CN104635722A (zh) * 2014-12-15 2015-05-20 上海爱数软件有限公司 一种异常断电模拟测试装置

Family Cites Families (2)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US7426659B2 (en) * 2004-03-16 2008-09-16 Arm Limited Forced diagnostic entry upon power-up
GB2489000B (en) * 2011-03-14 2019-09-11 Advanced Risc Mach Ltd Diagnosing code using single step execution

Patent Citations (4)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
CN101169753A (zh) * 2007-11-26 2008-04-30 中兴通讯股份有限公司 一种记录导致系统异常的函数的方法
CN101349989A (zh) * 2008-09-18 2009-01-21 浙江大学 嵌入式MIDlet远程调试软件的步进实现方法
CN103198017A (zh) * 2013-04-07 2013-07-10 武汉天喻信息产业股份有限公司 一种测试数据完整性保护的方法及装置
CN104635722A (zh) * 2014-12-15 2015-05-20 上海爱数软件有限公司 一种异常断电模拟测试装置

Non-Patent Citations (1)

* Cited by examiner, † Cited by third party
Title
单片机控制系统断电后重要参数记忆方法与装置设计;梁亚鹏;《机电一体化》;20100131;第1-6页

Also Published As

Publication number Publication date
CN106371996A (zh) 2017-02-01

Similar Documents

Publication Publication Date Title
CN106371996B (zh) 一种断电测试方法及系统
CN110580226B (zh) 操作系统级程序的目标码覆盖率测试方法、系统及介质
CN104391784A (zh) 一种基于仿真的故障注入攻击方法和装置
CN105159832B (zh) 一种在应用测试中收集应用异常信息的方法、装置和系统
US20160170868A1 (en) Method and apparatus for the automated testing of a subsystem of a safety critical system
CN113157508B (zh) 嵌入式系统的测试方法、系统、装置、设备及存储介质
CN103559431A (zh) 安卓系统用户权限的检测方法、装置和系统
CN103034575A (zh) 崩溃分析方法和装置
CN103049373A (zh) 一种崩溃的定位方法和装置
CN104657263A (zh) 基于jtag调试方式实现通用型目标码覆盖率测试系统和测试方法
CN105279092A (zh) 一种软件测试的方法及装置
CN110739025A (zh) 一种存储设备掉电测试方法、装置及系统
Arcaini et al. Combining model-based testing and runtime monitoring for program testing in the presence of nondeterminism
CN104969083A (zh) 用于动态扫描调度的系统和方法
CN108572892B (zh) 一种基于PowerPC多核处理器的离线测试方法和装置
CN111897711A (zh) 代码中bug的定位方法、装置、电子设备及可读存储介质
CN112015604A (zh) 一种基于Zynq FPGA的自动化可靠性评估系统及评估方法
CN109783837A (zh) 仿真设备、仿真系统、仿真方法和仿真程序
CN103365772B (zh) 软件测试自动评价装置以及方法
CN105027089B (zh) 内核功能性检查器
CN109726115B (zh) 一种基于Intel处理器跟踪的反调试自动绕过方法
US8903700B2 (en) Concretization of abstracted traces
CN116501156A (zh) 电源时序控制方法、装置、设备及存储介质
Hoffmann et al. Experience report: White box test case generation for automotive embedded software
CN107844703B (zh) 一种基于Android平台Unity3D游戏的客户端安全检测方法及装置

Legal Events

Date Code Title Description
C06 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