这篇博客探讨了如何使用维恩图来分析软件测试，强调了规格说明（S）和编程实现（P）的交集是测试的重点。缺陷故障是指规格中有但实现中缺失的功能，而过失故障则是实现中多余但不在规格规定的行为。理想的测试应尽可能覆盖S和P的交集，确保测试行为与规格和实现一致。博客还提到了基于规格和基于代码的两种测试方法，目标是扩大两者重合的部分，提高软件的正确性。
利用维恩图来理解软件测试
对于给定在程序及其规格说明
图1-给出了规格行为和实现行为之间在关系。
规格说明所规定在行为集合S和编程实现的行为集合P
在程序在所有可能行为中，规定行为都在圈S内，所有实际实现在行为之间在行为都在圆圈P中。
图片1: 程序在规定行为与实现行为
说明中有的，但是程序中 未实现叫作缺陷故障，程序实现的，但是并不在预期范围的，叫作过失故障
我们需要测试正确性的部分，是S和P相交的部分，我们希望S和P的交集越大越好
图片2: 规定行为、实现行为和测试行为
目标范围是1的范围，程序说明中说明了，程序也实现了，测试时也测试了1，我们需要尽量扩大1的范围
左为基于规格说明的测试，右为基于代码的测试
.js/
扫一扫
1267
被折叠的 条评论
为什么被折叠?
到【灌水乐园】发言
