彼得·阿奇顿 交互式探测GUI应用程序静态属性的可行性。 （英文） Zbl 1119.68325号 Grelck，C.（编辑）等人，《函数语言的实现和应用》。2004年9月8日至10日在德国吕贝克举行的IFL 2004第16届国际研讨会。修订了选定的论文。柏林：施普林格出版社（ISBN 978-3-540-26094-3/pbk）。计算机科学课堂讲稿3474，17-34（2005）。 摘要：在本文中，我们探讨了应用程序用户如何以交互方式测试GUI应用程序的状态属性，这些GUI应用程序可以归类为具有静止状态的本地状态转换系统。这些属性可以在运行时添加和删除。可以保证它们的类型正确。我们研究这种方法对一个特定功能GUI库Object I/O的影响。目的是获得对交互式应用程序质量的信心，并寻找可以证明正确的属性，可能使用形式化证明工具。关于整个系列，请参见[Zbl 1119.68008号]. MSC公司： 68甲18 函数编程和lambda演算 软件：罩;帽子;OCaml公司;芙蕾雅 PDF格式BibTeX公司 XML格式引用 \文本｛P.Achten｝，Lect。注释计算。科学。3474，17-34（2005；Zbl 1119.68325） 全文： 内政部 链接