摘要
程序不变量的发现是提高软件质量的一种有效方法。静态分析是发现程序不变量的一个研究方向。本文以数学理论为基础,结合图形化方法,对区间型不变量给出一种简单有效的静态分析方法,阐述其检测过程,并用实例进行验证说明。
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.
出处
《计算机与现代化》
2010年第3期184-187,共4页
Computer and Modernization
关键词
程序不变量
静态分析
图形化方法
program invariants
static analysis
graphical methods
