模型检测中虚假反例检测方法

• 作者: 刘林武 张弛
• 来源期刊: 计算机与现代化
• 学科: 工学
• 关键词: 模型检测 抽象精化 虚假反例 失效状态 抽象技术
• 年，卷（期）: 2017,（9）
• 所属期刊栏目: 人工智能
• 页码范围: 29-32,44
• 页数: 5页
• 分类号: T391.4
• 字数: 3261字
• 语种: 中文
• DOI: 10.3969/j.issn.1006-2475.2017.09.006

摘要

抽象技术是解决模型检测状态空间爆炸的一种有效方法,但其中一个重大的障碍是对系统的抽象会引入原始系统中本来不存在的行为,即可能会引入虚假反例.因此,需要根据反例对抽象模型进行精化.如何判定一个反例是虚假反例还是真实反例,在抽象精化过程中相当重要.本文根据状态的前驱和后继定义失效状态,给出虚假反例的定义,并基于此提出检测虚假反例的并行算法.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	刘林武	南京航空航天大学计算机科学与技术学院	5	1	1.0	1.0
2	张弛	南京航空航天大学计算机科学与技术学院	9	8	2.0	2.0