IP Validation using Genetic Algorithms guided by Mutation Testing

Youssef Serrestou , Vincent Beroulle (1) , Chantal Robach (1)

1 LCIS - Laboratoire de Conception et d'Intégration des Systèmes

In this article, we propose a new approach that jointly qualifies and improves Intellectual Properties (IP) validation. This approach uses the Mutation Testing as an evaluation metric (i.e. Mutation Score) and Genetic Algorithm (GA) to improve validation data. Adaptive GA operators (e.g. crossover and genetic mutation) for the generation of test data are presented. Experimental results obtained on ITC'99 benchmark RTL descriptions show the Mutation Score (MS) enhancement achieved and compare this metric to classical metrics.

Mots clés: Validation; Genetic Algorithms (GA); Mutation Testing; Functional Verification

Domaines: Ingénierie assistée par ordinateur

Youssef Serrestou, Vincent Beroulle, Chantal Robach. IP Validation using Genetic Algorithms guided by Mutation Testing. Conference on Design of Circuit and Integrated Systems, Nov 2006, Barcelone, Spain. pp.CD. ⟨hal-00254467⟩