Generation of Test Data Using Genetic Algorithm and Constraint Solver

Dinh, Ngoc-Thi1, Vo, Hieu-Dinh1, Vu, Thi-Dao2, Nguyen, Viet-Ha1
2Academy of Cryptography Techniques

Tóm tắt

Search-based testing techniques using genetic algorithm (GA) can automatically generate test data that achieves high coverage on almost any given program under test. GA casts the path coverage test data generation as an optimization problem and applies efficient...