21、需求工程中的歧义：构建统一框架

需求工程中的歧义：构建统一框架

在需求工程领域，软件需求规格说明书（SRS）的属性研究一直是重要课题。其中，一致性和完整性被视为需求正确性的两大关键因素，直接影响软件系统能否满足用户需求。而本文聚焦于需求中的歧义现象，深入探讨其本质、来源及影响。

1. 引言

需求工程研究中，对软件需求规格说明书（SRS）属性的探讨贯穿始终。一方面，需求内容的一致性和完整性至关重要，不一致的SRS无法被有效实现，不完整的SRS也难以满足用户全部需求。另一方面，需求形式的属性，如可理解性、简洁性等也备受关注。

本文着重研究歧义现象，即同一需求可能有多种不同含义。将意图转化为需求文档，再从文档还原意图的过程复杂，准确理解其各方面对于有效管理需求十分必要。本文不提供避免或解决歧义的建议，而是深入剖析歧义的本质、引入方式及影响，并认为歧义并非总是缺陷，在需求文档和需求获取过程中可能发挥积极作用。同时，呼吁研究者借鉴符号学和语言学的成果，因为需求工程本质上也是一种语言交流。

2. 需求工程中的歧义与解释

歧义是一个复杂的多层次现象，简单定义为“有多种含义”不足以深入理解。本文采用经典指称语义方法，将语义看作从需求文本（源域）到语义指称（目标域）的映射。在需求工程中，源域、目标域和映射函数都具有模糊性。

例如，对于“系统应在一个月内删除用户并发送通知”这一需求，其含义基于符号和语言规则确定，语义指称驱动系统实现，以满足原始意图。

以下是该过程的mermaid流程图：

graph LR
    A[需求文本] --> B[语法分析]