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

朴灿烈づ我的快乐病毒、 2021-10-29 16:58 524阅读 0赞

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）- 应用 –关闭  
    ![在这里插入图片描述][watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L2x5XzY2OTk_size_16_color_FFFFFF_t_70]
2.  根据选定的规则进行静态代码测试  
    实验步骤：文件- 新- 项目- 导入Microsoft VS 6.0 项目- 浏览- StaticExample3.1- ATM- ATM.dsp- 完成- Parasoft- Test Using- 用户自定义- Parasoft’s Recommended Rules  
    即可完成自动化代码静态检测  
    ![在这里插入图片描述][watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L2x5XzY2OTk_size_16_color_FFFFFF_t_70 1]
3.  审查测试结果与发现问题的修正  
    实验步骤：单击查看 报告出的任务- 依次展开列表框- 双击错误可自动定义到代码中的违规处- 修改违规行为  
    ![在这里插入图片描述][watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L2x5XzY2OTk_size_16_color_FFFFFF_t_70 2]
4.  修正代码，再次测试  
    ![在这里插入图片描述][watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L2x5XzY2OTk_size_16_color_FFFFFF_t_70 3]

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

1.  复制修改Parasoft 内建规则创建新规则  
    ![在这里插入图片描述][20190814212449936.png]
2.  使用RuleWizard 创建新规则  
    实验步骤:Parasoft- Launch RuleWizard- File- New- Rule- 适用C,C+± Auto Creat- 输入 if（a=b）- OK- 修改规则及其属性- 保存  
    ![在这里插入图片描述][watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L2x5XzY2OTk_size_16_color_FFFFFF_t_70 4]  
    ![在这里插入图片描述][watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L2x5XzY2OTk_size_16_color_FFFFFF_t_70 5]
3.  使用定制的规则进行代码的静态测试  
    ![在这里插入图片描述][watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L2x5XzY2OTk_size_16_color_FFFFFF_t_70 6]
4.  修改代码，再次测试  
    ![在这里插入图片描述][watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L2x5XzY2OTk_size_16_color_FFFFFF_t_70 7]

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

1.  导入并测试  
    ![在这里插入图片描述][watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L2x5XzY2OTk_size_16_color_FFFFFF_t_70 8]
2.  抑制不重要的错误  
    ![在这里插入图片描述][watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L2x5XzY2OTk_size_16_color_FFFFFF_t_70 9]

3.查看其他错误  
![在这里插入图片描述][watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L2x5XzY2OTk_size_16_color_FFFFFF_t_70 10]

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

[watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L2x5XzY2OTk_size_16_color_FFFFFF_t_70]: /images/20211029/9c954fefbc4b430786da461a130f2a59.png
[watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L2x5XzY2OTk_size_16_color_FFFFFF_t_70 1]: /images/20211029/ac179575a73049bfafbfce92c544cbe3.png
[watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L2x5XzY2OTk_size_16_color_FFFFFF_t_70 2]: /images/20211029/f6ccc910aa8545b1b289879926aa912b.png
[watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L2x5XzY2OTk_size_16_color_FFFFFF_t_70 3]: /images/20211029/78d6d8f832ca492d94230a57f80f0c8e.png
[20190814212449936.png]: /images/20211029/3e49ea97f3584e28a9762c8998316fc5.png
[watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L2x5XzY2OTk_size_16_color_FFFFFF_t_70 4]: /images/20211029/1aa6f6667ed54b5f8716f49da6762fe6.png
[watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L2x5XzY2OTk_size_16_color_FFFFFF_t_70 5]: /images/20211029/519424b305c04f759bd184ba18202deb.png
[watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L2x5XzY2OTk_size_16_color_FFFFFF_t_70 6]: /images/20211029/05e6cb14e4634651a30dd16ee264a6d1.png
[watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L2x5XzY2OTk_size_16_color_FFFFFF_t_70 7]: /images/20211029/a6db0a2ec3bb4f66a9ab192af98ebc1b.png
[watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L2x5XzY2OTk_size_16_color_FFFFFF_t_70 8]: /images/20211029/b32cacf837bb407eae55a9485f901ded.png
[watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L2x5XzY2OTk_size_16_color_FFFFFF_t_70 9]: /images/20211029/608dbb6154ea4f3c9a3a83244f1e6b9e.png
[watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L2x5XzY2OTk_size_16_color_FFFFFF_t_70 10]: /images/20211029/8fdbfe659ff8425197bc02231a804e3a.png