摘要：在软件需求分析工作中，需要检验获取的需求是否同客户的需求相一致。文章提出一种基于场景的软件需求验证方法，给出了基于场景的系统模型检验验证算法，并通过一个实例对其进行了检验。该方法运用有限状态自动机对软件需求进行建模，以消息序列图描述作为验证条件的场景，对获取的需求的正确性和完备性进行验证。
　　关键词：有限状态自动机；消息序列图；需求验证；场景；活动序列