软件测试是为了发现错误而执行程序的过程。黑盒测试法主要根据（）来设计测试用例。

G·J·Myers提出：软件测试是为了发现（）而执行程序的过程。

软件测试是为了发现并改正错误而运行程序的过程。

测试是程序的执行过程，目的在于改正错误。一个好的测试用例在于能发现至今未发现的错误；一个成功的测试是发现了至今未发现的错误的测试。

设计测试阶段要设计测试用例和测试过程，要保证测试用例完全覆盖测试需求。

系统功能测试过程中，验证需求可以正确实现的测试用例称为(32)。

召开审查会，在会中由小组成员阅读程序，以发现程序错误，同时测试员利用测试数据人工运行程序并得出输出结果，然后由参加者对结果进行审查，以达到测试的目的。这种测试方法是（）。

软件测试自动化是指利用好的测试工具以自动运行测试用例。软件测试自动化的好处在于 ______。

软件测试自动化是指利用好的测试工具以自动运行测试用例。软件测试自动化的好处在于______。

重视文档，妥善保存一切测试过程文档（测试计划、测试用例、测试报告等）。

对一个包含10000条机器指令的程序进行一个月集成测试后，总共改正了15个错误，此时MTTF=10h；经过两个月测试后，总共改正了25个错误（第二个月改正了10个错误），MTTF=15h。 要求： 根据上述数据确定MTTF与测试时间之间的函数关系，画出MTTF与测试时间τ的关系曲线。在化这条曲线是做了什么假设？

条件测试是检查程序模块中所包含逻辑条件的测试用例设计方法，注重于测试程序中的条件。BRO（Branchand Relational Operator）测试保证能发现布尔变量和关系操作符只出现一次且没有公共变量的条件中的分支和条件操作符错误。考虑条件C1：（E1>E2）&（E3”和“=”是关系运算符，则C1的条件约束至少为（）时，就可以检查C1中的关系操作符错误。