C程序不变量动态发现编配工具的设计  

The Design and Implement of the Instrument of Dynamically Discovering C Program Invariants

作　　者：刘杰[1] 阳小华[1] 余童兰[1] 

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

出　　处：《微计算机信息》2008年第12期233-234,237,共3页Control & Automation

基　　金：湖南省自然科学基金资助课题(项目名称:程序断言动态生成技术(05JJ30117)

摘　　要：程序不变量是用于描述程序运行过程中某些保持不变的性质的逻辑断言。程序编配的任务是通过对程序改造,暴露程序的运行轨迹,然后在通过对轨迹分析完成程序不变量的发现。程序编配是程序不变量过程中的关键步骤。本文介绍了C程序编配的工作原理和主要方法,并详细说明了采用内嵌法的编配工具的设计过程。Program invariant is a kind of logic assertion which can be used to show some true properties during the program running. Producing data trace of the running program,which is the task of program instrument,is one of the key steps to discover the pro-gram invariants.. The main principle and method of program instrument are shown in this paper. what is more,the whole process of the design of a new tool of program instrument is detailed.,which is applied to dynamically discovering C program invariants.

关 键 词：程序不变量 不变量动态发现 编配工具 

分 类 号：TP311.11[自动化与计算机技术—计算机软件与理论]