Markov modelling and parameterisation of genetic evolutionary test generations

作者：Cheng Adriel^*; Lim Cheng Chew

来源：Journal of Global Optimization, 2011, 51(4): 743-751.

DOI：10.1007/s10898-011-9682-5

• Genetic algorithm
• Parameter selection
• Markov model
• Hardware design verification

Genetic evolutionary algorithms are effective and optimal test generation methods. However, the methods to select the algorithm parameters are often ad hoc, relying on empirical data. We used a Markov-based method to model the genetic evolutionary test generation process, parameterise the process characteristics, and derive analytical solutions for selecting the optimisation parameters. The method eliminates preliminary test generation calibration and experimentation effort needed to select these parameters, which are used in current practice.

• 出版日期2011-12