C程序不变量动态发现编配工具的设计

• 作者: 余童兰 刘杰 阳小华
• 来源期刊: 科技与创新
• 关键词: 程序不变量 不变量动态发现 编配工具哌
• 年，卷（期）: 2008,（12）
• 所属期刊栏目: 软件时空
• 页码范围: 233-234,237
• 页数: 3页
• 分类号: TP311
• 语种: 中文
• DOI: 10.3969/j.issn.1008-0570.2008.12.093

摘要

程序不变量是用于描述程序运行过程中某些保持不变的性质的逻辑断言.程序编配的任务是通过对程序改造,暴露程序的运行轨迹,然后在通过对轨迹分析完成程序不变量的发现.程序编配是程序不变量过程中的关键步骤.本文介绍了C程序编配的工作原理和主要方法,并详细说明了采用内嵌法的编配工具的设计过程.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	阳小华	南华大学计算机科学与技术学院	160	821	14.0	22.0
2	刘杰	南华大学计算机科学与技术学院	72	216	7.0	13.0
3	余童兰	南华大学计算机科学与技术学院	19	62	4.0	7.0