Security Assurance with Metamorphic Testing and Genetic Algorithm

The correctness of mission-critical software is an important part of information security, but oracle problem and test data generation are constraints for some programs. Although metamorphic testing (MT) is practical for programs with oracle problem and evolutionary testing (ET) is a good application of genetic algorithm (GA) for automatic test data generation, fitness functions used in ET are not always effective at target search. This article provides a method for improving ET´s efficiency by considering metamorphic relation (MR) when fitness function is constructed, and finally some conclusions are presented.