计算机与现代化 ›› 2010, Vol. 1 ›› Issue (3): 184-4.doi: 10.3969/j.issn.1006-2475.2010.03.052
• 算法分析与设计 • 上一篇 下一篇
陈才
收稿日期:
修回日期:
出版日期:
发布日期:
CHEN Cai
Received:
Revised:
Online:
Published:
摘要:
程序不变量的发现是提高软件质量的一种有效方法。静态分析是发现程序不变量的一个研究方向。本文以数学理论为基础,结合图形化方法,对区间型不变量给出一种简单有效的静态分析方法,阐述其检测过程,并用实例进行验证说明。
关键词: 程序不变量, 静态分析, 图形化方法
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
陈才. 一种区间型程序不变量检测方法[J]. 计算机与现代化, 2010, 1(3): 184-4.
CHEN Cai. Method for Intervalbased Program Invariant Detection[J]. Computer and Modernization, 2010, 1(3): 184-4.
0 / / 推荐
导出引用管理器 EndNote|Ris|BibTeX
链接本文: http://www.c-a-m.org.cn/CN/10.3969/j.issn.1006-2475.2010.03.052
http://www.c-a-m.org.cn/CN/Y2010/V1/I3/184