[论文解读] CrocoPat 2.1 Introduction and Reference Manual

Dirk Beyer, Andreas Noack|ArXiv.org|Sep 7, 2004

Chemical synthesis and alkaloids参考文献 30被引用 8

一句话总结

CrocoPat 2.1 是一款免费、开源的工具，利用二叉决策图（BDDs）高效处理任意元数关系，支持对复杂软件模型的可扩展分析。它提供一种基于谓词演算的高级编程语言（RML），支持软件架构中的传递闭包和模式检测等操作，应用涵盖设计模式识别、代码克隆检测和影响分析。

ABSTRACT

CrocoPat is an efficient, powerful and easy-to-use tool for manipulating relations of arbitrary arity, including directed graphs. This manual provides an introduction to and a reference for CrocoPat and its programming language RML. It includes several application examples, in particular from the analysis of structural models of software systems.

研究动机与目标

• 提供一种可扩展且高效的工具，用于分析软件系统的结构模型，特别是用于检测设计模式和架构问题。
• 克服现有工具在仅支持二元关系或存在高内存与时间开销方面的局限性。
• 通过 BDD 支持任意元数关系的高效表示与操作，实现紧凑且高效的存储。
• 通过 Rigi 标准格式（RSF）实现与其他工具的无缝集成，用于关系数据的输入与输出。
• 提供一种用户友好的、基于谓词演算的声明式编程语言（RML），用于指定复杂的关联查询与转换操作。

提出的方法

• 使用二叉决策图（BDDs）作为内部数据结构，以高效的时间与内存开销表示关系。
• 采用基于一阶谓词演算的领域特定语言——关系操作语言（RML），用于表达关系操作。
• 通过最小不动点定义的形式语义支持并集、交集、补集和传递闭包等操作。
• 通过存在量词与全称量词（EX、FA）等构造支持高级编程技术，以及关系赋值操作。
• 使用 Rigi 标准格式（RSF）进行输入与输出，确保与其他工具和系统的互操作性。
• 提供命令行接口，支持执行控制、输入/输出处理及调试功能。

实验结果

研究问题

• RQ1 在处理大规模模型时，如何高效地操作任意元数的关系，特别是在软件分析任务中？
• RQ2 与传统的 Prolog 或数据库方法相比，基于 BDD 的表示在关系操作中能在多大程度上减少内存与时间开销？
• RQ3 像 RML 这类高级声明式语言是否能有效表达软件架构中复杂的模式检测与转换任务？
• RQ4 CrocoPat 在真实世界软件系统中检测设计模式、代码克隆和架构不一致性的效果如何？
• RQ5 在软件模型分析背景下，CrocoPat 相较于 Grok、RPA 或 RelView 等现有工具，在性能与可扩展性方面具有哪些优势？

主要发现

• CrocoPat 能够高效计算传递闭包，这对检测软件系统中的可达性与影响传播至关重要。
• BDD 的使用使 CrocoPat 能够以极低的内存开销处理大规模关系，适用于复杂软件模型分析。
• RML 将谓词演算与关系操作相结合，可简洁且富有表现力地描述复杂查询与转换操作。
• CrocoPat 成功支持了高级分析任务，如设计模式检测、代码克隆识别以及设计与实现架构的对比分析。
• 该工具在实际应用中展现出实用性，包括死代码检测、变更影响分析以及从源码模型中提取场景。
• CrocoPat 支持超过二元关系（如三元或更高元数关系），相比仅限于二元图的工具，能够实现更丰富的软件结构建模。