14、风险驱动的软件测试：CORAL语言与轻量级概率估计方法

风险驱动的软件测试：CORAL语言与轻量级概率估计方法

1. 引言

在软件测试领域，风险驱动的测试方法正逐渐受到重视。国际标准强调了在测试中使用风险信息的重要性，但在实际应用中，许多公司尤其是中小企业，仍以非正式的方式进行基于风险的测试，主要依赖专家意见或直觉。本文将介绍用于风险驱动安全测试的CORAL语言，以及一种轻量级的风险概率估计方法。

2. CORAL语言概述

CORAL语言专为风险驱动的安全测试而设计，其目标受众是安全测试人员。设计该语言时，考虑了多个重要的设计决策，以下是一些关键决策的说明：
- 选择图形语言而非增强代码 ：图形语言更直观，便于安全测试人员理解系统中的风险关系，而增强代码可能会增加代码的复杂性，不利于测试人员的操作。
- 在序列图中嵌入风险相关注释 ：相较于使用单独的表格或攻击树，序列图能更清晰地展示交互过程中的风险，使测试人员更好地把握风险在系统流程中的位置。
- 基于序列图而非其他UML符号 ：序列图能够有效地描述对象之间的消息传递和交互顺序，与风险分析中的流程和交互紧密相关，更适合用于风险驱动的安全测试。
- 不将自然语言表达式形式化 ：形式化自然语言表达式可能会使图表变得复杂，降低其可读性和可理解性，不利于安全测试人员的使用。

3. 风险驱动测试的背景

风险驱动测试将软件产品相关的风险作为测试过程各阶段决策的指导因素。风险由概率和影响两个因素决定，评估软件功能或组件的风险暴露需要对这两个因素进行估计。影响通常