行为驱动的可解释性

arXiv:2607.24881v1 公告类型：新 摘要：随着系统复杂性的大幅增加，对于一个人或一个团队来说，全面了解整个系统的各个方面变得更加具有挑战性。特别是，当考虑系统开发生命周期的所有不同阶段（例如设计或维护）时，这一点都成立。但特别是对于安全关键系统来说，最终设计的可信度至关重要。正因为如此，可解释性正在成为现代系统的重要要求。在本文中，我们旨在通过利用行为驱动开发（BDD）来实现这一目标，其中预期的系统行为以结构化场景的形式给出。这些场景给出了每个功能的一系列操作，由此可以直接转化为解释。我们将这种基于规范导出解释的方法引入为行为驱动可解释性（BDX）。虽然适用于任何开发阶段或抽象级别，但解释 RISC-V 处理器异常的案例研究显示了此概念在系统设计期间增加的支持。