一种基于蜕变关系和遗传算法的自动化软件测试方法

摘要

任务关键软件的正确性是信息安全的重要组成部分,并且oracle问题经常制约到此类软件的测试.蜕变测试(MT)能够有效解决此类问题,但现有方法大多需要人为参与,且没有充分考虑程序结构的信息.本文在蜕变关系全路径对覆盖准则(APPCEM)的基础上,结合程序路径分析技术、遗传算法(GA)和蜕变测试,提出了一种自动化的测试方法.实验结果表明使用该方法能够有效地发现程序中的错误.