| 基于JML的标记—清扫垃圾收集验证 |
| |
| 引用本文： | 宋玉婷,孙文辉. 基于JML的标记—清扫垃圾收集验证[J]. 计算机应用与软件, 2014, 0(9) |
| |
| 作者姓名： | 宋玉婷 孙文辉 |
| |
| 作者单位： | 北京交通大学计算机与信息技术学院 北京 100044 |
| |
| 摘 要： | Java中的垃圾收集机制,有效地避免了安全漏洞也提高了资源利用率。然而对于和用户程序并行执行的垃圾收集,其过程及算法的实现甚是复杂,使得可靠性难以保证。目前,基于契约的程序动态分析技术已成为软件质量保证的一个重要途径。而JML继承了契约式设计的所有优点,成为一种为Java量身定做的形式化的行为接口规范语言,用来规范Java程序模块的行为及详细设计决策。基于这种思想,通过前置条件、后置条件等规范对垃圾收集的功能进行精确描述,来确保不可达节点的正确回收和整个收集过程中内存堆数据保持和用户数据的不变性,保证了用户程序数据未被垃圾收集修改,也确保了用户程序没有干涉垃圾收集操作的正确执行。
|
| 关 键 词： | 契约试设计 Java建模语言 垃圾收集 |
MARK-AND-SWEEP GARBAGE COLLECTION VERIFICATION BASED ON JML |
| |
| SongYuting,SunWenhui. MARK-AND-SWEEP GARBAGE COLLECTION VERIFICATION BASED ON JML[J]. Computer Applications and Software, 2014, 0(9) |
| |
| Authors: | SongYuting SunWenhui |
| |
| Abstract: | |
| |
| Keywords: | Contractualdesign Javamodellinglanguage(JML) Garbagecollection |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
|
