Formal_Specification_to_Code_Trace_Links_Recovery_实验数据

数据集概述

本数据集包含用于评估形式化规范到代码跟踪链接建立方法性能的实验数据和代码，对比了现有文本基方法（如潜在语义索引、向量空间模型、Word2Vec嵌入和LLM嵌入）。数据来源于三个项目：AccountSys的VDM-SL规范与Java实现、ATM系统的SOFL规范与Java实现、酒店系统的VDM-SL规范与C实现。

文件详解

• 文件名称：Formal-Specification-to-Code Trace Links Recovery.zip
• 文件格式：ZIP
• 字段映射介绍：压缩包内包含实验数据和代码，具体内容未提供预览，但根据描述应包括三个项目的形式化规范文件、代码实现文件，以及用于评估跟踪链接恢复方法的相关实验代码。

适用场景

• 软件测试方法评估: 用于评估形式化规范到代码跟踪链接建立方法的性能，对比不同文本基方法的效果。
• 代码跟踪链接恢复研究: 研究如何从形式化规范自动恢复到代码的跟踪链接，提升软件维护效率。
• 形式化方法应用: 探索VDM-SL、SOFL等形式化语言在实际项目中的应用及其与代码实现的关联。
• 软件维护与演化: 分析跟踪链接对软件维护和演化过程的支持作用，优化软件开发生命周期管理。