Java建模语言在程序不变量动态发现过程中的应用

• 作者: 刘杰 刘树锟 阳小华
• 来源期刊: 计算机工程与设计
• 学科: 工学
• 关键词: 程序不变量 Java建模语言 重载 行为接口规范语言 契约 程序断言
• 年，卷（期）: 2007,（18）
• 所属期刊栏目: 计算机应用
• 页码范围: 4536-4538,4545
• 页数: 4页
• 分类号: TP311
• 字数: 4377字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-7024.2007.18.067

摘要

通过程序不变量动态生成技术,可以分析程序内部的关联属性,从而有助于设计高质量的程序代码以及规范化的程序架构.主要描述基于契约的似然程序不变量发现的基本理论模型,并结合Java建模语言进一步阐明程序断言动态生成技术及其现在产生的重点问题,针对提出的问题给出了相应的解决方法.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	阳小华	南华大学计算机科学与技术学院	160	821	14.0	22.0
2	刘杰	南华大学计算机科学与技术学院	72	216	7.0	13.0
3	刘树锟	湖南涉外经济学院计算机科学与技术学部	15	50	3.0	6.0