彼得·科普曼;彼得·阿克滕;莱纳斯·普拉斯梅耶 使用逻辑属性和状态机进行基于模型的测试。 （英语） Zbl 1348.68033号 安迪·吉尔（编辑）等人，《函数语言的实现和应用》。2011年10月3日至5日，美国堪萨斯州劳伦斯市，第23届国际研讨会，IFL 2011。修订了选定的论文。柏林：施普林格出版社（ISBN 978-3-642-34406-0/pbk；978-3-442-34407-7/电子书）。计算机科学课堂讲稿7257116-133（2012）。 概要：单个功能的基于模型的测试通常基于逻辑属性作为规范。实际上，开发一组足够强大的属性来发现所有错误似乎相当困难。对于基于状态的系统的基于模型的测试，通常使用状态机作为模型，并使用此规范与被测软件之间的一致性关系。对于（抽象）数据类型，我们可以使用两种基于模型的测试方法。在本文中，我们比较了制作一个能够发现问题的模型所需的规范工作量和发现一些已知数据类型的问题所需的测试数量。我们的示例表明，编写基于状态的规范更容易。此外，基于状态的数据类型测试可以发现更多的实现问题，并且非常有效。关于整个系列，请参见[Zbl 1321.68011号]. MSC公司： 68甲18 函数编程和lambda演算 60年第68季度 规范和验证（程序逻辑、模型检查等） 68问题65 抽象数据类型；代数规范 软件：轻松检查;快速检查;小支票 PDF格式BibTeX公司 XML格式引用 \textit{P.Koopman}等人，Lect。注释计算。科学。7257，116--133（2012；Zbl 1348.68033） 全文： 内政部