基于形式化验证的核能控制与交互系统建模语言可信代码生成器架构设计数据集数据集
收藏国家基础学科公共科学数据中心2026-04-18 收录
下载链接：
https://nbsdc.cn/general/dataDetail?id=69e10797f175606608eef076&type=1
下载链接
链接失效反馈官方服务：
资源简介：
根据代码生成软件详细设计说明书，对被测函数进行逻辑分析设计单元测试用例，形成单元测试用例数据；按照所设计的单元测试用例，开展测试工作，依据测试结果生成代码生成软件单元测试报告及数据；通过软件需求人工设计集成测试用例，形成集成测试用例数据；依据集成测试用例执行测试，测试结束后生成集成测试记录数据和测试报告；在集成测试过程中，依据用例搭建相应的测试模型，形成集成测试模型数据；通过系统需求人工设计集成测试用例，形成系统测试用例数据；依据系统测试用例执行测试，测试结束后生成系统测试记录数据和测试报告；
提供机构：
中国核动力研究设计院
