摘要
通过程序不变量动态生成技术,可以分析程序内部的关联属性,从而有助于设计高质量的程序代码以及规范化的程序架构。主要描述基于契约的似然程序不变量发现的基本理论模型,并结合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.
出处
《计算机工程与设计》
CSCD
北大核心
2007年第18期4536-4538,4545,共4页
Computer Engineering and Design
基金
湖南省自然科学基金项目(05JJ30117)。
关键词
程序不变量
Java建模语言
重载
行为接口规范语言
契约
程序断言
program invariant
Java modeling language
override
behavior interface specification language
contract
program assertion
