WO2016202157A3 - 一种随机测试程序生成方法及装置、设备、存储介质 - Google Patents

一种随机测试程序生成方法及装置、设备、存储介质 Download PDF

Info

Publication number
WO2016202157A3
WO2016202157A3 PCT/CN2016/083560 CN2016083560W WO2016202157A3 WO 2016202157 A3 WO2016202157 A3 WO 2016202157A3 CN 2016083560 W CN2016083560 W CN 2016083560W WO 2016202157 A3 WO2016202157 A3 WO 2016202157A3
Authority
WO
WIPO (PCT)
Prior art keywords
testing program
random testing
storage medium
generation method
program generation
Prior art date
Application number
PCT/CN2016/083560
Other languages
English (en)
French (fr)
Other versions
WO2016202157A2 (zh
Inventor
张丰举
Original Assignee
深圳市中兴微电子技术有限公司
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 深圳市中兴微电子技术有限公司 filed Critical 深圳市中兴微电子技术有限公司
Publication of WO2016202157A2 publication Critical patent/WO2016202157A2/zh
Publication of WO2016202157A3 publication Critical patent/WO2016202157A3/zh

Links

Landscapes

  • Test And Diagnosis Of Digital Computers (AREA)
  • Debugging And Monitoring (AREA)

Abstract

一种随机测试程序生成方法，还包括一种随机测试程序生成装置、设备、存储介质。其中所述方法包括：在合法指令集中随机选择指令包并生成指令包，判断指令包是否包括分支跳转指令(110)；当指令包包括所述分支跳转指令时，判断随机测试程序是否存在第一死循环风险(120)；当随机测试程序存在第一死循环风险时，修改随机测试程序，判断随机测试程序是否存在第二循环风险(130)；当随机测试程序不存在第二循环风险时，修改全自动随机测试程序生成器状态、处理器状态和所述合法指令集(140)。
PCT/CN2016/083560 2015-06-16 2016-05-26 一种随机测试程序生成方法及装置、设备、存储介质 WO2016202157A2 (zh)

Applications Claiming Priority (2)

Application Number Priority Date Filing Date Title
CN201510334812.4 2015-06-16
CN201510334812.4A CN106325827B (zh) 2015-06-16 2015-06-16 一种随机测试程序生成方法及装置

Publications (2)

Publication Number Publication Date
WO2016202157A2 WO2016202157A2 (zh) 2016-12-22
WO2016202157A3 true WO2016202157A3 (zh) 2017-02-09

Family

ID=57544910

Family Applications (1)

Application Number Title Priority Date Filing Date
PCT/CN2016/083560 WO2016202157A2 (zh) 2015-06-16 2016-05-26 一种随机测试程序生成方法及装置、设备、存储介质

Country Status (2)

Country Link
CN (1) CN106325827B (zh)
WO (1) WO2016202157A2 (zh)

Families Citing this family (6)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
CN108875369B (zh) * 2017-05-15 2020-07-07 中国移动通信有限公司研究院 一种控制流完整性校验方法、装置和计算机存储介质
CN109240859B (zh) * 2017-07-11 2021-11-19 展讯通信（上海）有限公司 处理器验证系统及方法
CN112416666B (zh) * 2019-08-21 2022-07-12 无锡江南计算技术研究所 自检随机测试方法及随机循环测试装置
CN111523283B (zh) * 2020-04-16 2023-05-26 北京百度网讯科技有限公司 一种验证处理器的方法、装置、电子设备及存储介质
CN113760700A (zh) * 2020-08-06 2021-12-07 北京京东振世信息技术有限公司 程序死循环检测方法、装置、电子设备及存储介质
CN117112033B (zh) * 2023-08-28 2024-04-12 海光信息技术(成都)有限公司 随机指令生成方法、装置、设备以及存储介质

Citations (3)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
CN1684047A (zh) * 2004-12-24 2005-10-19 清华大学 基于边界条件和自检查随机测试的cpu约束生成验证法
CN102567169A (zh) * 2010-12-29 2012-07-11 无锡江南计算技术研究所 微处理器的测试方法及测试装置
US20140257739A1 (en) * 2013-03-07 2014-09-11 International Business Machines Corporation Implementing random content of program loops in random test generation for processor verification

Family Cites Families (6)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
JP2001222442A (ja) * 2000-02-08 2001-08-17 Fujitsu Ltd パイプライン試験方法、パイプライン試験命令生成方法及びその記憶媒体
US6948096B2 (en) * 2001-07-31 2005-09-20 Intel Corporation Functional random instruction testing (FRIT) method for complex devices such as microprocessors
CN100468357C (zh) * 2006-05-30 2009-03-11 上海科泰世纪科技有限公司 图形用户界面程序的自动测试接口及其自动测试方法
CN102736973A (zh) * 2011-04-07 2012-10-17 中国科学技术大学 不变量指导的随机测试用例自动化生成方法
CN102508780B (zh) * 2011-11-21 2014-08-20 电子科技大学 一种用于软件测试的交叉式动态法和装置
CN103150228B (zh) * 2013-02-22 2014-06-04 中国人民解放军国防科学技术大学 面向高速缓冲存储器的可综合伪随机验证方法及装置

Patent Citations (3)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
CN1684047A (zh) * 2004-12-24 2005-10-19 清华大学 基于边界条件和自检查随机测试的cpu约束生成验证法
CN102567169A (zh) * 2010-12-29 2012-07-11 无锡江南计算技术研究所 微处理器的测试方法及测试装置
US20140257739A1 (en) * 2013-03-07 2014-09-11 International Business Machines Corporation Implementing random content of program loops in random test generation for processor verification

Non-Patent Citations (2)

* Cited by examiner, † Cited by third party
Title
LUO, HANQING ET AL.: "Automatic Random Test Program Generation for DSP", MICROELECTRONICS & COMPUTER, vol. 30, no. 11, 30 November 2013 (2013-11-30), ISSN: 1000-7810 *
Y U, JIA ET AL.: "Design and ImplementatiOn ot Random Test Program Generator", MICROELECTRONICS & COMPUTER, vol. 29, no. 7, 31 July 2012 (2012-07-31), ISSN: 1000-7810 *

Also Published As

Publication number Publication date
CN106325827A (zh) 2017-01-11
WO2016202157A2 (zh) 2016-12-22
CN106325827B (zh) 2019-07-19

Similar Documents

Publication Publication Date Title
WO2016202157A3 (zh) 一种随机测试程序生成方法及装置、设备、存储介质
WO2017030619A3 (en) Techniques for distributed operation of secure controllers
EP3667593A4 (en) VIRTUAL TOKEN-BASED BILLING DEPLOYING SYSTEM, VIRTUAL TOKEN GENERATING DEVICE, VIRTUAL TOKEN-VERIFICATION SERVER, VIRTUAL TOKEN-BASED BILLING PROVISION PROCESSING AND VIRTUAL PROCESSING
EP3657327A4 (en) GAME RENDERING PROCESS, AS WELL AS METHOD, APPARATUS AND DEVICE FOR GENERATING A GAME RESOURCE FILE
EP3812920A4 (en) BLOCK CHAIN CERTIFICATE STORAGE PROCESS AND APPARATUS AND COMPUTER DEVICE
SG11201906123VA (en) Method for random access and terminal device
MY194876A (en) Methods and devices for determining precoder parameters in a wireless communication network
WO2016048515A3 (en) Techniques for distributing secret shares
WO2017171987A8 (en) System, apparatus and method for performing secure memory training and management in a trusted environment
EP3776179A4 (en) DEVICE, SYSTEMS AND METHOD WITH TRITIUM INCIDENTAL NUMBER GENERATOR
PH12017500438A1 (en) Method and apparatus for packet loss concealment, and decoding method and apparatus employing same
MX2016016511A (es) Sistema y método de identificación de operadores de sistemas de soldadura.
WO2013025586A3 (en) Apparatus and method for performing session validation
JP2015226614A5 (zh)
WO2015130675A3 (en) Apparatus and method for testing computer program implementation against a design model
SG10201709085WA (en) System, method, and program for providing virtual code, virtual code generating device, and virtual code verifying device
EP3657190A4 (en) ESTIMATE DEVICE, POWER STORAGE DEVICE, ESTIMATE METHOD AND COMPUTER PROGRAM
EP3885937A4 (en) RESPONSE GENERATION DEVICE, RESPONSE GENERATION METHOD AND RESPONSE GENERATION PROGRAM
MY185260A (en) System and method for testing photosensitive device degradation
WO2014149510A3 (en) Network of intelligent machines
MY171911A (en) A gaming machine and a method of generating a focus area
EP4080489A4 (en) SECURE RANDOM NUMBER GENERATING SYSTEM, SECURE COMPUTER DEVICE, SECURE RANDOM NUMBER GENERATION METHOD AND PROGRAM
EP3029595A3 (en) Apparatuses, mobile devices, methods and computer programs for evaluating runtime information of an extracted set of instructions based on at least a part of a computer program
SG11202009850TA (en) Inspection device, inspection results management system, inspection results storage method, and inspection results management method
EP3846070A4 (en) GENERATION PROCESS AND PROGRAM, AND INFORMATION PROCESSING DEVICE

Legal Events

Date Code Title Description
NENP Non-entry into the national phase

Ref country code: DE

122 Ep: pct application non-entry in european phase

Ref document number: 16810898

Country of ref document: EP

Kind code of ref document: A2