状态机扩展的控制系统同步数据流模型建模技术研究数据集

数据集通过台式机电脑，处理器Intel(R) Core(TM) i5-7400 CPU @ 3.00GHz，操作系统版本Windows7旗舰版完成数据采集，数据采集时间为2025年12月10日，地点为中国核动力研究设计院D01楼一楼100号。测试用例数据依据软件需求及设计文档通过人工进行测试用例设计，测试用例数据在测试管理工具TestLink上进行管理；测试记录数据和测试报告通过人工在TestLink上进行测试用例执行，测试结束后生成；由核能安全控制系统建模软件生成基础算子模型文件（.xml文件），形成基础算子模型数据。采集过程中使用的软件包括：TestLink，版本为1.9.16；Microsoft Offic，版本为2007；核能安全控制系统建模软件，版本为v1.2.3-B-Rc1。