一种软件模型检测方法及其原型系统

• 作者: 顾滨兵
• 来源期刊: 微计算机应用
• 学科: 工学
• 关键词: 模型检测 软件验证 程序分析技术 SAT方法
• 年，卷（期）: 2010,（11）
• 页码范围: 39-46
• 分类号: TP3
• 字数: 5822字
• 语种: 中文
• DOI: 10.3969/j.issn.2095-347X.2010.11.007

摘要

模型检测是一种重要的自动化验证技术,使用该技术来保证软件安全性和可靠性已成为近年来的一个研究热点.提出的软件模型检测方法及实现的原型系统,在模型检测技术理论和方法的基础上,重点介绍该系统的基本思路和框架,并通过模型检测技术在软件质量保证领域方面的应用,结合中间代码转换、程序分析技术和基于SAT方法的模型检测技术,能够进行软件特别是并行程序的验证.