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