基于模块化Abstract-Refine算法框架的软件模型检测方法

• 作者: 杜晔 王舜 韩臻
• 来源期刊: 电子学报
• 学科: 工学
• 关键词: 软件模型检测 模块化方法 抽象—精炼(Abstract-Refine) 通用算法 抽象程序
• 年，卷（期）: 2020,（5）
• 所属期刊栏目: 学术论文
• 页码范围: 997-1002
• 页数: 6页
• 分类号: TP311.5
• 字数: 6527字
• 语种: 中文
• DOI: 10.3969/j.issn.0372-2112.2020.05.022

摘要

Abstract-Refine(抽象—精炼)方法是软件模型检测领域中较为有效的设计思想,具有较高的通用性和效率优势,但目前并没有一个框架可以对其精确进行描述及实现有效的模块化使用和替换.本文提出了一种模块化的Abstract-Refine算法框架,分析和解释了Abstract-Refine算法所接受的输入程序的精细结构和特性,并对Abstract-Re-fine算法和相关子算法运用平衡操作符做以模块化解耦,使得子算法的修改和更换不需要依赖对上层的变更.经过实验验证,本方法可有效实现传统算法模块化解耦,同时不对原算法的性能造成冲击.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	韩臻	北京交通大学计算机与信息技术学院	108	966	17.0	26.0
2	杜晔	北京交通大学计算机与信息技术学院	20	75	6.0	8.0
3	王舜	北京交通大学计算机与信息技术学院	2	1	1.0	1.0