3、定时与概率系统形式化测试及Web应用可靠性测试综述

定时与概率系统形式化测试及Web应用可靠性测试综述

定时与概率系统测试相关工作

在定时与概率系统测试领域，除了已有的研究成果，还有许多其他值得关注的工作。

首先，现有的测试框架具有一定的通用性，可轻松修改以处理其他形式化方法，如流X机器的定时变体。不过，当前的定时框架虽能表达输入接收与输出产生之间的时间要求，但未涉及超时处理。后续研究对其进行了扩展，当系统在一定时间内未收到输入时，会触发超时并改变状态。

另外，考虑到时间信息可能无法准确反映现实情况，例如测量时间的设备不佳，测试人员可认为小误差是可接受的。

在测试方法上，之前的研究主要集中在主动测试，即测试人员向被测系统提供输入并分析接收到的输出。但在某些情况下，测试人员无法与系统交互，只能分析不受其控制的系统观测结果，从而成为被动测试人员。近年来，被动测试方法在定时系统中的定义及应用受到关注。

还有一条不同的研究路线是在定时系统测试中使用遗传算法，从给定规范导出的（可能无限的）测试用例中选择更好的测试用例。

对于概率系统测试，测试具有分布式端口的系统的概率行为是一个有趣的方向，因为在端口之间以及同一端口内的动作之间建立概率关系具有挑战性。在某些情况下，难以精确指定系统行为的概率，此时用概率区间来描述事件发生的可能性更为合适，相关的测试方法也得到了研究。

之前的方法大多是对ioco实现关系的扩展，而更具理论性的工作则是对经典的de Nicola & Hennessy测试框架进行定时和概率扩展。

Web应用可靠性测试

在Web应用可靠性测试方面，测试应用程序的可靠性通常需要一个良好的使用模型，以准确捕捉