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

Method for Interval-based Program Invariant Detection

作　　者：陈才[1] 

机构地区：[1]南华大学计算机科学与技术学院,湖南衡阳421001

出　　处：《计算机与现代化》2010年第3期184-187,共4页Computer and Modernization

摘　　要：程序不变量的发现是提高软件质量的一种有效方法。静态分析是发现程序不变量的一个研究方向。本文以数学理论为基础,结合图形化方法,对区间型不变量给出一种简单有效的静态分析方法,阐述其检测过程,并用实例进行验证说明。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 invafiant, describes its testing process, and validates this method with examples.

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

分 类 号：TP306[自动化与计算机技术—计算机系统结构]