有效性测试的目标是发现软件实现的功能与需求规格说明书不一致的错误，通常采用的测试技术是（）。