数据集概述
本数据集记录了一项针对软件组件与连接器（C&C）模型验证的用户研究结果，包含十七名计算机科学研究生或专业软件工程师的实验数据。研究通过随机顺序呈现的验证问题和见证有用性问题，收集了受试者对C&C视图满足性的判断、非满足原因识别及相关信心评分，旨在探究手动验证难度与见证辅助效果。
文件详解
- README.txt
- 文件格式：TXT
- 字段映射介绍：包含数据集基本说明，提及数据属于OpenScience tera-PROMISE仓库，提供项目链接http://openscience.us/repo/other/candc...
- arcvcheck-evaluation.zip
- 文件格式：ZIP
- 字段映射介绍：压缩包文件，推测包含用户研究的评估相关数据
- 13.09.10.rawdata.xls
- 文件格式：XLS
- 字段映射介绍：原始数据表格，包含受试者ID、完成状态、开始语言、数据开始时间、最后操作日期、C&C模型验证问题回答（满足性判断、非满足原因如层级不匹配、缺失组件等）、信心评分、见证有用性评分、总耗时及各环节时间等字段
数据来源
OpenScience tera-PROMISE repository
适用场景
- 软件架构验证方法研究: 分析手动进行C&C模型验证的难度及影响因素
- 验证辅助工具评估: 探究见证（witnesses）对提升C&C模型验证准确性与效率的作用
- 软件工程用户实验设计: 参考研究中随机化问题顺序、受试者背景控制等实验设计方法
- 软件工程师能力评估: 分析不同背景受试者在软件模型验证任务中的表现差异
- 验证信心与准确性关联分析: 研究受试者对验证结果的信心评分与实际正确性的相关性
