2012校科研：基于遗传算法的测试用例自动生成执行系统