计算机工程与科学2011，Vol.33Issue(3)：108-112,5.DOI:10.3969/j.issn.1007-130X.2011.03.020
程序不变量检测技术
Detection Techniques of Program Invariants
摘要
Abstract
Design by contract is an important technology which can be used to improve software quality. Contract can express the basic properties which are invisible to the users and the conditions used to guarantee the correct results of programs. Program invariant is a kind of contract including class invariants, preconditions invariants and post-conditions invariants. The program invariants can be applied to the range of program verification and software test. In this paper, the current mainstream research technology of detecting program invariants is described and the main process and key methods of discovering the invariants are shown.关键词
程序不变量/检测技术/程序编配/运行追踪Key words
program invariant/ detection technology/ program instrument/ running trace分类
信息技术与安全科学引用本文复制引用
刘树锟,阳小华..程序不变量检测技术[J].计算机工程与科学,2011,33(3):108-112,5.基金项目
湖南省教育厅基金资助项目(08C516) （08C516）
湖南省自然科学基金资助项目(05JJ30117) （05JJ30117）
