CN101894063B - 一种用于微处理器功能验证的测试程序生成方法及装置 - Google Patents
一种用于微处理器功能验证的测试程序生成方法及装置 Download PDFInfo
- Publication number
- CN101894063B CN101894063B CN2010102012166A CN201010201216A CN101894063B CN 101894063 B CN101894063 B CN 101894063B CN 2010102012166 A CN2010102012166 A CN 2010102012166A CN 201010201216 A CN201010201216 A CN 201010201216A CN 101894063 B CN101894063 B CN 101894063B
- Authority
- CN
- China
- Prior art keywords
- population
- test procedure
- covering
- row
- 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
Links
- 238000000034 method Methods 0.000 title claims abstract description 71
- 238000010998 test method Methods 0.000 claims description 140
- 230000006870 function Effects 0.000 claims description 134
- 238000012360 testing method Methods 0.000 claims description 28
- 238000012217 deletion Methods 0.000 claims description 16
- 230000037430 deletion Effects 0.000 claims description 16
- 238000006243 chemical reaction Methods 0.000 claims description 14
- 230000009467 reduction Effects 0.000 claims description 14
- 238000012545 processing Methods 0.000 claims description 10
- 238000013100 final test Methods 0.000 claims description 8
- 230000035772 mutation Effects 0.000 claims description 8
- 230000009897 systematic effect Effects 0.000 claims description 6
- 230000001131 transforming effect Effects 0.000 claims description 6
- 238000004321 preservation Methods 0.000 claims description 3
- 238000004088 simulation Methods 0.000 abstract description 6
- 210000004027 cell Anatomy 0.000 description 26
- 230000008569 process Effects 0.000 description 23
- 238000013461 design Methods 0.000 description 16
- 238000004422 calculation algorithm Methods 0.000 description 14
- 238000012795 verification Methods 0.000 description 14
- 238000005516 engineering process Methods 0.000 description 9
- 238000010586 diagram Methods 0.000 description 6
- 238000004364 calculation method Methods 0.000 description 5
- 230000000694 effects Effects 0.000 description 5
- 230000008859 change Effects 0.000 description 3
- 210000000349 chromosome Anatomy 0.000 description 3
- 230000005284 excitation Effects 0.000 description 3
- 238000013459 approach Methods 0.000 description 2
- PCHJSUWPFVWCPO-UHFFFAOYSA-N gold Chemical compound [Au] PCHJSUWPFVWCPO-UHFFFAOYSA-N 0.000 description 2
- 239000010931 gold Substances 0.000 description 2
- 229910052737 gold Inorganic materials 0.000 description 2
- 238000005457 optimization Methods 0.000 description 2
- 239000000047 product Substances 0.000 description 2
- 230000004083 survival effect Effects 0.000 description 2
- 101100202428 Neopyropia yezoensis atps gene Proteins 0.000 description 1
- 230000009286 beneficial effect Effects 0.000 description 1
- 239000012141 concentrate Substances 0.000 description 1
- 239000008358 core component Substances 0.000 description 1
- 238000012942 design verification Methods 0.000 description 1
- 238000011161 development Methods 0.000 description 1
- 238000011156 evaluation Methods 0.000 description 1
- 230000010429 evolutionary process Effects 0.000 description 1
- 239000012467 final product Substances 0.000 description 1
- 238000010353 genetic engineering Methods 0.000 description 1
- 230000014759 maintenance of location Effects 0.000 description 1
- 238000007726 management method Methods 0.000 description 1
- 238000004519 manufacturing process Methods 0.000 description 1
- 238000013507 mapping Methods 0.000 description 1
- 230000005055 memory storage Effects 0.000 description 1
- 239000000203 mixture Substances 0.000 description 1
- 238000005192 partition Methods 0.000 description 1
- 238000011056 performance test Methods 0.000 description 1
- 238000013439 planning Methods 0.000 description 1
- 238000012913 prioritisation Methods 0.000 description 1
- 108090000623 proteins and genes Proteins 0.000 description 1
- 238000011160 research Methods 0.000 description 1
Images
Abstract
Description
Claims (8)
Priority Applications (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
CN2010102012166A CN101894063B (zh) | 2010-06-13 | 2010-06-13 | 一种用于微处理器功能验证的测试程序生成方法及装置 |
Applications Claiming Priority (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
CN2010102012166A CN101894063B (zh) | 2010-06-13 | 2010-06-13 | 一种用于微处理器功能验证的测试程序生成方法及装置 |
Publications (2)
Publication Number | Publication Date |
---|---|
CN101894063A CN101894063A (zh) | 2010-11-24 |
CN101894063B true CN101894063B (zh) | 2012-09-26 |
Family
ID=43103258
Family Applications (1)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
CN2010102012166A Active CN101894063B (zh) | 2010-06-13 | 2010-06-13 | 一种用于微处理器功能验证的测试程序生成方法及装置 |
Country Status (1)
Country | Link |
---|---|
CN (1) | CN101894063B (zh) |
Cited By (1)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN108694103A (zh) * | 2017-04-11 | 2018-10-23 | 北京君正集成电路股份有限公司 | 一种检测cpu的方法及装置 |
Families Citing this family (4)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN102567165B (zh) * | 2011-12-29 | 2014-04-23 | 中国科学院自动化研究所 | 对寄存器传输级硬件实现进行验证的系统及方法 |
CN105630680B (zh) * | 2015-12-28 | 2018-12-18 | 中国科学院微电子研究所 | 一种随机测试程序生成方法 |
CN109557460B (zh) * | 2019-02-18 | 2019-05-28 | 深兰人工智能芯片研究院(江苏)有限公司 | 一种基于fpga的卷积神经网络算法的测试方法及设备 |
CN111523283B (zh) * | 2020-04-16 | 2023-05-26 | 北京百度网讯科技有限公司 | 一种验证处理器的方法、装置、电子设备及存储介质 |
Citations (3)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN1873626A (zh) * | 2005-06-01 | 2006-12-06 | 中兴通讯股份有限公司 | 一种自动生成桩和驱动函数的单元测试系统及方法 |
CN101436128A (zh) * | 2007-11-16 | 2009-05-20 | 北京邮电大学 | 软件测试用例自动生成方法及系统 |
CN101551842A (zh) * | 2009-05-05 | 2009-10-07 | 天津大学 | 一种基于模型驱动的安全测试方法 |
-
2010
- 2010-06-13 CN CN2010102012166A patent/CN101894063B/zh active Active
Patent Citations (3)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN1873626A (zh) * | 2005-06-01 | 2006-12-06 | 中兴通讯股份有限公司 | 一种自动生成桩和驱动函数的单元测试系统及方法 |
CN101436128A (zh) * | 2007-11-16 | 2009-05-20 | 北京邮电大学 | 软件测试用例自动生成方法及系统 |
CN101551842A (zh) * | 2009-05-05 | 2009-10-07 | 天津大学 | 一种基于模型驱动的安全测试方法 |
Cited By (1)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN108694103A (zh) * | 2017-04-11 | 2018-10-23 | 北京君正集成电路股份有限公司 | 一种检测cpu的方法及装置 |
Also Published As
Publication number | Publication date |
---|---|
CN101894063A (zh) | 2010-11-24 |
Similar Documents
Publication | Publication Date | Title |
---|---|---|
Ding et al. | Improved particle swarm optimization algorithm based novel encoding and decoding schemes for flexible job shop scheduling problem | |
Coello et al. | Solving multiobjective optimization problems using an artificial immune system | |
Rahimi-Vahed et al. | A multi-objective scatter search for a mixed-model assembly line sequencing problem | |
Campos et al. | Context-independent scatter and tabu search for permutation problems | |
Musharavati et al. | Enhanced simulated-annealing-based algorithms and their applications to process planning in reconfigurable manufacturing systems | |
CN101894063B (zh) | 一种用于微处理器功能验证的测试程序生成方法及装置 | |
CN104239213A (zh) | 一种面向航天器自动化测试的并行测试任务两阶段调度方法 | |
García‐Hernández et al. | Facility layout design using a multi‐objective interactive genetic algorithm to support the DM | |
Da Ronco et al. | A simplex crossover based evolutionary algorithm including the genetic diversity as objective | |
Ljubic | Exact and memetic algorithms for two network design problems | |
Senin et al. | Concurrent assembly planning with genetic algorithms | |
Babazadeh et al. | A novel meta-heuristic approach to solve fuzzy multi-objective straight and U-shaped assembly line balancing problems | |
Carr et al. | Scalable contour tree computation by data parallel peak pruning | |
CN105260746A (zh) | 一种可扩展的多层集成多标记学习系统 | |
Wang et al. | Solving task scheduling problems in cloud manufacturing via attention mechanism and deep reinforcement learning | |
CN108594079A (zh) | 一种配电网故障定位方法、装置和计算机可读介质 | |
CN102799960A (zh) | 面向数据模型的并行业务流程异常检测方法 | |
CN114239237A (zh) | 一种支持数字孪生的配电网仿真场景生成系统与方法 | |
CN104392317A (zh) | 一种基于遗传文化基因算法的项目调度方法 | |
Andersson et al. | Pareto optimization using the struggle genetic crowding algorithm | |
Maashi | A Comprehensive Review of Software Testing Methodologies Based on Search-based Software Engineering | |
CN104375827B (zh) | 基于高层设计的交互式软件自动化重构方法 | |
Cayir Ervural | A combined methodology for evaluation of electricity distribution companies in Turkey | |
Chen et al. | A hybrid evolution algorithm for VLSI floorplanning | |
Lu et al. | An island-based GA implementation for VLSI standard-cell placement |
Legal Events
Date | Code | Title | Description |
---|---|---|---|
C06 | Publication | ||
PB01 | Publication | ||
C10 | Entry into substantive examination | ||
SE01 | Entry into force of request for substantive examination | ||
ASS | Succession or assignment of patent right |
Owner name: JI NAN ZHONGZHI INFORMATION TECHNOLOGY CO., LTD. B Effective date: 20111229 |
|
C41 | Transfer of patent application or patent right or utility model | ||
TA01 | Transfer of patent application right |
Effective date of registration: 20111229 Address after: 100080, Beijing Haidian District Zhongguancun 151 North Street, building 11, resources Applicant after: Beida Zhongzhi Microsystem Science and Technology Co., Ltd., Beijing Co-applicant after: Jinan Dpstor Co., Ltd. Co-applicant after: Peking University Address before: 100080, Beijing Haidian District Zhongguancun 151 North Street, building 11, resources Applicant before: Beida Zhongzhi Microsystem Science and Technology Co., Ltd., Beijing |
|
C14 | Grant of patent or utility model | ||
GR01 | Patent grant | ||
C41 | Transfer of patent application or patent right or utility model | ||
TR01 | Transfer of patent right |
Effective date of registration: 20160425 Address after: 100080 Beijing City, Haidian District Zhongguancun No. 151 North Street Yanyuan resources building room 1107 Patentee after: Beijing Zhongzhi core technology Co. Ltd. Patentee after: Peking University Address before: 100080, Beijing Haidian District Zhongguancun 151 North Street, building 11, resources Patentee before: Beida Zhongzhi Microsystem Science and Technology Co., Ltd., Beijing Patentee before: Jinan Dpstor Co., Ltd. Patentee before: Peking University |