析取回答集程序设计结构化测试方法
来源：计算机应用杂志2023年第1期北京时间：
作者：杨东, 王以松
单位：贵州大学 计算机科学与技术学院，贵阳 550025
摘要：针对析取回答集程序的结构化测试基础理论匮乏的问题，系统化地提出析取回答集程序结构化测试覆盖的概念。首先，定义针对析取回答集程序的测试用例，确立析取回答集程序的主要测试实体为程序中的逻辑规则；其次，通过对规则的头、规则的体、规则的集合等不同测试目标构建了规则覆盖、定义覆盖、环覆盖等基本概念来模拟结构化测试中的语句覆盖、分支覆盖等概念；最后，提出了析取回答集程序的测试覆盖率计算公式，并举例说明各种覆盖下的覆盖率计算方法，并讨论了析取回答集程序的部分特殊性质和关键指标。
关键词：回答集程序设计,测试理论,析取回答集程序,结构化测试方法,覆盖
基金资助：国家自然科学基金资助项目（61976065）。
