基于合约的程序不变量动态检测模型研究  

Research of model of dynamical discovering program invariants based on contract

作　　者：刘树锟[1] 阳小华[2] 

机构地区：[1]湖南涉外经济学院计算机学部,湖南长沙410205 [2]南华大学计算机科学与技术学院,湖南衡阳421001

出　　处：《计算机工程与设计》2008年第23期6177-6180,共4页Computer Engineering and Design

基　　金：湖南省教育厅基金项目(08C516);湖南省自然科学基金项目(05JJ30117)。

摘　　要：讨论了程序不变量的内涵,研究并建立了程序不变量动态生成系统的理论模型。主要描述基于合约的似然程序不变量发现的基本理论模型,以及程序不变量发现的主体过程,并结合Java程序设计语言进一步阐明函数依赖程序不变量动态发现的一种方法。通过程序不变量动态生成技术,可以分析程序内部的关联属性,从而有助于设计高质量的程序代码以及规范化的程序架构。The notation of program invariant based on the contract is described, and a theory model of dynamically generating technique of program invariant is researched and built. This document gives a theory model and the main process ofthe technology ofdynamically discovering program invariants which based on the contract and shows the technology of dynamically discovering functional dependence program invariants combined with Java program language..A main method to the problems is discussed. Programmers can analyze the associate-attributes in the program and achieve the detecting of the invariants by the technology of dynamically discovering program invariants.

关 键 词：程序不变量 合约 关联属性 动态发现 模型 

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