随着软件工程的大规模和大范围的发展，实现单一程式的方法变得越来越多。各种可能路径的组合爆炸很容易就达到数以亿计甚至更多，如此一来，要想测试完全的可能性就变得微乎其微了。软件模