【正确答案】 B

【答案解析】[解析] 规格导出的测试是根据相关的规格说明书描述来设计测试用例，每个测试用例用来测试一个或多个规格说明的陈述语句。规格导出法就是根据陈述所用语句的顺序来相应地为被测单元设计测试用例，故规格导出法是一种正向的测试用例设计技术，选项B说法不正确。错误猜测法主要就是基于经验的测试方法，对于一个有经验的工程师，错误猜测法可能是一个最有效的设计测试用例发现问题的方法。在大多数情况下，等价类测试和边界值测试可以从单元的功能规格说明中导出，只有单元内部的边界要从单元的结构化规格说明中找到。比较测试是对同一软件的不同版本的系统进行测试，并不能够保证系统中没有错误，因为若规格说明本身有错，所有的版本都可能反映该错误，另外，若各个版本产生相同但却错误的结果，比较测试也是没有办法发现错误的。