程序模型检测的两阶段框架

• 作者: 张大方 缪力
• 来源期刊: 计算机应用
• 学科: 工学
• 关键词: 程序模型检测 流分析 Spin 程序分析
• 年，卷（期）: 2007,（12）
• 所属期刊栏目: 软件技术与典型应用
• 页码范围: 3089-3091
• 页数: 3页
• 分类号: TP311.5
• 字数: 4182字
• 语种: 中文

摘要

模型检测是一种对有限状态变迁系统验证其时态逻辑性质的重要方法,可以弥补测试技术的不足.基于流分析的程序模型检测和基于语言转换的程序模型检测是当前程序模型检测的主要方法,它们都存在各自的局限性.基于对这两种程序模型检测方法各自优缺点的分析,提出了一种两阶段程序模型检测框架,通过结合两种程序模型检测方法,可有效提高程序模型检测对较大规模程序的适用性.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	张大方	湖南大学软件学院	295	2498	22.0	33.0
2	缪力	湖南大学软件学院	35	167	8.0	10.0