-
题名Java建模语言在程序不变量动态发现过程中的应用
- 1
-
-
作者
刘树锟
阳小华
刘杰
-
机构
湖南涉外经济学院计算机科学与技术学部
南华大学计算机科学与技术学院
-
出处
《计算机工程与设计》
CSCD
北大核心
2007年第18期4536-4538,4545,共4页
-
基金
湖南省自然科学基金项目(05JJ30117)。
-
文摘
通过程序不变量动态生成技术,可以分析程序内部的关联属性,从而有助于设计高质量的程序代码以及规范化的程序架构。主要描述基于契约的似然程序不变量发现的基本理论模型,并结合Java建模语言进一步阐明程序断言动态生成技术及其现在产生的重点问题,针对提出的问题给出了相应的解决方法。
-
关键词
程序不变量
java建模语言
重载
行为接口规范语言
契约
程序断言
-
Keywords
program invariant
java modeling language
override
behavior interface specification language
contract
program assertion
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
-
-
题名基于JML的标记—清扫垃圾收集验证
- 2
-
-
作者
宋玉婷
孙文辉
-
机构
北京交通大学计算机与信息技术学院
-
出处
《计算机应用与软件》
CSCD
北大核心
2014年第9期32-36,共5页
-
文摘
Java中的垃圾收集机制,有效地避免了安全漏洞也提高了资源利用率。然而对于和用户程序并行执行的垃圾收集,其过程及算法的实现甚是复杂,使得可靠性难以保证。目前,基于契约的程序动态分析技术已成为软件质量保证的一个重要途径。而JML继承了契约式设计的所有优点,成为一种为Java量身定做的形式化的行为接口规范语言,用来规范Java程序模块的行为及详细设计决策。基于这种思想,通过前置条件、后置条件等规范对垃圾收集的功能进行精确描述,来确保不可达节点的正确回收和整个收集过程中内存堆数据保持和用户数据的不变性,保证了用户程序数据未被垃圾收集修改,也确保了用户程序没有干涉垃圾收集操作的正确执行。
-
关键词
契约试设计
java建模语言
垃圾收集
-
Keywords
Contractual design
java modelling language（JML）
Garbage collection
-
分类号
TP301
[自动化与计算机技术—计算机系统结构]
-
