一种面向任务关键软件安全性的自动化测试方法

摘要

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