30、标准是否是产品验证的无歧义参考？

标准是否是产品验证的无歧义参考？

1. 标准现状与相关研究

安全相关标准的情况自Fenton分析和建议后并无明显改善，安全相关标准及合规工作仍被视为“无计划实验”，对于标准如何及为何起作用缺乏证据。2015年，Graydon和Holloway发布NASA备忘录，阐述研讨会输入并提出研究问题、调查和实验。2010年，相关机构在需求研究中开展了标准条款歧义评估工作。

2. 基于自然语言处理的需求评估研究

这一研究方向主要关注影响需求文档质量的语言方面，旨在解决需求缺陷问题，特别是语言歧义。
- 预防歧义的策略
- 形式化方法 ：如Kof的工作、Circe - Cico、LOLITA、NL2ACTL等工具，将需求转化为形式/半形式模型和语言以预防歧义。
- 受限自然语言 ：EARS模板和Rupp’s模板是知名的编辑需求的受限格式，Arora等人定义了检查需求是否符合这些模板的方法。在铁路领域，也有将需求手动转换为形式模型的工作，如Ferrari等人将铁路自动列车保护系统需求转换为状态图模型，Ghazel和Cimatti等人用NuSMV语言形式化ERTMS/ETCS标准子集以进行形式验证。
- 检测歧义的方法
- 基于规则的方法 ：主要基于语言模式匹配，如QuARS、SREE和Gleich等人的工具。但这些方法易产生大量误报，即实际无歧义的语言歧义情况。
- 统计方法 ：Chantree等人和Yang