BugDetective的这种独特的数据流分析技术能够帮助软件开发团队在不实际运行代码的情况下,发现关键的运行时的缺陷,同时,他还能验证单元测试用例所暴露出的缺陷
是否是在运行时会表现出来的“实际缺陷”。BugDetective可检测出很多能够逃避模式匹配静态分析以及但愿测试的缺陷,而且这些缺陷往往也是人工测试以及检测所难以
发现的。
此处的数据流不同于通信的概念,此处的是“只能以事先规定好的顺序被读取一次的数据的一个序列。”由Henzinger在1998年第一次提出。
BugDetective是Parasoft基于数据流的静态代码分析技术。这种独特的静态分析通过搜索代码中的“可疑点”,开始分析正在测试的源码。该技术使用了几种分析技巧,包括模拟应用程序执行路径,以识别可能触发运行时缺陷的路径。检测到的缺陷包括使用未初始化的内存、引用空指针、除数为零、内存和资源泄露。
查看BugDetective设置在下面: