Certus：一种用于保障案例置信度评估的领域特定语言

保障案例（ACs）的编制旨在论证系统已满足关键质量属性。评估 ACs 置信度的方法有很多，包括以数值表示置信度的定量方法。虽然定量方法在原则上具有吸引力，但现有方法存在与解释、主观性、可扩展性、辩证推理和可信度相关的问题，这些问题限制了它们的采用。本文介绍了 Certus，一种用于定量置信度评估的领域特定语言。在 Certus 中，用户使用模糊集来描述其置信度，这允许他们使用模糊但在语言上有意义的术语来表达其判断。Certus 包含使用可被用户轻松检查的表达式来指定置信度传播的语法。为了展示该语言的概念，Certus 被应用于一个来自汽车领域的工作实例。