【正确答案】 C

【答案解析】[解析] A说法正确。规格导出法就是根据陈述所用语句的顺序来相应的为被测单元设计测试用例。规格导出法是一种正向的测试用例设计技术，其变化形式可以应用到保密分析、安全分析、软件故障分析或其他对单元规格说明做出补充的文件上。B说法也是正确的。比较测试是对同一软件的不同版本进行测试。就是说，针对同样的需求规格，做出不同的实现。比较测试并不能保证系统中没有错误。如果规格说明本身有错，所有的版本都可能反映该错误。另外，若各个版本产生相同但却错误的结果，比较测试也没有办法发现错误。