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

作     者：杨东 王以松 YANG Dong;WANG Yisong

作者机构：贵州大学计算机科学与技术学院贵阳550025 

基　　金：国家自然科学基金资助项目(61976065) 

出 版 物：《计算机应用》 (journal of Computer Applications)

年 卷 期：2023年第43卷第1期

页      码：215-220页

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

主 题 词：回答集程序设计 测试理论 析取回答集程序 结构化测试方法 覆盖 

学科分类：08[工学] 081202[081202] 0812[工学-测绘类] 

D　O　I：10.11772/j.issn.1001-9081.2021111891

馆 藏 号：203117964...