完全不考虑程序的内部结构和内部特征，而只是根据程序功能导出测试用例的测试方法是

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

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

软件测试主要指程序测试，在软件生存期个阶段所产生的文档不是软件测试的对象。

软件生存周期一般划分为六个阶段，包括软件项目计划、 （） 、软件设计、程序编码、软件测试以及运行维护。

软件生存周期一般划分为六个阶段，包括项目计划、（）、软件设计、程序编码、软件测试以及运行维护。

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

从下列关于软件测试的叙述中，选出5条正确的叙述。 （1）用黑盒法测试时，测试用例是根据程序内部逻辑设计的。 （2）尽量用公共过程或子程序去代替重复的代码段。 （3）测试是为了验证该软件已正确地实现了用户的要求。 （4）对于连锁型分支结构，若有n个判定语句，则有2n条路径。 （5）尽量采用复合的条件测试，以避免嵌套的分支结构？ （6）GOTO语句概念简单，使用方便，在某些情况下，保留GOTO语句反能使写出的程序更加简洁。 （7）发现错误多的程序模块，残留在模块中的错误也多。 （8）黑盒测试方法中最有效的是因果图法。 （9）在做程序的单元测试时，桩（存根）模块比驱动模块容易编写。 （10）程序效率的提高主要应通过选择高效的算法来实现。

严格说来，有两种不同的路径覆盖测试，分别为程序路径覆盖和程序图路径覆盖。这两种测试可分别称为程序的自然执行和强迫执行。所谓自然执行是指测试者（人或计算机）读入程序中的条件表达式，根据程序变量的当前值计算该条件表达式的值（真或假），并相应地分支。强迫执行是在用程序图作为程序的抽象模型时产生的一个人为的概念，它可以简化测试问题。强迫执行的含义是，一旦遇到条件表达式，测试者就强迫程序分两种情况（条件表达式的值为真和为假）执行。显然，强迫执行将遍历程序图的所有路径，然而由于各个条件表达式之间存在相互依赖的关系，这些路径中的某一些在自然执行时可能永远也不会进入。为了使强迫执行的概念在实际工作中有用，它简化测试工具的好处应该超过它使用额外的不可能达到的测试用例所带来的坏处。在绝大多数情况下，强迫执行的测试数并不比自然执行的测试数大很多，此外，对强迫执行的定义实际上包含了一种技术，能够缩短在测试含有循环的程序时所需要的运行时间。程序的大部分执行时间通常用于重复执行程序中的DO循环，特别是嵌套的循环。因此必须发明一种技术，使得每个DO循环只执行一遍。这样做并不会降低测试的功效，因为经验表明第一次或最后一次执行循环时最容易出错。 Laemmel教授提出的自动测试每条路径的技术如下：当编写程序时每个DO循环应该写成一种包含测试变量T和模式变量M的特殊形式，因此： 选取一个包含循环和IF语句的程序，用Laemmel技术修改这个程序，上机实际测试这个程序并解释所得到的结果。

严格说来，有两种不同的路径覆盖测试，分别为程序路径覆盖和程序图路径覆盖。这两种测试可分别称为程序的自然执行和强迫执行。所谓自然执行是指测试者（人或计算机）读入程序中的条件表达式，根据程序变量的当前值计算该条件表达式的值（真或假），并相应地分支。强迫执行是在用程序图作为程序的抽象模型时产生的一个人为的概念，它可以简化测试问题。强迫执行的含义是，一旦遇到条件表达式，测试者就强迫程序分两种情况（条件表达式的值为真和为假）执行。显然，强迫执行将遍历程序图的所有路径，然而由于各个条件表达式之间存在相互依赖的关系，这些路径中的某一些在自然执行时可能永远也不会进入。为了使强迫执行的概念在实际工作中有用，它简化测试工具的好处应该超过它使用额外的不可能达到的测试用例所带来的坏处。在绝大多数情况下，强迫执行的测试数并不比自然执行的测试数大很多，此外，对强迫执行的定义实际上包含了一种技术，能够缩短在测试含有循环的程序时所需要的运行时间。程序的大部分执行时间通常用于重复执行程序中的DO循环，特别是嵌套的循环。因此必须发明一种技术，使得每个DO循环只执行一遍。这样做并不会降低测试的功效，因为经验表明第一次或最后一次执行循环时最容易出错。 Laemmel教授提出的自动测试每条路径的技术如下：当编写程序时每个DO循环应该写成一种包含测试变量T和模式变量M的特殊形式，因此： 设计一个程序按照Laemmel技术自动修改待测试的程序。利用这个测试工具修改上一问中人工修改的程序，两次修改得到的结果一致吗？

严格说来，有两种不同的路径覆盖测试，分别为程序路径覆盖和程序图路径覆盖。这两种测试可分别称为程序的自然执行和强迫执行。所谓自然执行是指测试者（人或计算机）读入程序中的条件表达式，根据程序变量的当前值计算该条件表达式的值（真或假），并相应地分支。强迫执行是在用程序图作为程序的抽象模型时产生的一个人为的概念，它可以简化测试问题。强迫执行的含义是，一旦遇到条件表达式，测试者就强迫程序分两种情况（条件表达式的值为真和为假）执行。显然，强迫执行将遍历程序图的所有路径，然而由于各个条件表达式之间存在相互依赖的关系，这些路径中的某一些在自然执行时可能永远也不会进入。为了使强迫执行的概念在实际工作中有用，它简化测试工具的好处应该超过它使用额外的不可能达到的测试用例所带来的坏处。在绝大多数情况下，强迫执行的测试数并不比自然执行的测试数大很多，此外，对强迫执行的定义实际上包含了一种技术，能够缩短在测试含有循环的程序时所需要的运行时间。程序的大部分执行时间通常用于重复执行程序中的DO循环，特别是嵌套的循环。因此必须发明一种技术，使得每个DO循环只执行一遍。这样做并不会降低测试的功效，因为经验表明第一次或最后一次执行循环时最容易出错。 Laemmel教授提出的自动测试每条路径的技术如下：当编写程序时每个DO循环应该写成一种包含测试变量T和模式变量M的特殊形式，因此： 怎样把Laemmel技术推广到包含WHILE DO 和REPEAT UNTIL语句的程序？

对软件正确性的描述可以划分为6种不同的情况分别为：程序编写得无语法错误、程序运行中未发现明显的运行错误、程序中无不适当语句、程序运行中能通过典型的有效测试数据，而得到正确的预期效果、程序运行中能通过典型的无效测试数据，而得到正确的预期结果和（）。