首页> 中文期刊> 《微电子学与计算机》 >基于模型检验技术的源程序分析研究

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

开具论文收录证明 >>

期刊封面封底目录下载 >>

文献代查 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

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

著录项

来源
《微电子学与计算机》 |2009年第8期|166-170|共5页
作者
叶俊民; 张振方; 王敬华; 李蓉;
展开▼
作者单位

华中师范大学计算机科学系;

展开▼
原文格式 PDF
正文语种 chi
中图分类计算机软件;
关键词
模型检验; 源程序分析; 软件故障;

相似文献

中文文献
外文文献
专利

1. 面向软件源程序的模型检验技术 [J] . 李声涛 ,陈睿 ,顾斌 . 空间控制技术与应用 . 2015,第002期
2. 基于模型检验的软件安全静态分析研究 [J] . 黄锦 ,陈晓苏 ,肖道举 . 微计算机信息 . 2007,第030期
3. 基于模型定义技术（MBD技术）的分析研究 [J] . 石秀芬 . 机械管理开发 . 2013,第003期
4. 进口贸易技术溢出对高技术产业技术创新的影响——基于PVAR模型的检验 [J] . 金成国 ,李达耀 ,黄伟新 . 企业经济 . 2021,第12期
5. FDI技术溢出对高技术产业技术进步的门槛效应研究——基于吸收能力与金融发展视角的门限模型检验 [J] . 李斌 ,李倩 ,祁源 . 对外经济贸易大学学报：国际商务版 . 2016,第003期
6. 基于模型检验技术的源程序分析研究 [C] . 叶俊民 ,张振方 ,王敬华 . 2009年全国开放式分布与并行计算学术年会 . 2009
7. 基于可满足性问题解算器的有界模型检验——子句规则和冲突分析研究 [A] . 尹文波 . 2007

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

客服微信
服务号