一种基于蜕变关系和遗传算法的自动化软件测试方法
任务关键软件的正确性是信息安全的重要组成部分,并且oracle问题经常制约到此类软件的测试.蜕变测试(MT)能够有效解决此类问题,但现有方法大多需要人为参与,且没有充分考虑程序结构的信息.本文在蜕变关系全路径对覆盖准则(APPCEM)的基础上,结合程序路径分析技术、遗传算法(GA)和蜕变测试,提出了一种自动化的测试方法.实验结果表明使用该方法能够有效地发现程序中的错误.
软件测试 自动化管理 蜕变关系 遗传算法
董国伟 郭涛
中国信息安全测评中心 北京 100085
国内会议
天津
中文
1-6
2013-11-08（万方平台首次上网日期，不代表论文的发表时间）