22、需求工程中的歧义性：统一框架探索

需求工程中的歧义性：统一框架探索

在需求工程领域，歧义性是一个常见且复杂的问题。一个看似简单的需求语句，如 “The system shall delete the user and send the notification within a month.”，实际上可能存在词汇、句法和语义上的歧义，这使得在缺乏更多信息的情况下，正确实现该需求变得困难重重。然而，歧义性并非完全是有害的，它在需求规格说明中也能发挥积极作用。

1. 歧义性、抽象性与缺失性

• 歧义性 ：指同一源文本在语义空间中存在多种指称。无论是句法歧义、语义歧义还是词汇问题导致的，其本质都是同一源文本具有多种不同的语义。由于缺乏单一、明确且共享的语义来驱动实现和验证，歧义性常被视为需求中的缺陷。
• 抽象性 ：是指省略某些细节或信息内容。歧义性可作为一种抽象形式，缺失的细节是用于区分多种语义以确定正确语义的信息。在一定程度上，抽象性被认为是需求中的理想特性，它可以避免过度指定，简化需求，使利益相关者能够专注于重要部分。
• 缺失性 ：是指在某些特定方面完全缺乏细节，是抽象性的极端情况，有时也被称为“沉默”。作为抽象性的特殊情况，缺失性也与歧义性相关。它是需求获取的主要动机，因为规格说明中的知识漏洞通常被认为是危险的，需要通过深入研究问题及其领域来填补。

例如，在 “The system shall delete the user and send the notification within a month.” 这个需求中，使用 “mo