基于C#语言的程序合约动态抽取工具

• 作者: 刘树锟 吴沛林 莫正杰
• 来源期刊: 福建电脑
• 关键词: 程序合约 变量轨迹 动态抽取
• 年，卷（期）: 2013,（2）
• 所属期刊栏目: 基金项目论文
• 页码范围: 15-16,21
• 页数: 3页
• 字数: 1488字
• 语种: 中文

摘要

文章中描述了C#语言实现程序合约动态抽取工具的整体设计过程,包括变量轨迹的提取和动态检测思想.针对二元关系和三元关系的检测原理和实现过程进行了详细的描述.实现了能够对指定源程序导出其变量运动轨迹并进行动态检测的功能.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	刘树锟	湖南涉外经济学院信息科学与工程学院	15	50	3.0	6.0
2	莫正杰	湖南涉外经济学院信息科学与工程学院	2	1	1.0	1.0
3	吴沛林	湖南涉外经济学院信息科学与工程学院	3	12	1.0	3.0