期刊论文

Application of Java modeling language during dynamically discovering likely program invariants

中文

计算机工程与设计

1000-7024

2007

28

18

4536-4538,4545

10.16208/j.issn1000-7024.2007.18.040

湖南省自然科学基金项目（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 wi...