一种区间型程序不变量检测方法

• 作者: 陈才
• 来源期刊: 计算机与现代化
• 学科: 工学
• 关键词: 程序不变量 静态分析 图形化方法
• 年，卷（期）: 2010,（3）
• 所属期刊栏目: 算法设计与分析
• 页码范围: 184-187
• 页数: 4页
• 分类号: TP306
• 字数: 3977字
• 语种: 中文
• DOI: 10.3969/j.issn.1006-2475.2010.03.052

摘要

程序不变量的发现是提高软件质量的一种有效方法.静态分析是发现程序不变量的一个研究方向.本文以数学理论为基础,结合图形化方法,对区间型不变量给出一种简单有效的静态分析方法,阐述其检测过程,并用实例进行验证说明.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	陈才	南华大学计算机科学与技术学院	1	8	1.0	1.0