有效性测试的目标是发现软件所实现的功能和_________不一致的错误，因此它通常采用_________测试技术。