文档介绍：主要内容软件测试基本方法静态分析白盒测试黑盒测试测试模式范围测试说明书测试风险测试情景测试组合测试探索测试实际练****文档分享什么是静态分析?不实际运行程序,通过检查和阅读等手段来发现错误并评估代码质量的软件测试技术。作用通过对代码标准及质量的监控提高代码可靠性尽可能早地通过对源代码的检查发现缺陷组织代码审核定位易产生错误的模块非常有效的质量保证手段越来越多地被采用文档分享静态分析的主要内容检查需求检查设计检查代码需求设计编码其它缺陷产生的原因文档分享检查需求需求的标准完整性是否完整描述一个功能正确性是否正确反应客户要求可行性必要性Goldplating?无二义性会引起歧义吗可验证性测试用例怎么写?实施无关性需求规格说明的标准完整性是否包含所有需求FURPS一致性相互矛盾重复文档分享需求检查练****例1 产品必须在固定的时间间隔内提供状态信息,并且每次时间间隔不得小于60秒。完整吗?清晰吗?例2 分析程序应该能生成HTML标记错误的报告,从而使HTML初学者可以用它来快速排错。是否有歧义?可验证吗?例3 如果可能的话,应当根据系统货物编号列表,在线确认输入的货物编号。“如果可能的话”是什么意思?文档分享需求检查练****例4 产品不应该提供将带来灾难性后果的查找和替换选择。真正的需求是什么?例5 。有歧义吗?例6 当用户选择“紧凑内存”选项时,程序通过Huffman解析矩阵方法将邮件列表数据压缩到相应的大小。可测吗?代码无关吗?文档分享规格说明用语清单绝对的肯定总是、每一种、所有、没有、从不注意隐含的假设当然、因此、显然、必然模棱两可的词某些、有时、常常、通常、经常、太多、几乎不可测的描述良好、迅速、廉价、高效、稳定隐藏的需求已处理、已拒绝、已忽略、已消除缺少的分支如果…那么…(没有“否则…”分支)文档分享检查设计在编码开始前进行检查功能设计说明,消除歧义功能的用意、总体位置输入、输出可能的错误/例外接口定义交互细节实施建议文档分享检查代码通过检查代码发现模块中的错误通过代码检查能够发现大部分的错误文档分享检查代码研究分析代码而不用实际执行包括可执行的代码和非执行的代码提供的信息度量标准容易产生错误的代码代码规则的执行流图和调用图的分析80%的问题是由于20%的代码引起的!文档分享