论文部分内容阅读
针对软件单个类的动态更新操作存在许多限制，例如不允许删除类、方法等，提出类动态更新事务的方法，利用动态更新类集来克服这些限制，同时保证更新的安全性。基于此，对动态更新事务的一些属性，如ACID进行讨论，提出类型安全的类动态更新事务并进行了证明。最后，以Java语言为例，说明了如何构造动态更新程序，并进行了相应的实验，说明了方法的可行性。