当今的软件日趋复杂,软件开发已成为涉及众多权益相关者的一个长期复杂的过程。在这个过程中,形成了目标系统的多个部分模型,由于不同权益相关者所持的不同出发点,这些模型可能存在分歧。分歧的存在对于软件开发虽然有不利影响,但是分歧的出现揭示了潜在的需求问题,对于改进软件需求过程,提高需求分析质量有促进作用;另一方面,新的软件开发方式在客观上造成了分歧现象的加剧,需求分歧已经成为软件开发中的常见问题。因此,对需求分歧的研究有着重要意义。本文讨论了现有的需求分歧分析方法的局限性,并根据这些方法局限性的形成原因,将自动机理论与多值逻辑相结合,提出了基于多值逻辑状态机的需求分歧分析方法。在描述方法上,将软件需求分为状态集合和事件集合,用自动机进行描述,有利于保存全局信息;在分歧处理上,使用多值逻辑进行事件分歧分析,提高了分歧消除的灵活性和通用性。最后,介绍了根据本文方法实现的一个需求分歧分析工具SRIA,并用通过一个实例证明了本文方法的有效性。需求本质上属于主观意愿范畴,用户的意愿对于需求至关重要,因此追求需求分歧处理的完全自动化不仅实现复杂,而且不具有太大的实际意义。本文方法在力求改进需求分歧处理的过程中,重视用户意见的参与,通过不断的调整达到最好的分歧处理结果。