佛罗伦萨伊帕特;都铎州巴勒内斯库 有限状态机测试中的改进。 （英语） Zbl 1102.68066号 芬丹。通知。 64，编号1-4191-203（2005）. 摘要：本文形式化了有限状态机的两种精化：OR精化和p-OR精化。对于每种类型的精化，它表明，如果实现也是通过精化过程构建的，那么Chow的测试生成方法的应用程序可以分布到更小的块中，从而减少了用于测试的工作量和最终测试集的大小。 MSC公司： 65年第68季度 形式语言和自动机 94C12号机组 故障检测；电路和网络测试 关键词：有限状态机;测试;测试生成;验证;\（W\）-方法 PDF格式BibTeX公司 XML格式引用 \textit｛F.Ipate｝和\textit｛T.Bălănescu｝，Fundam。通知。64，编号1--4，191-203（2005；Zbl 1102.68066） 全文： 链接