BugDetective在Parasoft的应用
来源:互联网 发布:网络培优高中课程 编辑:程序博客网 时间:2024/05/01 18:15
BugDetective的这种独特的数据流分析技术能够帮助软件开发团队在不实际运行代码的情况下,发现关键的运行时的缺陷,同时,他还能验证单元测试用例所暴露出的缺陷
是否是在运行时会表现出来的“实际缺陷”。BugDetective可检测出很多能够逃避模式匹配静态分析以及但愿测试的缺陷,而且这些缺陷往往也是人工测试以及检测所难以
发现的。
此处的数据流不同于通信的概念,此处的是“只能以事先规定好的顺序被读取一次的数据的一个序列。”由Henzinger在1998年第一次提出。
BugDetective是Parasoft基于数据流的静态代码分析技术。这种独特的静态分析通过搜索代码中的“可疑点”,开始分析正在测试的源码。该技术使用了几种分析技巧,包括模拟应用程序执行路径,以识别可能触发运行时缺陷的路径。检测到的缺陷包括使用未初始化的内存、引用空指针、除数为零、内存和资源泄露。
查看BugDetective设置在下面:
- BugDetective在Parasoft的应用
- Parasoft
- parasoft Jtest 使用教程:防止特定应用错误的再次发生
- 在没有安装parasoft C++Test的电脑上运行单元测试用例
- parasoft Jtest 使用教程:达到80-90%的代码覆盖率
- 关于Parasoft的中更改C++test的作者计算方式
- parasoft Jtest 使用教程:修改规则与运行简单的用户自定义测试配置
- Parasoft SOATest新印象
- Parasoft Jtest学习笔记
- 应用图在地图方面的应用
- parasoft c++Test9.0破解
- 数据仓库在企业的应用
- 全面质量管理在软件业的应用
- ODS在电信行业的应用
- Guid在数据库的应用
- php在yahoo!的应用
- 控件在应用程序的应用
- PXI在虚拟仪器的应用
- android学习笔记8:RelativeLayout
- "为帮助内容存储区指定的位置无效或者您无权访问该位置"解决方法
- XP任务栏结构解析
- mysql批量导入已经格式好的文本数据
- xml文件中命名空间的含义
- BugDetective在Parasoft的应用
- ExtJs中继承机制和窗体创建(精品)
- 易语言:关闭系统
- 一段小程序
- SendMessage、PostMessage原理(1)
- 死锁的例子
- 羊城晚报《误尽苍生是语文》
- NTP时钟源
- 2011-12-16