基于模型检验技术的源程序分析研究

• 作者: 叶俊民 张振方 李蓉 王敬华
• 来源期刊: 微电子学与计算机
• 关键词: 模型检验 源程序分析 软件故障
• 年，卷（期）: 2009,（8）
• 页码范围: 166-170
• 页数: 5页
• 分类号: TP31
• 语种: 中文

摘要

提出并实现了一种基于模型检验的源程序分析方法,该方法的主要步骤是将C/C++源代码转换为与控制流图等价的Kripke结构,用CTL公式描述源程序待验证的性质,通过使用NuSMV模型检验工具实施对源程序分析,实验验证表明,该方法能够给实现对源程序分析的目标.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	王敬华	华中师范大学计算机科学系	31	252	9.0	14.0
2	叶俊民	华中师范大学计算机科学系	85	454	11.0	16.0
3	李蓉	华中师范大学计算机科学系	44	161	5.0	11.0
4	张振方	华中师范大学计算机科学系	2	9	2.0	2.0