CAJ | 학술논문

动态更新的研究已变得越来越重要，应用程序生命周期中需要不断进行更新，以修复程序中的错误或者为其添加新的功能。一般更新方式是关闭应用程序、安装更新，然后重启新版本的应用程序，而动态更新可以在程序的运行过程中使程序完成更新，免于重启的麻烦。另一方面，很多应用程序需要不间断的运行，短时间的中断会造成巨大的损失，这也使得动态更新的研究成为必然。针对不同的语言，有一些不同的更新技术，关于C语言，目前动态更新的研究都还停留在实验室阶段，投入到实际运用的很少。程序正确性是动态分析研究中一个重要的方向，目前C语言的动态更新正确性研究还都停留在语法层面的正确性，没有涉及的程序更新前后的逻辑正确，针对这一不足，旨在Ginseng平台上，对C程序动态更新逻辑正确性上做出改进。
동태경신적연구이변득월래월중요，응용정서생명주기중수요불단진행경신，이수복정서중적착오혹자위기첨가신적공능。일반경신방식시관폐응용정서、안장경신，연후중계신판본적응용정서，이동태경신가이재정서적운행과정중사정서완성경신，면우중계적마번。령일방면，흔다응용정서수요불간단적운행，단시간적중단회조성거대적손실，저야사득동태경신적연구성위필연。침대불동적어언，유일사불동적경신기술，관우C어언，목전동태경신적연구도환정류재실험실계단，투입도실제운용적흔소。정서정학성시동태분석연구중일개중요적방향，목전C어언적동태경신정학성연구환도정류재어법층면적정학성，몰유섭급적정서경신전후적라집정학，침대저일불족，지재Ginseng평태상，대C정서동태경신라집정학성상주출개진。
Dynamic updating is now very important. Applications need to be updated constantly during their life time, to fix the bugs, and to add new functions. A common way to get the application updated is to shut it down, install the new version and then restart it. Dynamic updating can accomplish it when the program is running, that is it doesn’t have to reboot the application. On the other hand, some applications should run continually, transient break-off may cause huge loss, which drives the research of dynamic updating further. There are some updating techniques for different program languages. As to C, all the techniques are for researchers, they are not mature enough to be put to use. Program correctness is a crucial part of the dynamic updating research. It should guarantee the update safety. At present, most of the update safety considerations are focused on grammatical level, and rarely deal with the logical validity. Considering the deficiency, it makes some improvement on logical validity during the dynamic updating process.