基于形式化方法的程序代码合并分析

  • 打印
  • 收藏
收藏成功
微博 QQ空间 微信


打开文本图片集

摘 要：在实际软件开发中，开发人员通常会使用多个团队开发的程序来构建软件系统。然而，当这些程序包存在不同的版本时，将它们合并到一个完整的应用程序中可能会引发冲突，导致程序错误。提出了一种新的形式化模型——统一结构作为包图的形式语义，对程序代码包合并提出了一种新的分析方法。该方法给出了三种包合并的策略，深入研究了将不同版本的代码转换成的包图在合并过程中可能出现的冲突和不一致性问题，并提供了具体的解决方案。（剩余15284字）

试读结束

目录
monitor