本数据集记录了一项针对软件组件与连接器(C&C)模型验证的用户研究结果,包含十七名计算机科学研究生或专业软件工程师的实验数据。研究通过随机顺序呈现的验证问题和见证有用性问题,收集了受试者对C&C视图满足性的判断、非满足原因识别及相关信心评分,旨在探究手动验证难度与见证辅助效果。 OpenScience tera-PROMISE repository