【软件测试】使用C++ Test 进行静态测试

1. 掌握静态测试的方法。
2. 掌握使用Parasoft C++ Test进行静态测试。

测试环境

Windows XP， Parasoft C++ Test 9.2

测试内容

使用Parasoft C++ Test进行静态测试，包括静态代码规范检测、自定义代码测试规范、BugDetective静态数据流检测功能，以及形成测试报告。

测试过程及结果

（一） C++ Test 静态代码检测规则

1. 选定检测规则
   实验步骤：运行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）- 应用 –关闭
   

2. 根据选定的规则进行静态代码测试
   实验步骤：文件- 新- 项目- 导入Microsoft VS 6.0 项目- 浏览- StaticExample3.1- ATM- ATM.dsp- 完成- Parasoft- Test Using- 用户自定义- Parasoft’s Recommended Rules
   即可完成自动化代码静态检测
   

3. 审查测试结果与发现问题的修正
   实验步骤：单击查看 报告出的任务- 依次展开列表框- 双击错误可自动定义到代码中的违规处- 修改违规行为
   

4. 修正代码，再次测试
   

（二）C++ Test RuleWizard 自定义代码检测规则

1. 复制修改Parasoft 内建规则创建新规则
   

2. 使用RuleWizard 创建新规则
   实验步骤:Parasoft- Launch RuleWizard- File- New- Rule- 适用C,C+± Auto Creat- 输入 if（a=b）- OK- 修改规则及其属性- 保存
   
   

3. 使用定制的规则进行代码的静态测试
   

4. 修改代码，再次测试
   

（三）C++ Test Bugdetevtive 静态数据流分析技术

1. 导入并测试
   

2. 抑制不重要的错误
   

3.查看其他错误

通过本节实验，我学会了对代码的静态测试包括设置检测规则，修改检测规则，创建检测规则，并且学会通过审查测试结果而发现问题并且完成修正，同时对C++ Test Bugdetevtive 静态数据流分析技术也有了一定的了解和认识。我发现软件测试也并不是无聊的盯着代码找Bug，而是借助其他工具一次可以找出一个类型的错误。