Java建模语言在程序不变量动态发现过程中的应用  

Application of Java modeling language during dynamically discovering likely program invariants

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

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

出　　处：《计算机工程与设计》2007年第18期4536-4538,4545,共4页Computer Engineering and Design

基　　金：湖南省自然科学基金项目(05JJ30117)。

摘　　要：通过程序不变量动态生成技术,可以分析程序内部的关联属性,从而有助于设计高质量的程序代码以及规范化的程序架构。主要描述基于契约的似然程序不变量发现的基本理论模型,并结合Java建模语言进一步阐明程序断言动态生成技术及其现在产生的重点问题,针对提出的问题给出了相应的解决方法。Programmers can analyze the associate-attributes in the program and achieve the detecting of the invariants by the technology of dynamically discovering program invariants. So designing the standard program flames and program codes of high quality can benefit from the program invariants. This document gives a theory model of the technology of dynamically discovering program invariants which based on the contract and shows the technology of dynamically discovering program invariants and some important problems about the technology combined with Java modeling language. A main method to the problems is discussed.

关 键 词：程序不变量 Java建模语言 重载 行为接口规范语言 契约 程序断言 

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