并发程序测试概述

本文概述了并发程序的测试方法,包括传统程序测试的黑盒、白盒和灰盒测试,静态与动态测试,以及在软件开发不同阶段的测试。接着详细介绍了并发程序测试的重点,如并发错误类型、非确定性和确定性测试,强调了测试同步序列的重要性。最后,提出了可达性测试作为综合解决方案,旨在穷尽并发程序的可行同步序列以检测错误。
摘要由CSDN通过智能技术生成

一  传统程序测试:

(一)是否关心软件内部和实现划分:

1.黑盒测试:又称功能测试,通过测试来检验每个功能是否正常。从用户的角度,从输入数据和输出数据的对应关系出发进行测试。

2.白盒测试:又称结构型测试,按照程序内部的结构来测试程序。六种:语句覆盖、判定覆盖、条件覆盖、判定/条件覆盖、条件组合覆盖和路径覆盖发现错误的能力呈由弱至强的变化。

3.灰盒测试:是介于白盒测试与黑盒测试之间的,可以这样理解,灰盒测试关注的是输出对于输入的正确性,同时也关注内部表现。


(二)从是否执行程序来划分:

1.静态测试:是指不运行被测程序本身,仅通过分析或检查源程序的语法、结构、过程、接口等来检查程序的正确性。对需求规格说明书、软件设计说明书、源程序做结构分析、流程图分析、符号执行来找错。

2.动态测试:指通过运行被测程序,检查运行结果与预期结果的差异,并分析运行效率和健壮性等性能,这种方法由三部分组成:构造测试实例、执行程序、分析程序的输出结果。


(三)从软件开发阶段划分:

1.单元测试

2.集成测试

3.确认测试

4.系统测试


  • 0
    点赞
  • 0
    收藏
    觉得还不错? 一键收藏
  • 0
    评论
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值