有效性测试的目标是发现软件实现的功能与______不一致的错误。