向后兼容动态软件更新的形式化研究
A Formal Study on Backward Compatible Dynamic Software Updates
摘要：
我们研究的动态软件更新问题的程序与环境，不一定更新。我们认为，这样的更新应该是向后兼容的。我们提出了向后兼容性的一般定义和向后兼容程序更新的情况。基于我们对现实世界程序演化的详细研究，我们提出了交互式程序的向后兼容更新类，这些类平均占所有研究程序变化的32%。更新类的定义参数化我们的新框架的程序等价，推广现有的结果程序等价的非终止执行。我们的向后兼容更新的研究是基于W语言的类型扩展。
英文摘要：
We study the dynamic software update problem for programs interacting with an environment that is not necessarily updated. We argue that such updates should be backward compatible. We propose a general definition of backward compatibility and cases of backward compatible program update. Based on our detailed study of real world program evolution, we propose classes of backward compatible update for interactive programs, which are included at an average of 32% of all studied program changes. The definitions of update classes are parameterized by our novel framework of program equivalence, which generalizes existing results on program equivalence to non-terminating executions. Our study of backward compatible updates is based on a typed extension of W language.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
