基于服务依赖图的诊断准确性验证

通过该仿真实验，我们主要验证基于服务依赖图的统计诊断方法的诊断准确性。我们共进行3组实验，这3组实验共需要4组实验数据，4组实验数据都是通过仿真实验系统产生的，具体设置如下：

（1）第一组实验数据G1包含10组Web服务，每一组包含100个Web服务，并且每组中的Web服务都具有相同的行为个数（这10组Web服务的行为个数分别是10，20，…，100）。G1中的所有Web服务都不包含结构行为。这里所说的结构行为主要包括并发、选择和循环。也就是说，G1中的Web服务都是顺序结构，不包含控制和并发控制依赖关系。

（2）第二组实验数据G2同样包含10组Web服务，每一组包含100个Web服务，并且每组中的Web服务都具有相同的行为个数（这10组Web服务的行为个数分别是10，20，…，100）。与G1不同的是，G2中的所有Web服务都包含一定比例的结构行为，且每个Web服务的结构行为个数与总的行为个数比均为1∶5。也就是说，如果Web服务的行为个数是10，那么其中有2个是结构行为；如果Web服务的行为个数是50，那么其中就有10个是结构行为。

（3）第三组实验数据G3包含6组Web服务，每一组包含100个Web服务，并且每组中的Web服务都具有相同的行为个数（这6组Web服务的行为个数分别是50，60，…，100）。G3中的所有Web服务都具有10个结构行为，即：如果Web服务中行为总个数是50，那么其中有10个是结构行为；如果Web服务中行为总个数是100，那么其中有10个是结构行为。(www.xing528.com)

（4）第四组实验数据G4共包含40组Web服务，且每组中都包含100个Web服务。这40组Web服务又被归为5类，每类中的Web服务的行为个数都是相同的，我们将这五类标号为L1、L2、L3、L4和L5，且每类都包含8组Web服务。L1中的所有Web服务中都包含60个行为，且这8组中的Web服务具有不同的结构行为个数。第一组Web服务不包含结构行为；在第二组每个Web服务的60个行为中，两个是结构行为；在第三组每个Web服务的60个行为中，4个是结构行为；在第四组每个Web服务的60个行为中，6个是结构行为；在第五组每个Web服务的60个行为中，8个是结构行为；在第六组每个Web服务的60个行为中，10个是结构行为；在第七组每个Web服务的60个行为中，12个是结构行为；在第八组每个Web服务的60个行为中，14个是结构行为。L2中的所有Web服务中都包含70个行为，L3中的每个Web服务包含80个行为，L4中的每个Web服务包含90个行为，L5中的每个Web服务包含100个行为，而每类中的8组Web服务的设置都与L1类似，每一个小组中的Web服务都具有不同的结构行为个数。

对于以上4组实验数据，我们通过实验系统为每一个Web服务都随机选择一个行为作为故障行为，并且设定该行为发生故障的概率是0.79，其余行为则设定为一直成功执行，依此概率我们为每个服务生成100条执行路径。