随着计算机软件规模的扩大及复杂性的提高,软件需求成为整个软件工程中的关键一环,其重要性越来越受到人们的重视。研究发现,绝大部分的软件缺陷都是在需求阶段发生的。伴随着软件开发过程的推进,要弥补这些缺陷所付出的代价也越来越大,甚至直接导致到整个软件项目的失败。在需求阶段软件缺陷产生的主要原因是用户与开发人员对需求理解的差异。使用自然语言描述的需求容易产生理解上的二义性,而使用Z语言等形式化方法描述的需求虽然简洁、严谨,但表达方式太过抽象,难以理解。因此选择合适需求描述方法,帮助用户和开发人员双方更好地明确需求内容,减少需求阶段的错误和缺陷是很有必要的。本文通过对现有需求描述方法的分析研究,提出了一种格式化的自然语言需求描述方法,主要研究内容包括:(1)依据行为单元的概念,对需求中的每一个交互步骤按照用户输入、系统判断及系统输出进行重新标记,以此来规范自然语言对需求的描述。(2)利用行为切片算法,通过分析交互事件的流程及用户与系统之间交互行为的关系,将自然语言描述的需求内容进一步格式化,从而得到一个具有统一结构的格式化输出结果。这样的表达方式既保留了自然语言易于理解、便于阅读的优点,同时确保了需求描述的准确性和完整性。(3)构建实验环境,将行为切片算法应用到用户需求的分析整理中。实验结果表明该方法在软件项目中可以减少需求阶段错误和缺陷的产生,提高了软件开发的效率,为用户和开发人员就需求内容的沟通提供了有效途径。本文将行为单元的概念应用到自然语言需求描述方法中,通过行为切片算法得到一种统一的、规范的格式化需求描述,并验证了该方法在减少需求理解差异、提高软件开发效率上的有效性。