基于模型的软件需求验证方法研究与应用