9、数据库组件验证策略与时间触发通信协议故障注入研究

数据库组件验证策略与时间触发通信协议故障注入研究

1. ODBMS 组件验证策略

在对 ODBMS 组件 Ozone 进行故障注入验证时，采用了一种基于风险的策略。为激活 Ozone 的功能，使用了在其网站上找到的基准应用程序 OO7。同时，运用了工具 Jaca 进行故障注入，该工具可注入接口故障，即影响对象公共接口的方法和属性。

此策略旨在根据潜在风险帮助选择用于注入的对象和方法。为识别有风险的对象和方法，该策略会考虑多个因素，如复杂度指标、与 Ozone 组件的交互等。

进行了 2700 次实验，其中 45 次出现了故障，表现为数据库损坏。结果部分证实了故障注入策略的推断，即与 Ozone 交互且复杂度较高的类是导致观察到的故障的原因。然而，导致故障的并非复杂度较高的方法，而是实现关键功能的方法。这表明该策略需要进一步改进，以考虑其他标准，如使用频率、类或方法对目标应用程序的重要性等。

尽管还需要进一步的实验，但可以得出以下结论：
- 基于风险的策略在没有现场数据时，对选择故障位置很有用。
- Jaca 对于验证仅提供 API 的现成组件很有用。

目前正在进行进一步的实验，这次是将故障直接注入目标组件的类中。从长远来看，还计划验证 Ozone 1.1 版本，以比较其与当前版本的改进情况。

2. 时间触发通信协议的重离子故障注入

在可靠的分布式系统中，通信链路是一个关键组件，有严格的可靠性要求。时间触发协议（TTP/C）就是为满足这些要求而开发的。为验证其设计，使用重离子对 TTP/C 集群中的一个节点进行了故障注入。

2.1 实验方法

<