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

何清; 蒋建民

doi:10.16339/j.cnki.jsjsyzdh.202501026

计算技术与自动化 ›› 2025, Vol. 44 ›› Issue (01) : 147 -154. DOI: 10.16339/j.cnki.jsjsyzdh.202501026

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

何清, 蒋建民

作者信息 +

Author information +

文章历史 +

PDF

摘要

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