- 掌握静态测试的方法。
- 掌握使用Parasoft C++ Test进行静态测试。
测试环境
Windows XP, Parasoft C++ Test 9.2
测试内容
使用Parasoft C++ Test进行静态测试,包括静态代码规范检测、自定义代码测试规范、BugDetective静态数据流检测功能,以及形成测试报告。
测试过程及结果
(一) C++ Test 静态代码检测规则
-
选定检测规则
实验步骤:运行Parasoft C++Test平台- 单击Parasoft- 单击Test Configurations- 单击内建- 单击Static Analysis- 单击 Parasoft’s Recommended Rules- 右键复制- 单击用户自定义(Parasoft’s Recommended Rules)- 单击右侧静态- 在规则树中ctrl+A全选- 单击右键禁用规则- 禁用所有规则- 初始化[INIT]- 选中(init-06-1和init-09-1)- 应用 –关闭
-
根据选定的规则进行静态代码测试
实验步骤:文件- 新- 项目- 导入Microsoft VS 6.0 项目- 浏览- StaticExample3.1- ATM- ATM.dsp- 完成- Parasoft- Test Using- 用户自定义- Parasoft’s Recommended Rules
即可完成自动化代码静态检测
-
审查测试结果与发现问题的修正
实验步骤:单击查看 报告出的任务- 依次展开列表框- 双击错误可自动定义到代码中的违规处- 修改违规行为
-
修正代码,再次测试
(二)C++ Test RuleWizard 自定义代码检测规则
-
复制修改Parasoft 内建规则创建新规则
-
使用RuleWizard 创建新规则
实验步骤:Parasoft- Launch RuleWizard- File- New- Rule- 适用C,C+± Auto Creat- 输入 if(a=b)- OK- 修改规则及其属性- 保存
-
使用定制的规则进行代码的静态测试
-
修改代码,再次测试
(三)C++ Test Bugdetevtive 静态数据流分析技术
-
导入并测试
-
抑制不重要的错误
3.查看其他错误
通过本节实验,我学会了对代码的静态测试包括设置检测规则,修改检测规则,创建检测规则,并且学会通过审查测试结果而发现问题并且完成修正,同时对C++ Test Bugdetevtive 静态数据流分析技术也有了一定的了解和认识。我发现软件测试也并不是无聊的盯着代码找Bug,而是借助其他工具一次可以找出一个类型的错误。