奥马尔·恩格纳·蒂莫；亚历山大·佩特伦科；拉梅什，S。 通过约束求解检查符号输入/输出FSM的序列生成。 （英语） Zbl 1518.68349号 Fischer，Bernd（ed.）等人，《计算的理论方面——2018年ICTAC》。2018年10月16日至19日，第十五届国际学术讨论会，南非斯特伦博什。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。11187, 354-375 (2018). 摘要：在测试中重置反应系统可能是不可能的，也可能非常昂贵，这可能会迫使测试人员避免。在这种情况下，测试人员通常希望生成一个检查序列，即满足所选测试标准的唯一输入序列。针对无功系统的给定故障模型，提出了一种生成具有完全故障覆盖的检查序列的方法。系统用有限状态机（FSM）的扩展来表示，其符号输入和输出是基于可能具有无限域的输入和输出变量的谓词。在我们的设置中，检查序列由符号输入组成，故障域可以表示复杂故障。该方法包括构建和求解布尔表达式，以迭代地细化和扩展符号输入序列。我们使用我们开发的原型工具评估该方法的效率。关于整个系列，请参见[Zbl 1398.68027号]. MSC公司： 68T20型 人工智能背景下的问题解决（启发式、搜索策略等） 68米15 网络和计算机系统的可靠性、测试和容错 65年第68季度 形式语言和自动机 关键词：扩展FSM；符号输入/输出FSM；检查顺序；故障建模；故障检测；约束求解 PDF格式BibTeX公司 XML格式引用 \textit{O.Nguena Timo}等人，Lect。注释计算。科学。11187354--375（2018年；Zbl 1518.68349） 全文： 内政部