有效性测试的目标是发现软件实现的功能与下列哪个选项不一致，正确的是（）。