AN EFFICIENT FUNCTIONAL TEST GENERATION METHOD FOR PROCESSORS USING GENETIC ALGORITHMS

被引:8
|
作者
Hudec, Jan [1 ]
Gramatova, Elena [1 ]
机构
[1] Slovak Univ Technol Bratislava, Fac Informat & Informat Technol, Bratislava 84216, Slovakia
关键词
processor; testing; functional test; test generation; genetic algorithm; evolutionary strategy;
D O I
10.2478/jee-2015-0031
中图分类号
TM [电工技术]; TN [电子技术、通信技术];
学科分类号
0808 ; 0809 ;
摘要
The paper presents a new functional test generation method for processors testing based on genetic algorithms and evolutionary strategies. The tests are generated over an instruction set architecture and a processor description. Such functional tests belong to the software-oriented testing. Quality of the tests is evaluated by code coverage of the processor description,using simulation. The presented test generation method uses VHDL models of processors and the professional simulator ModelSim. The rules, parameters and fitness functions were defined for various genetic algorithms used in automatic test generation. Functionality and effectiveness were evaluated using the RISC type processor DP32.
引用
收藏
页码:185 / 193
页数:9
相关论文
共 50 条
  • [21] An Adequacy Based Test Data Generation Technique Using Genetic Algorithms
    Malhotra, Ruchika
    Garg, Mohit
    JOURNAL OF INFORMATION PROCESSING SYSTEMS, 2011, 7 (02): : 363 - 384
  • [22] Functional coverage driven test generation for validation of pipelined processors
    Mishra, P
    Dutt, N
    DESIGN, AUTOMATION AND TEST IN EUROPE CONFERENCE AND EXHIBITION, VOLS 1 AND 2, PROCEEDINGS, 2005, : 678 - 683
  • [23] Simulation-based functional test generation for embedded processors
    Wen, CHP
    Wang, LC
    Cheng, KT
    HLDVT'05: TENTH ANNUAL IEEE INTERNATIONAL HIGH-LEVEL DESIGN VALIDATION AND TEST WORKSHOP, PROCEEDINGS, 2005, : 3 - 10
  • [24] Simulation-based functional test generation for embedded processors
    Wen, Charles H. -P.
    Wang, Li-C.
    Cheng, Kwang-Ting
    IEEE TRANSACTIONS ON COMPUTERS, 2006, 55 (11) : 1335 - 1343
  • [25] Genetic algorithms for dynamic test data generation
    Michael, CC
    McGraw, GE
    Schatz, MA
    Walton, CC
    AUTOMATED SOFTWARE ENGINEERING, 12TH IEEE INTERNATIONAL CONFERENCE, PROCEEDINGS, 1997, : 307 - 308
  • [26] Genetic algorithms in test generation for digital circuits
    Skobtsov, YA
    Ivanov, DE
    Skobtsov, VY
    Zakusilo, SA
    BEC 2002: PROCEEDINGS OF THE 8TH BIENNIAL BALTIC ELECTRONIC CONFERENCE, 2002, : 291 - 294
  • [27] Hard Test Generation for Augmenting Path Maximum Flow Algorithms using Genetic Algorithms: Revisited
    Buzdalov, Maxim
    Shalyto, Anatoly
    2015 IEEE CONGRESS ON EVOLUTIONARY COMPUTATION (CEC), 2015, : 2121 - 2128
  • [28] A method of test generation for path delay faults using stuck-at fault test generation algorithms
    Ohtake, S
    Ohtani, K
    Fujiwara, H
    DESIGN, AUTOMATION AND TEST IN EUROPE CONFERENCE AND EXHIBITION, PROCEEDINGS, 2003, : 310 - 315
  • [29] Test Data Generation for Event-B Models Using Genetic Algorithms
    Dinca, Ionut
    Stefanescu, Alin
    Ipate, Florentin
    Lefticaru, Raluca
    Tudose, Cristina
    SOFTWARE ENGINEERING AND COMPUTER SYSTEMS, PT 3, 2011, 181 : 76 - 90
  • [30] Batch-optimistic test-cases generation using genetic algorithms
    Sofokleous, Anastasis A.
    Andreou, Andreas S.
    19TH IEEE INTERNATIONAL CONFERENCE ON TOOLS WITH ARTIFICIAL INTELLIGENCE, VOL I, PROCEEDINGS, 2007, : 157 - +