基于JML的标记-清扫垃圾收集验证

• 作者: 孙文辉 宋玉婷
• 来源期刊: 计算机应用与软件
• 学科: 工学
• 关键词: 契约试设计 Java建模语言 垃圾收集
• 年，卷（期）: 2014,（9）
• 所属期刊栏目: 软件技术与研究
• 页码范围: 32-36
• 页数: 5页
• 分类号: TP301
• 字数: 5832字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-386x.2014.09.006

摘要

Java中的垃圾收集机制，有效地避免了安全漏洞也提高了资源利用率。然而对于和用户程序并行执行的垃圾收集，其过程及算法的实现甚是复杂，使得可靠性难以保证。目前，基于契约的程序动态分析技术已成为软件质量保证的一个重要途径。而JML继承了契约式设计的所有优点，成为一种为Java 量身定做的形式化的行为接口规范语言，用来规范Java程序模块的行为及详细设计决策。基于这种思想，通过前置条件、后置条件等规范对垃圾收集的功能进行精确描述，来确保不可达节点的正确回收和整个收集过程中内存堆数据保持和用户数据的不变性，保证了用户程序数据未被垃圾收集修改，也确保了用户程序没有干涉垃圾收集操作的正确执行。

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	宋玉婷	北京交通大学计算机与信息技术学院	1	1	1.0	1.0
2	孙文辉	北京交通大学计算机与信息技术学院	11	66	4.0	8.0