C语言程序动态更新中的逻辑正确性

• 作者: 谢国珍 马晓星
• 来源期刊: 计算机工程与应用
• 学科: 工学
• 关键词: 动态更新 程序正确性 逻辑正确性 基于约束分析
• 年，卷（期）: 2013,（14）
• 页码范围: 39-44,80
• 页数: 7页
• 分类号: TP311
• 字数: 7872字
• 语种: 中文
• DOI: 10.3778/j.issn.1002-8331.1208-0526

摘要

动态更新的研究已变得越来越重要，应用程序生命周期中需要不断进行更新，以修复程序中的错误或者为其添加新的功能。一般更新方式是关闭应用程序、安装更新，然后重启新版本的应用程序，而动态更新可以在程序的运行过程中使程序完成更新，免于重启的麻烦。另一方面，很多应用程序需要不间断的运行，短时间的中断会造成巨大的损失，这也使得动态更新的研究成为必然。针对不同的语言，有一些不同的更新技术，关于C语言，目前动态更新的研究都还停留在实验室阶段，投入到实际运用的很少。程序正确性是动态分析研究中一个重要的方向，目前C语言的动态更新正确性研究还都停留在语法层面的正确性，没有涉及的程序更新前后的逻辑正确，针对这一不足，旨在Ginseng平台上，对C程序动态更新逻辑正确性上做出改进。

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	马晓星	南京大学软件新技术国家重点实验室	44	840	11.0	28.0
2	谢国珍	南京大学软件新技术国家重点实验室	1	4	1.0	1.0