F007-故障软件代码的自动检测工具

F007是一个错误发现工具，可以通过分析故障系统的执行路径自动识别故障的功能。与现有的技术相比，F007能从单个失败的路径追踪到崩溃或者非崩溃的故障（如逻辑错误）。能够发现最细小故障的位置，降低开发成本。还可自动识别软件漏洞的起源，可作为集成或独立的调试器，可兼容所有程序为基础的语言。