论文部分内容阅读
文章中描述了C#语言实现程序合约动态抽取工具的整体设计过程，包括变量轨迹的提取和动态检测思想。针对二元关系和三元关系的检测原理和实现过程进行了详细的描述。实现了能够对指定源程序导出其变量运动轨迹并进行动态检测的功能。
基于C#语言的程序合约动态抽取工具
【摘 要】
：
文章中描述了C#语言实现程序合约动态抽取工具的整体设计过程，包括变量轨迹的提取和动态检测思想。针对二元关系和三元关系的检测原理和实现过程进行了详细的描述。实现了能够
【机 构】
：
湖南涉外经济学院信息科学与工程学院
【出 处】
：
福建电脑
【发表日期】
：
2013年2期
【基金项目】
：
基金项目：2011年湖南涉外经济学院大学生研究性学习和创新性实验计划（项目名称：程序合约动态抽取工具的设计与实现,No.17）
其他文献
在初中生物学教学中,将教材中的某些生物学知识作适当延伸,不但能使学生获得识破虚假广告的能力,还可以提高他们学习生物学的兴趣。
1999年6月全国教育工作会议明确指出：调整和改革课程体系，建立新的基础教育课程体系，试行国家课程、地方课程和学校课程。这表明我国基础教育在课程设置改革上正从中央集权走向
生物学教学理应担当起人文精神培养的重任，将生物学知识、技能的教育与人文教育有机结合起来。实现生物学教育的人文价值，必将对学生的未来发展提供强大的推进动力和情感支持，应