论文部分内容阅读
针对宇航飞行软件对于软件可靠性、安全性设计的要求,本文提出一种基于PYTHON语言实现的宇航飞行软件缺陷检测程序,通过对源代码进行预处理和筛选,生成测试驱动文件,再对测试驱动文件传输到虚拟机系统,依托开源的KLEE生成并运行测试用例,将测试用例运行结果汇总到前端显示,从而实现并验证缺陷检测程序。