Decision ordering based property decomposition for functional test generation

2011 ◽  
Author(s):  
Mingsong Chen ◽  
P Mishra
Keyword(s):  
Test Generation ◽  
Functional Test ◽  
Property Decomposition

Automated Functional Test Generation for Digital Systems Through a Compact Binary Differential Evolution Algorithm

2015 ◽  
Vol 31 (4) ◽  
pp. 361-380 ◽  
Author(s):  
Alfonso Martinez Cruz ◽  
Ricardo Barrón Fernández ◽  
Herón Molina Lozano ◽  
Marco Antonio Ramírez Salinas ◽  
Luis Alfonso Villa Vargas
Keyword(s):  
Differential Evolution ◽  
Test Generation ◽  
Differential Evolution Algorithm ◽  
Digital Systems ◽  
Functional Test ◽  
Compact Binary ◽  
Evolution Algorithm ◽  
Binary Differential Evolution

scholarly journals An Efficient Functional Test Generation Method For Processors Using Genetic Algorithms

2015 ◽  
Vol 66 (4) ◽  
pp. 185-193 ◽  
Author(s):  
Ján Hudec ◽  
Elena Gramatová
Keyword(s):  
Genetic Algorithms ◽  
Test Generation ◽  
Functional Test ◽  
Evolutionary Strategies ◽  
Instruction Set ◽  
Functional Tests ◽  
Automatic Test Generation ◽  
Code Coverage ◽  
Fitness Functions

Abstract 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.

Functional Test Generation for Guided Control System

2010 ◽  
pp. 943-947
Author(s):  
Furat Abdul Rassul ◽  
Mohammed A. Abdulsada ◽  
Fathi R. Abusief
Keyword(s):  
Control System ◽  
Test Generation ◽  
Functional Test
Sign in / Sign up

Export Citation Format

Share Document