格罗莫夫，M.L。;N.V.叶夫图申科。 非确定性自动机的自适应测试推导。 （俄语。英文摘要） 兹伯利1468.68114 普里克尔。Diskretn公司。材料。 2009年，第4（6）号，90-101（2009）. 摘要：本文致力于以下自动机模型的自适应区分实验推导：标记转移系统、非确定性、可能部分、有限状态机和时间有限状态机。这里建议的方法没有利用“全天气条件”假设，而是基于相应自动机的交集。这些实验可用于离散事件系统的测试推导和诊断。 MSC公司： 65年第68季度 形式语言和自动机 68问题85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等） 关键词：标记过渡系统;非确定性有限状态机;定时有限状态机;鉴别实验;兼容性;自适应实验 PDF格式BibTeX公司 XML格式引用 \textit{M.L.Gromov}和\textit{N.V.Yevtushenko}，Prikl。Diskretn公司。材料2009，第4（6）号，90-101（2009；Zbl 1468.68114） 全文： 跨国公司 参考文献： [1] Milner R.，通信与并发，Prentice-Hall，Inc.，Upper Saddle River，1989年·Zbl 0683.68008号 [2] Hierons R。 M.，“使用自适应状态计数从非确定性有限状态机进行测试”，IEEE Trans。计算。，53:10（2004），1330-1342·doi:10.1109/TC.2004.85 [3] Simão A.，Petrenko A.，“为部分简化有限状态机生成检查序列”，TestCom 08/命运 柏林斯普林格·弗拉格08，2008，153-168 [4] Shabaldina N.、El-Fakih K.、Yevtushenko N.，“关于可分离性关系的非确定性有限状态机测试”，《软件和通信系统测试》，柏林斯普林格出版社，2007年，305-318 [5] Merayo M.、Nuíñez M.、Rodr\'iguez I.，“时间有限状态机的形式测试”，计算机网络，52:3（2008），432-460·Zbl 1131.68029号 ·doi:10.1016/j.comnet.2007.10.002 [6] Alur R.、Courcoubetis C.、Yannakakis M.，“非确定性机器和概率机器的区分测试”，STOC 95，ACM，纽约，1995年，363-372·Zbl 0978.68522号 [7] Gromov M.，Willemse T.，“基于模型的诊断测试技术”，《软件和通信系统测试》，施普林格，柏林，2007年，138-154 [8] Gill A.，《有限状态机理论导论》，麦格劳-希尔出版社，纽约，1962年·Zbl 0158.25801号 [9] Tretmans J.，“输入、输出和重复静态的测试生成”，软件-概念和工具，17:3（1996），103-120·Zbl 0858.68061号 [10] 埃夫图申科N。 V.、Petrenko A。 F.、Vetrova M。 V.，Nedeterminrovannye avtomaty：分析与创新。第1章。乌切布Otnosheniya i operatsii。波索比，托木斯克大学，2006年，142页。 [11] Gromov M.，Popov D.，Yevtushenko N.，“推导定时有限状态机的测试套件”，IEEE东西方设计与测试研讨会论文集 08，SPD FL斯蒂芬诺夫V。 V.，哈尔科夫，2008，339-343 [12] 库法列娃一世。 B.，Primenenie nedeterminitirovannykh avtomatov v zadachakh sinteza proveryayuschikh testov dlya sistem logicheskogo upravleniya，Avtoref。dis（显示）\（\点\）和。泰肯。诺克，托木斯基大学，托木斯克，2000年，16页。 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。