面向软件源程序的模型检验技术

• 作者: 李声涛 陈睿 顾斌
• 来源期刊: 空间控制技术与应用
• 学科: 工学
• 关键词: 软件分析 形式化方法 模型检验 源程序验证 谓词抽象
• 年，卷（期）: 2015,（2）
• 所属期刊栏目: 技术交流
• 页码范围: 57-62
• 页数: 6页
• 分类号: TP301
• 字数: 4317字
• 语种: 中文
• DOI: 10.3969/j.issn.1674-1579.2015.02.011

摘要

模型检验技术作为一种有效的形式化方法,能够提供严格的软件质量保证.介绍了面向软件源程序的模型检验技术的工作流程,并在此基础上针对规约性质描述问题,提出一种与源代码独立的、语法简单易用的、符合程序员开发习惯的规约描述语言,并给出一种轻量级的程序模型检验方法,它基于程序控制流图的路径遍历,支持函数过程内验证、函数过程间验证、规约检查.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	顾斌		19	85	6.0	8.0
2	陈睿		7	30	3.0	5.0
3	李声涛		3	0	0.0	0.0