| 基于形式化方法的程序代码合并分析 |
 点此下载全文 |
| 引用本文：何清1，2, 蒋建民1，2.基于形式化方法的程序代码合并分析[J].计算技术与自动化,2025,(1):147-154 |
| 摘要点击次数: 865 |
| 全文下载次数: 256 |
|
|
| 中文摘要:在实际软件开发中，开发人员通常会使用多个团队开发的程序来构建软件系统。然而，当这些程序包存在不同的版本时，将它们合并到一个完整的应用程序中可能会引发冲突，导致程序错误。提出了一种新的形式化模型——统一结构作为包图的形式语义，对程序代码包合并提出了一种新的分析方法。该方法给出了三种包合并的策略，深入研究了将不同版本的代码转换成的包图在合并过程中可能出现的冲突和不一致性问题，并提供了具体的解决方案。实验表明这个方法能确保合并后的代码正确性，从而提高软件开发的质量和生产效率。 |
| 中文关键词:代码合并 UML 包图 形式化 包合并 合并冲突 |
| |
| Formal Methods-based Program Code Merging Analysis |
|
|
| Abstract:In practical software development, developers often use programs developed by multiple teams to build software systems. However, when these programs exist in different versions, merging them into a complete application may lead to conflicts, resulting in program errors. This article proposes a new formal model-unified structure as package diagram formal semantics, for program code package merging, presenting a novel analysis approach. This method offers three strategies for package merging, delving into potential conflicts and inconsistencies that may arise when merging package diagrams representing different versions of code, along with concrete solutions. Experiments demonstrate that this method can ensure the correctness of merged code, thereby enhancing the quality and productivity of software development. |
| keywords:code merging UML package diagram formalization package merging merging conflicts |
| 查看全文 查看/发表评论 下载pdf阅读器 |
|
|
|
位访问者,今日访问
次