从业者如何获得对保证案例的信心？
软件工程
2024-11-07 v1
摘要
背景：保证案例（AC）用于论证系统的期望质量属性（例如安全性或安全性）得到满足。虽然AC得到了广泛采用，但从业者常常面临一个重要问题：我们是否确信案例所提出的主张是真实的？尽管存在许多信心评估方法（CAM），但关于这些方法在实践中使用情况的了解甚少。目标：了解AC信心评估的实践现状：实践中使用了哪些方法，以及使用这些方法存在哪些障碍？方法：对具有实际AC贡献经验的从业者进行了结构化访谈。对访谈记录进行了开放式编码。从结果中综合了AC实践现状的描述以及未来研究人员的考虑因素。结果：总共访谈了n=19名从业者。最常见的CAM是AC的（同行）评审、辩证推理（“反驳者”）以及与检查清单进行比较。参与者偏好定性方法，并对定量CAM表示担忧。使用CAM的障碍包括额外工作、指导不足、主观性和结果解释，以及方法的可信度。结论：尽管文献中描述了许多CAM，但所提出的方法与从业者的需求之间存在差距。从事该领域的研究人员应考虑以下需求：将CAM与既定实践联系起来，使用CAM与利益相关者沟通，明确CAM应用的细节，策划可访问的指导，并确认方法是可信的。
引用
@article{arxiv.2411.03657,
title = {How do practitioners gain confidence in assurance cases?},
author = {Simon Diemert and Caleb Shortt and Jens H. Weber},
journal= {arXiv preprint arXiv:2411.03657},
year = {2024}
}