|
灰太狼和红太狼（它们是用户）从羊羊村抓了6只羊放在羊圈（云）中，并且羊圈总共有5扇门。现在它们想吃羊，但是有一定的条件：
l 吃羊必须经过两个步骤： u 将羊经过5扇门中任何其中一扇从羊圈中牵出 u 将羊吃掉 l 从同一扇门中可以分批次牵出1至5只羊不等。 l 总共能从羊圈中牵出5只羊。 l 抓出来的羊归属一旦确定，不能相互交换，即灰太狼的羊不能给红太狼吃，反之亦然。 l 从羊圈中抓羊的事情只有灰太狼能完成，如果红太狼想吃羊，必须要灰太狼去抓，并且灰太狼每经过一扇门，就要将抓来的羊中分一只给灰太狼，作为酬劳。 l 在羊从羊圈中牵出后，如果狼突然不想吃羊了，可以将羊放回羊圈中。 l 从同一扇门中牵出的，当前还没有吃掉的羊，如果想放回羊圈中，必须同时放回，不可以单独放回。 l 上述同一扇门中放回的羊，如果突然之间又想吃了，可以选择一次性将这些羊从羊圈中牵出。 l 在开始抓羊前，灰太狼和红太狼知道羊圈中总共有6只羊，但是在抓羊的过程中灰太狼和红太狼不知道羊圈中还剩余多少只羊。
我们要验证的是： l 在满足上述条件的前提下，灰太狼和红太郎抓羊，吃羊都能正常进行。 l 当灰太狼和红太狼从羊圈中不管以哪种方式牵出了5只羊后，如果它们想牵出第6只羊，系统将给出警告：“牵羊失败，请从羊羊村再5只羊放在羊圈中！”
现在我们来分析探索一下上述灰太狼与红太狼抓羊与吃羊模型该怎么测试，情况很复杂，原因主要分为以下几点： l 灰太狼抓羊经过的门可以有5种选择。 l 5扇门（测试设备）在真实的测试环境中由于资源受限，无法达到这个要求。 l 红太狼要吃羊要靠灰太狼去抓，且要分给灰太狼一只，且没有一一配对原则存在。 l 羊不吃的情况还可以将羊放回羊圈，而且还有限制条件。 l 在抓羊未到6只得前提下，系统不能给出任何提示，灰太狼和红太狼也不能清点羊圈中羊的数量。
情况复杂到我连完整的数据流程图都画不出来，所以如果按照场景测试方法，根本无法下手，即使能写出一些，也不可能做到高覆盖率或全覆盖率。还有其他办法吗，或许想到了组合测试，但仔细想想，组合测试也不适合，因为组合测试的对上述原因中的第二和第三点无能无力。杯具啊！看来只能妥协了，既然做不到全覆盖路径，看来只能测试基本路径了： l 灰太狼能抓羊，吃羊。 l 红太狼能靠灰太狼抓羊，且自己能吃羊。 l 能将没吃的，且从同一扇门中牵出的羊送回羊圈。（这个需要通过后续其它门中牵出羊的数量来加以验证）
为了保证云应用提供商的利益（不能牵出第6只羊），我们还必须对资源耗尽后（已经牵出了5只羊）的各种情况加以覆盖： l 灰太狼再从羊圈中抓羊会失败。 l 红太狼委托灰太狼抓羊会失败。 l 从任何一扇门尝试抓羊都会失败。
至此，测试能做的似乎也只能这样了，总觉得有些许遗憾，因为对于场景的覆盖还没有找到很好的办法加以全列举或组合列举，希望通过苦练用例设计的内功能在将来的某一天找到合适的方法来重新审视这个案例！ |
|
|
