基于C#语言的程序合约动态抽取工具 |
| |
作者姓名: | 刘树锟 莫正杰 吴沛林 |
| |
作者单位: | 湖南涉外经济学院信息科学与工程学院 湖南长沙410205 |
| |
基金项目: | 2011年湖南涉外经济学院大学生研究性学习和创新性实验计划 |
| |
摘 要: | 文章中描述了C#语言实现程序合约动态抽取工具的整体设计过程,包括变量轨迹的提取和动态检测思想.针对二元关系和三元关系的检测原理和实现过程进行了详细的描述.实现了能够对指定源程序导出其变量运动轨迹并进行动态检测的功能.
|
关 键 词: | 程序合约 变量轨迹 动态抽取 |
本文献已被 万方数据 等数据库收录! |
|