佛罗伦萨伊帕特 使用状态计数对非可控流X机器进行测试。 （英语） Zbl 1088.68020号 西奥。计算。科学。 353，编号1-3，291-316（2006）. 摘要：流X机是近年来得到广泛研究的一种扩展有限状态机。流X机器将系统描述为一组有限的状态、一个称为内存的内部存储以及状态之间有限数量的转换，这些状态由函数名（处理函数）标记。使用流X机器指定系统的最大好处之一是其相关的测试方法。在特定的测试条件设计下，该方法生成一个测试套件，可以确定实现的正确性，前提是流X机器规范的处理功能已经正确实现（这可以通过使用相同方法或替代功能方法的单独测试过程进行检查）。然而，基于流X机器的测试方法的应用常常受到所需测试条件的限制性设计的阻碍。在实际应用中，这些条件是通过设计在测试完成后必须禁用的额外功能来实现的。这是一个耗时的过程，并且经常会导致错误。本文对现有方法进行了强有力的推广，这需要对试验条件进行更宽松的设计；这些在实际应用中是自然满足的，而且可以引入任何流X机器规范，而无需添加额外的功能。因此，广义方法实际上可以应用于流X机器指定的任何系统。 引用于7文件 MSC公司： 68米15 网络和计算机系统的可靠性、测试和容错 关键词：基于规范的测试;测试生成;正式规范;流式X机器;有限状态机 PDF格式BibTeX公司 XML格式引用 \文本｛F.Ipate｝，Theor。计算。科学。353，编号1--3，291--316（2006；Zbl 1088.68020） 全文： 内政部 参考文献： [1] 阿瓜多，J。；备份（&A）；l制造；nescu，T。；Cowling，T。；Gheorghe，M。；霍尔科姆，M。；Ipate，F.，P系统与复制重写和流X机器（Eilenberg机器），基金。通知。，49，1-3，17-33（2002年）·Zbl 0997.68051号 [2] 备份（&A）；l&abreve；（&A）；nescu，T.，具有输出分隔类型的广义流X机器，计算的形式方面。，12, 473-484 (2000) ·Zbl 1013.68107号 [3] 备份（&A）；l&abreve；（&A）；nescu，T。；Cowling，T。；乔治斯库，H。；Gheorghe，M。；霍尔科姆，M。；Vertan，C.，通信流X机器不比X机器多，J.Universal Compute。科学。，5, 494-507 (1999) ·Zbl 0960.68005号 [4] 备份（&A）；l&abreve；（&A）；nescu，T。；Gheorghe，M。；Holcombe，M.，《基于语法系统的决定流X机器》（Martin-Vide，C.；Mitrana，V.，《单词、序列、语法、语言：生物学、计算机科学、语言学和数学相遇的地方》，第1卷（2000年），Kluwer:Kluwer-Dordrecht），13-23·Zbl 1013.68097号 [5] 备份（&A）；l&abreve；（&A）；nescu，T。；Gheorghe，M。；霍尔科姆，M。；Ipate，F.，《测试被定义为流X机器的协作代理，人工生命的进展》，（第六届欧洲会议ECAL.第六届欧盟会议ECAL，捷克共和国布拉格，2001年9月10日至14日，施普林格：施普林格柏林），296-305·Zbl 1011.68520号 [6] T.Bélénescu，M.Gheorghe，M.Holcombe，F.Ipate，Eilenberg P Systems，收录于：Gh.Paun，G.Rozenberg，A.Salomaa，C.Zandron（编辑），膜计算，国际研讨会，WMC-CdeA 2002，罗马尼亚Curtea de Arges，2002年8月，计算机科学讲稿，第2597卷，柏林斯普林格，2003，第43-57页。；T.Bélénescu，M.Gheorghe，M.Holcombe，F.Ipate，Eilenberg P Systems，收录于：Gh.Paun，G.Rozenberg，A.Salomaa，C.Zandron（编辑），膜计算，国际研讨会，WMC-CdeA 2002，Curtea de Arges，罗马尼亚，2002年8月，计算机科学讲稿，第2597卷，柏林斯普林格，2003，第43-57页·兹比尔1023.68034 [7] 备份（&A）；l&abreve；（&A）；nescu，T。；Gheorghe，M。；伊帕特，F。；Holcombe，M.，部分指定确定性有限状态机的形式黑箱测试，Found。计算。决策系统，28，1，17-28（2003）·Zbl 1204.68116号 [8] T.Bélénescu，F.Ipate，《部分指定确定性有限状态机的Wp方法》，《布加勒斯特大学年鉴》，计算机科学，第三卷（1），2004年，第47-60页。；T.Bélénescu，F.Ipate，《部分指定确定性有限状态机的Wp方法》，《布加勒斯特大学年鉴》，计算机科学，第三卷（1），2004年，第47-60页·Zbl 1265.68098号 [9] 巴纳德·J。；Whitworth，J。；Woodward，M.，通信X机器，Inform。《软件技术》，38，401-407（1996） [10] 贝尔纳迪尼，F。；Gheorghe，M。；霍尔科姆，M.，P X\（\operatorname{systems}=P\operator name{systems\}+X\）计算机，自然计算。，2, 3, 201-213 (2003) ·Zbl 1048.68041号 [11] K.Bogdanov，M.Holcombe，F.Ipate，L.Seed，S.Vanak，《X机器的测试方法》，综述，计算的形式方面。（2006）出炉。；K.Bogdanov，M.Holcombe，F.Ipate，L.Seed，S.Vanak，《X机器的测试方法》，综述，计算的形式方面。（2006）发布·Zbl 1103.68461号 [12] Cheng，K.-T。；Krishnakumar，A.S.，使用扩展有限状态机模型自动生成功能测试，（第30届设计自动化会议，第30届自动设计会议，美国德克萨斯州达拉斯，1993年6月14日至18日，ACM出版社：新奥尔良ACM出版社），86-91 [13] Chow，T.S.，有限状态机建模的测试软件设计，IEEE Trans。软件工程，4178-187（1978）·Zbl 0379.68039号 [14] 科恩，D.，《计算机理论导论》（1991），威利出版社：威利纽约 [15] Cowling，A。；乔治斯库，H。；Vertan，C.，X机器系统中使用信道进行通信的结构化方法，计算机的形式方面。，12, 6, 458-500 (2000) ·Zbl 1013.68108号 [16] J.Dick，A.Faivre，根据基于模型的规范自动生成和排序测试用例，FME’93，First Internat。交响乐团。《欧洲的形式方法》，丹麦欧登塞，1993年4月，第268-284页，计算机科学讲义，第670卷，柏林斯普林格。；J.Dick，A.Faivre，根据基于模型的规范自动生成和排序测试用例，FME’93，First Internal。交响乐团。《欧洲的形式方法》，丹麦欧登塞，1993年4月，第268-284页，计算机科学讲义，第670卷，柏林斯普林格。 [17] S.Eilenberg，《自动化，语言和机器》，A卷，学术出版社，纽约，1974年。；S.Eilenberg，《自动化》，《语言与机器》，A卷，学术出版社，纽约，1974年·Zbl 0317.94045号 [18] 费尔特洛，M。；霍尔科姆，M。；伊帕特，F。；约旦，C。；莱科克，G。；Duan，Z.，使用X机器为盒式录像机建模，电子建模中的当前问题，3141-161（1995） [19] Fetzer，J.H.，《程序验证：想法本身》，ACM委员会，311048-1063（1988） [20] 藤原，S。；Bochmann，G.v。；Khendek，F。；阿玛卢，M。；Ghedamsi，A.，基于有限状态模型的测试选择，IEEE Trans。软件工程，17，6，591-603（1991） [21] Gaudel，M.C.，测试也可以是正式的（TAPSOFT’95（1995年3月），Springer:Springer Berlin），82-96·Zbl 1496.68107号 [22] 乔治斯库，H。；Vertan，C.，《X机器通信的新方法》，J.Universal Compute。科学。，6, 5, 490-502 (2000) ·Zbl 0960.68006号 [23] Gheorghe，M.，广义流X机器和协作分布式语法系统，计算的形式方面。，12, 6, 459-472 (2001) ·Zbl 1013.68106号 [24] Hierons，R.M.，《基于Z规范的测试》，J.软件测试验证和可靠性，7，19-33（1997） [25] Hierons，R.M。；Harman，M.，测试准非确定性流X机器的一致性，计算的形式方面。，12, 6, 423-442 (2000) ·Zbl 1013.68104号 [26] Hierons，R.M。；Harman，M.，测试确定性实现与非确定性流X机的一致性，定理。计算。科学。，323, 1-3, 191-233 (2004) ·Zbl 1078.68084号 [27] Holcombe，M.，《X机器作为动态系统规范的基础》，《软件工程杂志》，第369-76页（1988年） [28] 霍尔科姆，M。；Ipate，F.，《正确的系统：构建业务流程解决方案》（1998），施普林格：施普林格柏林·Zbl 0912.68029号 [29] M.Holcombe，F.Ipate，A.，Grondoudis，《安全关键系统的完整功能测试》，Proc。第二届IFAC新兴控制技术安全与可靠性研讨会，美国佛罗里达州代顿海滩，11月1-3日，牛津爱思唯尔，1995年，第199-204页。；M.Holcombe，F.Ipate，A.，Grondoudis，《安全关键系统的完整功能测试》，Proc。第二届IFAC新兴控制技术安全与可靠性研讨会，美国佛罗里达州代顿海滩，11月1-3日，牛津爱思唯尔，1995年，第199-204页。 [30] Ipate，F.，关于流X机的极小性，计算机。J.，46，3，295-306（2003）·Zbl 1027.68083号 [31] Ipate，F.，《完全确定性流X机器测试，计算的形式方面》。，16, 4, 374-386 (2004) ·Zbl 1061.68096号 [32] 伊帕特，F。；Holcombe，M.，《可计算性的另一种观点》，Informatica，20，359-372（1996）·Zbl 0867.68083号 [33] 伊帕特，F。；Holcombe，M.，一种经证明可以发现所有故障的集成测试方法，国际。J.计算。数学。，63, 159-178 (1997) ·Zbl 0878.68086号 [34] 伊帕特，F。；Holcombe，M.，《改进和测试通用机器规范的方法》，国际。J.计算。数学。，68, 197-219 (1998) ·Zbl 0908.68106号 [35] 伊帕特，F。；Holcombe，M.，《使用通用机器的规范和测试：演示和案例研究》，软件测试、验证和可靠性，861-81（1998） [36] 伊帕特，F。；Holcombe，M.，从非确定性广义流X机器生成测试序列，计算的形式方面。，12, 6, 443-458 (2000) ·Zbl 1013.68105号 [37] 伊帕特，F。；Holcombe，M.，流X机器的综合改进和测试方法，应用。代数工程通信计算。，13, 2, 67-91 (2002) ·兹比尔1002.68028 [38] 伊帕特，F。；Holcombe，M.，通信流X机器系统的测试条件，计算的形式方面。，13, 6, 431-446 (2002) ·Zbl 1017.68008号 [39] Kefalas等人。；Kapeti，E.，X机器规范的设计语言和工具，（Fotadis，D.I.；Nikolopoulos，S.D.，《信息学进展》（2000），《世界科学：世界科学雅典》，134-145 [40] Kehris，E。；Eleftherakis，G。；Kefalas，P.，《使用X机器对离散事件仿真程序进行建模和测试》，（Mastorakis，N.，《系统与控制：理论与应用》（2000），世界科学与工程学会出版社：世界科学和工程学会出版社，雅典），163-171 [41] Lee，D。；Yannakakis，M.，《测试有限状态机的原理和方法——调查》，Proc。IEEE，841090-1123（1996） [42] 奥斯特兰德·T·J。；Balcer，M.J.，《指定和生成功能测试的类别划分方法》，美国通信协会，31，6，667-686（1989） [43] A.Petrenko，N.Yevtushenko，G.V.Bochmann，《测试非确定性FSM规范的确定性实现》，Proc。第九国际。通信系统车间测试（IWTCS’96），1996年，第125-140页。；A.Petrenko，N.Yevtushenko，G.V.Bochmann，《测试非确定性FSM规范的确定性实现》，Proc。第九国际。通信系统车间测试（IWTCS’96），1996年，第125-140页。 [44] A.J.H.Simons，K.Bogdanov，M.Holcombe，《使用对象机器完成功能测试》，计算机科学研究部报告CS-01-18，2001年。；A.J.H.Simons，K.Bogdanov，M.Holcombe，《使用对象机器完成功能测试》，计算机科学研究部报告CS-01-18，2001年。 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。