Journals
  Publication Years
  Keywords
Search within results Open Search
Please wait a minute...
For Selected: Toggle Thumbnails
Structural testing methods of disjunctive answer set programs
YANG Dong, WANG Yisong
Journal of Computer Applications    2023, 43 (1): 215-220.   DOI: 10.11772/j.issn.1001-9081.2021111891
Abstract241)   HTML9)    PDF (712KB)(70)       Save
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.
Reference | Related Articles | Metrics