Structural testing methods of disjunctive answer set programs

doi:10.11772/j.issn.1001-9081.2021111891

Journal of Computer Applications ›› 2023, Vol. 43 ›› Issue (1): 215-220.DOI: 10.11772/j.issn.1001-9081.2021111891

• Computer software technology • Previous Articles Next Articles

Structural testing methods of disjunctive answer set programs

YANG Dong, WANG Yisong

College of Computer Science and Technology， Guizhou University， Guiyang Guizhou 550025， China

Received:2021-11-08 Revised:2022-04-21 Online:2023-01-12
Contact: WANG Yisong， born in 1975， Ph.D.， professor. His research interests include artificial intelligence， knowledge representation and reasoning.
About author:YANG Dong， born in 1987， M. S. candidate. His research interests include artificial intelligence， knowledge representation and reasoning；
Supported by:
This work is partially supported by National Natural Science Foundation of China （61976065）.

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

杨东, 王以松

贵州大学计算机科学与技术学院，贵阳 550025

通讯作者: 王以松（1975—），男，贵州思南人，教授，博士，CCF会员，主要研究方向：人工智能、知识表示与推理。yswang@gzu.edu.cn
作者简介:杨东（1987—），男，贵州六盘水人，硕士研究生，CCF会员，主要研究方向：人工智能、知识表示与推理；
基金资助:
国家自然科学基金资助项目（61976065）。

Abstract

Abstract: 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.

Key words: Answer Set Programming (ASP), testing theory, disjunctive answer set program, structural testing method, coverage

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

关键词: 回答集程序设计, 测试理论, 析取回答集程序, 结构化测试方法, 覆盖

CLC Number:

TP301.6

YANG Dong, WANG Yisong. Structural testing methods of disjunctive answer set programs[J]. Journal of Computer Applications, 2023, 43(1): 215-220.

杨东, 王以松. 析取回答集程序设计结构化测试方法[J]. 《计算机应用》唯一官方网站, 2023, 43(1): 215-220.

References

1 GELFOND M， LIFSCHITZ V. Classical negation in logic pro-grams and deductive databases［J］. New Generation Computing， 1991， 9（3/5）：365-385. 10.1007/bf03037169
2 NGUYEN V， VASILEIOU S L， SON T C， et al. Explainable planning using answer set programming［C］// Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning. California： ijcai.org， 2020： 662-666. 10.24963/kr.2020/66
3 RIZWAN M， PATOGLU V， ERDEM E. Human robot collaborative assembly planning： an answer set programming approach［J］. Theory and Practice of Logic Programming， 2020， 20（6）： 1006-1020. 10.1017/s1471068420000319
4 FALKNER A， FRIEDRICH G， SCHEKOTIHIN K， et al. Industrial applications of answer set programming［J］. KI - Künstliche Intelligenz， 2018， 32（2/3）： 165-176. 10.1007/s13218-018-0548-6
5 IZMIRLIOGLU Y， ERDEM E. Reasoning about cardinal directions between 3-dimensional extended objects using answer set programming［J］. Theory and Practice of Logic Programming， 2020， 20（6）： 942-957. 10.1017/s1471068420000411
6 徐珩僭，王以松，冯仁艳. 一种用于Slater与Kemeny选举求解的ASP方法［J］. 计算机工程， 2019， 45（9）：198-203. 10.19678/j.issn.1000-3428.0052139 XU H J， WANG Y S， FENG R Y. An ASP method for calculating Slater and Kemeny voting［J］. Computer Engineering， 2019， 45（9）：198-203. 10.19678/j.issn.1000-3428.0052139
7 EITER T， FABER W， LEONE N， et al. The diagnosis frontend of the dlv system［J］. AI Communications， 1999， 12（1/2）： 99-111.
8 ERDEM E， WONG M D F. Rectilinear Steiner tree construction using answer set programming［C］// Proceedings of the 2004 International Conference on Logic Programming， LNCS 3132. Berlin： Springer， 2004： 386-399.
9 SUCHAN J， BHATT M， VARADARAJAN S. Out of sight but not out of mind： an answer set programming based online abduction framework for visual sensemaking in autonomous driving［C］// Proceedings of the 28th International Joint Conference on Artificial Intelligence. California： ijcai.org， 2019： 1879-1885. 10.24963/ijcai.2019/260
10 JANHUNEN T， NIEMEL? I， OETSCH J， et al. On testing answer-set programs［C］// Proceedings of the 19th European Conference on Artificial Intelligence. Amsterdam： IOS Press， 2010： 951-956. 10.1007/978-3-642-20895-9_26
11 JANHUNEN T， NIEMEL? I， OETSCH J， et al. Random vs. structure-based testing of answer-set programs： an experimental comparison［C］// Proceedings of the 2011 International Conference on Logic Programming and Nonmonotonic Reasoning， LNCS 6645. Berlin： Springer， 2011： 242-247.
12 OETSCH J， PRISCHINK M， PüHRER J， et al. On the small-scope hypothesis for testing answer-set programs［C］// Proceedings of the 13th International Conference on Principles of Knowledge Representation and Reasoning. Palo Alto， CA： AAAI Press， 2012： 43-53.
13 FEBBRARO O， LEONE N， REALE K， et al. Unit testing in ASPIDE［C］// Proceedings of the 2011 International Conference on Applications of Declarative Programming and Knowledge Management and the 2011 Workshop on Logic Programming， LNCS 7773. Berlin： Springer， 2013： 345-364.
14 BUSONIU P A， OETSCH J， PüHRER J， et al. SeaLion： an eclipse-based IDE for answer-set programming with advanced debugging support［J］. Theory and Practice of Logic Programming， 2013， 13（4/5）： 657-673. 10.1017/s1471068413000410
15 GREβLER A， OETSCH J， TOMPITS H. Harvey： a system for random testing in ASP［C］// Proceedings of the 2017 International Conference on Logic Programming and Nonmonotonic Reasoning， LNCS 10377. Cham： Springer， 2017： 229-235.
16 AMENDOLA G， BEREI T， RICCA F. Testing in ASP： revisited language and programming environment［C］// Proceedings of the 2021 European Conference on Logics in Artificial Intelligence， LNCS 12678. Cham： Springer， 2021： 362-376.
17 LEONE N， RULLO P， SCARCELLO F. Disjunctive stable models： unfounded sets， fixpoint semantics， and computation［J］. Information and Computation， 1997， 135（2）： 69-112. 10.1006/inco.1997.2630
18 GELFOND M， LIFSCHITZ V. The stable model semantics for logic programming［C］// Proceedings of the 5th International Conference and Symposium on Logic Programming. Cambridge： MIT Press， 1988： 1070-1080.
19 张涛. 软件技术基础实验教程［M］. 西安：西北工业大学出版社， 2015：111-112. ZHANG T. Basic Experiment Tutorial of Software Technology［M］. Xi’an： Northwestern Polytechnical University Press， 2015： 111-112
20 蔡立志. 软件测试导论［M］. 北京：清华大学出版社， 2016： 27-89. CAI L Z. Introduction to Software Testing［M］. Beijing： Tsinghua University Press， 2016： 27-89.
21 李香菊，孙丽，谢修娟，等. 软件工程课程设计教程［M］. 北京：北京邮电大学出版社， 2016： 72-90. LI X J， SUN L. XIE X J，et al. Design Tutorial of Software Engineering Course［M］. Beijing： Beijing University of Posts and Telecommunications Press， 2016： 72-90.

[1]	Le YANG, Damin ZHANG, Qing HE, Jiaxin DENG, Fengqin ZUO. Application of improved hunter-prey optimization algorithm in WSN coverage [J]. Journal of Computer Applications, 2024, 44(8): 2506-2513.
[2]	Hang XU, Zhi YANG, Xingyuan CHEN, Bing HAN, Xuehui DU. Coverage-guided fuzzing based on adaptive sensitive region mutation [J]. Journal of Computer Applications, 2024, 44(8): 2528-2535.
[3]	Xiuxi WEI, Maosong PENG, Huajuan HUANG. Node coverage optimization of wireless sensor network based on multi-strategy improved butterfly optimization algorithm [J]. Journal of Computer Applications, 2024, 44(4): 1009-1017.
[4]	Haixin HUANG, Guangwei YU, Shoushan CHENG, Chunming LI. Full coverage path planning of bridge inspection wall-climbing robot based on improved grey wolf optimization [J]. Journal of Computer Applications, 2024, 44(3): 966-971.
[5]	Zhongbo HU, Xupeng WANG. Multifactorial backtracking search optimization algorithm for solving automated test case generation problem [J]. Journal of Computer Applications, 2023, 43(4): 1214-1219.
[6]	Jie YANG, Mingyang ZHANG, Xiaobin RUI, Zhixiao WANG. Influence maximization algorithm based on node coverage and structural hole [J]. Journal of Computer Applications, 2022, 42(4): 1155-1161.
[7]	LI Xiang, WANG Weibing, SHANG Xueda. Application of Transformer optimized by pointer generator network and coverage loss in field of abstractive text summarization [J]. Journal of Computer Applications, 2021, 41(6): 1647-1651.
[8]	ZHANG Chen, TIAN Tian, YANG Xiuting, GONG Dunwei. Communication coverage reduction method of parallel programs based on dominant relation [J]. Journal of Computer Applications, 2021, 41(6): 1741-1747.
[9]	ZHENG Liping, WANG Jianqiang, ZHANG Yuzhao, DONG Zuofan. Vehicle number optimization approach of autonomous vehicle fleet driven by multi-spatio-temporal distribution task [J]. Journal of Computer Applications, 2021, 41(5): 1406-1411.
[10]	TAN Jinyuan, DIAO Yufeng, QI Ruihua, LIN Hongfei. Automatic summary generation of Chinese news text based on BERT-PGN model [J]. Journal of Computer Applications, 2021, 41(1): 127-132.
[11]	HAN Yulao, FANG Dingyi. Lightweight coverage hole detection algorithm based on relative position of link intersections [J]. Journal of Computer Applications, 2020, 40(9): 2698-2705.
[12]	SHI Jiaqi, TAN Li, TANG Xiaojiang, LIAN Xiaofeng, WANG Haoyu. Wireless sensor network deployment algorithm based on basic architecture [J]. Journal of Computer Applications, 2020, 40(7): 2033-2037.
[13]	CHEN Yonghong, GUO Lili, ZHANG Shibing, YANG Jie. Energy efficiency optimization of heterogeneous cellular networks based on transmitting power of pico base station [J]. Journal of Computer Applications, 2020, 40(4): 1115-1118.
[14]	Jiangfeng XU, Yulong TAN. Optimization of multidimensional index query mechanism based on HBase [J]. Journal of Computer Applications, 2020, 40(2): 571-577.
[15]	LI Ming, HU Jiangping, CAO Xiaoli, PENG Peng. Heterogeneous directional sensor node scheduling algorithm for differentiated coverage [J]. Journal of Computer Applications, 2020, 40(12): 3563-3570.

Structural testing methods of disjunctive answer set programs

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

RichHTML

PDF

Knowledge

Abstract

Cite this article

share this article

References

Related Articles 15

Recommended Articles

Metrics