Method for Interval-based Program Invariant Detection
Cai Chen · Computer and Modernization · 2010
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.