5、网页应用可靠性测试与UML/OCL模型测试属性覆盖测量

网页应用可靠性测试与UML/OCL模型测试属性覆盖测量

1. 网页应用可靠性测试的改进使用模型

在网页应用的可靠性测试中，有一种可用于创建精确统计使用模型的方法。该模型基于应用日志文件创建，可用于可靠性测试。其使用树结构来保留从日志文件收集的关于用户行为的统计显著信息。

1.1 模型构建与缩减步骤

• 频率修剪 ：初始时非常大的树会经过频率修剪，去除几乎从未被访问的分支。
• Cochran准则测试 ：使用Cochran准则测试去除不携带可靠统计信息的状态。在这两步中被移除的状态会合并到一个传统的马尔可夫链模型（“下层马尔可夫链”）中，以捕获不常见的行为。
• 状态合并 ：修剪后的树会通过合并对应相同应用状态且用户行为在统计上相似的模型状态进一步缩减。相似性测试是经典的独立性测试，得到的“树”（称为“上层树”）包含最频繁且统计显著的行为。

在实验中，得到的混合马尔可夫使用模型比原始的序列树小得多，但仍包含所有重要的行为和覆盖信息。

1.2 与其他模型的比较

• 低阶马尔可夫使用模型 ：通常包含所有应用状态，但由于没有历史概念，无法准确捕获用户行为。而该模型的上层树保留了完整的历史信息。
• N - 元模型 ：虽然保留了长度为N - 1的历史，但无法捕获长度小于N的会话。

1.3 模型的不足