析取回答集程序设计结构化测试方法

针对析取回答集程序的结构化测试基础理论匮乏的问题，系统化地提出析取回答集程序结构化测试覆盖的概念。首先，定义针对析取回答集程序的测试用例，确立析取回答集程序的主要测试实体为程序中的逻辑规则；其次，通过对规则的头、规则的体、规则的集合等不同测试目标构建了规则覆盖、定义覆盖、环覆盖等基本概念来模拟结构化测试中的语句覆盖、分支覆盖等概念；最后，提出了析取回答集程序的测试覆盖率计算公式，并举例说明各种覆盖下的覆盖率计算方法，并讨论了析取回答集程序的部分特殊性质和关键指标。

Structural testing methods of disjunctive answer set programs

Focused on the lack of basic theories for structural testing of disjunctive answer set programs， concepts of structured test coverage for disjunctive answer set programs was proposed systematically. Firstly， the test cases of disjunctive answer set programs were defined， and the logic rules in the program were determined to be the main test entities of disjunctive answer set programs. Then， the basic concepts such as rule coverage， definition coverage and loop coverage were constructed for different test targets such as rule header， rule body， and rule set to simulate the concepts such as statement coverage and branch coverage in structural testing. Finally， the calculation formula of test coverage rate for disjunctive answer set programs was proposed， and different coverage calculation methods under different types of coverage were illustrated in samples. At the same time， some special characteristics and key indicators of the disjunctive answer set programs were discussed.