论文部分内容阅读
<正>（1）采用逻辑覆盖的结构测试。逻辑覆盖又包含以下五种:语句覆盖、判定覆盖、条件覆盖、判定与条件覆盖、路径覆盖。 （2）域测试。这是一种基于程序结构的测试方法。这里的“域”是指程序的输入空间。域测试正是在分析输入空间的基础上,选择适当的测试点以后进行测试的。 （3）符号测试。符号测试是基于代数运算的一种结构测试方法。符号测试方法受分支问题、二义性问题和大程序问题的困扰,这些问题严重地影响着它的发展前景。 （4）数据流测试。数据流测试是指一个基于通过程序的控制流,从建立的数据目标状态的