2.2测试用例的选取准则和预示程序
    测试用例的选取准则可以用一个三元组(P，S，T)来刻划，其中P是程序;S是规范(specification)，即与测试相关的所有信息源;T是测试用例。
    预示程序可以衡量测试是成功还是失败。现在有多种预示程序。根据被测软件的实际而自动生成预示程序是当前的研究热点。
2.3测试方法
    根据软件开发的过程，可以将测试阶段分成单元测试、部件测试、集成测试、系统测试、验证测试、安装测试、Alpha和Beta测试。测试类型可以分成:
    (1)一致性测试
     验证被测系统的测试行为与规范是否一致。
    (2)选取测试
     依据运行剖面随机地选取测试，可以明确故障，修正故障，使程序的可靠性更高。
    (3)回归测试
     回归测试是对系统或部件进行的测试，以验证修改后的程序不会产生意想不到的结果。回归测试可在测试的任何层次进行，目前回归测试的成本和工作量很大，有一种切片技术(宝库静态切片技术和动态切片技术)，
其思想是查找并修改与修改过的程序代码部分相关的代码来减少测试的工作量，保证回归测试的顺利进行。
    (4)批量测试(volume testing)
    批量测试可用于内部程序或系统资源紧张时对系统行为实施评估。现在实用的批量测试方法有:
    加压测试(stress testing)，用一些极端的方法使系统资源紧张(如内存不足、CPU运行速度变慢)，从而暴露软件缺陷，国外还有一些工具专门用来实施这种测试。
    恢复性测试(recovery testing)可以验证系统在崩溃后的自恢复能力。
    配置测试(configuration testing)可以针对不同的用户在不同的特定配置条件下进行系统分析。
    可用性测试可以检验终用户使用程序的方便性。
    背靠背测试(back一to一back)的基本思想是用同样的测试用例对同一系统运行两次，从而进行相互比较，找出其中的差异。