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

• 来源期刊: 电脑与电信
• 学科: 工学
• 关键词: 故障系统 检测工具 软件代码 自动识别 逻辑错误 开发成本 软件漏洞 调试器
• 年，卷（期）: 2011,（11）
• 所属期刊栏目: 国际合作项目推荐
• 页码范围: 28-28
• 分类号: TP308
• 字数: 964字
• 语种: 中文

摘要

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