论文部分内容阅读
在开发分布系统,测试的一致被要求决定在测试(IUT ) 下面的实现是否遵循它的说明。与包含多重遥远的测试者的分布式的测试体系结构,因为作为可控制性和 observability 问题知道的问题,严峻的途径可以变得更复杂。把系统的说明的表示基于一台有限州的机器(FSM ) ,这篇论文建议一个新方法产生利用多重 UIO 序列的一个测试序列。方法被最小化对外协调消息和输入/输出操作的使用的方法实质上指导。实验被给评估建议方法。