汤米·詹胡宁；伊尔卡·尼梅尔；约翰内斯·奥奇；约格·普勒；汉斯·托姆皮茨 关于测试答案集程序。 （英语） Zbl 1211.68383号 Coelho，Helder（编辑）等人，ECAI 2010。第19届欧洲人工智能会议，2010年8月16日至20日，葡萄牙里斯本。包括第六届著名的人工智能应用程序（PAIS-2010）。阿姆斯特丹：IOS出版社（ISBN 978-1-60750-605-8/pbk；978-1-60750-606-5/ebook）。《人工智能与应用前沿》215951-956（2010）。 摘要：答案集编程（ASP）是一种公认的陈述性问题解决范式，但相对而言，在支持答案集程序开发的方法研究方面却很少投入精力。特别是，程序的系统测试是传统软件开发不可分割的一部分，到目前为止还没有讨论过ASP。在本文中，我们填补了这一空白，并开发了支持应答程序结构测试的概念，即，我们基于根据给定应答程序的内部结构选择的测试用例进行测试。更具体地说，我们引入了不同的覆盖概念，用于衡量测试输入集合覆盖程序某些重要结构组件的程度。特别是，我们引入了与传统测试中的路径和分支覆盖相对应的度量。我们还讨论了所考虑概念的复杂性方面，并给出了如何自动生成测试输入以增加（直至总覆盖率）的策略。关于整个系列，请参见[Zbl 1207.68003号]. 引用于1文件 MSC公司： 68T20型 人工智能背景下的问题解决（启发式、搜索策略等） 2017年第68季度 问题的计算难度（下限、完备性、近似难度等） 68T27型 人工智能中的逻辑 68立方英尺 知识表示 软件：亚萨特 PDF格式BibTeX公司 XML格式引用 \textit{T.Janhunen}等人，前面。Artif公司。智力。申请。215951-956（2010年；Zbl 1211.68383） 全文： 内政部