《表2 测试用例及其结果》

  提示：宽带有限、当前游客访问压缩模式

本系列图表出处文件名：随高清版一同展现

《以RIPR模型为核心驱动的软件测试教学改革》

1. 获取 高清版本忘记账户？点击这里登录

1. 下载图表忘记账户？点击这里登录

测试预言是软件测试中一个极为重要的问题，其主要用于判定程序执行失效与否.然而，我们在《软件测试技术》的课程教学过程中往往忽视测试预言.在JUNIT中测试预言通常使用断言.例如，在图2的例子中，假设存在输入arr[]={2，7，0}，我们使用断言assertEquals（\""Nonzero in first element\""，1，NumZero.numZero （arr）） 来判定该测试用例是否产生软件失效.由RIPR模型可知，我们选择不同的观察域可能导致不同的判断.表2中给出用变量count作为观察值的测试用例及其测试结果.在测试用例1中，程序虽然执行了bug代码，但程序员观察count变量并未产生差异，则认为其成功执行.对测试用例1的观察域进行修改，如表2的1-1所示，增加了对程序中for循环的次数的观察，并修改了断言.通过比较预期结果和实际结果，很容易判定该次测试产生软件失效.