计算机与现代化 ›› 2010, Vol. 1 ›› Issue (3): 184-4.doi: 10.3969/j.issn.1006-2475.2010.03.052

• 算法分析与设计 • 上一篇    下一篇

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

陈才   

  1. 南华大学计算机科学与技术学院,湖南 衡阳 421001
  • 收稿日期:2009-11-11 修回日期:1900-01-01 出版日期:2010-03-20 发布日期:2010-03-20

Method for Intervalbased Program Invariant Detection

CHEN Cai   

  1. School of Computer Science and Technology, University of South China, Hengyang 421001, China
  • Received:2009-11-11 Revised:1900-01-01 Online:2010-03-20 Published:2010-03-20

摘要:

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

关键词: 程序不变量, 静态分析, 图形化方法

Abstract:

The detection of program invariants is an effective way to improve software quality. Static analysis is one research direction of discovering program invariants. This paper, based on the theory of mathematic and combined with graphical methods, gives a simple and effective static analysis method for the interval invariant, describes its testing process, and validates this method with examples.

Key words: program invariants, static analysis, graphical methods