【摘 要】
：
在核安全级软件的测试中,单元测试是必不可少的测试手段之一。目前,部分核安全级软件采用函数式编程语言OCaml开发,但针对该语言开发的核安全级软件进行单元测试,尚缺乏具体
论文部分内容阅读
在核安全级软件的测试中,单元测试是必不可少的测试手段之一。目前,部分核安全级软件采用函数式编程语言OCaml开发,但针对该语言开发的核安全级软件进行单元测试,尚缺乏具体的执行标准,通过确认测试来补充。本文提出采用第三方测试工具Kaputt对OCaml开发的核安全软件进行单元测试的方法,介绍Kaputt的测试模式、测试执行过程,及测试后分析关键字的覆盖率,以判断测试是否完备。该方法已在自主化核安全级软件测试中进行实践,取得良好的效果。
其他文献
提出一种基于球杆仪的机床主轴热误差检测和识别方法，将球杆仪运动轨迹设计为X、Y轴联动构成的圆锥体，建立杆长变化值与主轴热变形量之间的空间矢量几何关系。通过求解主轴端小
自动化专业电力拖动自动控制系统课程建设结合课程特点,注重更新内容,加强实验环节,应用仿真先进技术,加强学生实践能力和创新意识的培养.
毛泽东著作是毛泽东思想的重要理论宝库.毛泽东思想概论课程在课程内容和教学目的上的特点决定了选读毛泽东著作是课程教学不可或缺的内容和环节.正确处理选读毛泽东著作与毛
建立了某航空发动机附件传动系统的简化分析模型;采用轴单元分析方法,建立了附件传动系统的自由振动方程,计算了传动系统中所有单根转子的固有特性和齿轮耦合系统的耦合固有
将32只7日龄Wister大鼠随机分为正常对照组(8只)、缺氧缺血组(12只)、妥泰治疗组(12只).缺氧缺血后即刻经胃管注入妥泰或生理盐水,24小时后检测各组脑含水量、伊文思蓝(EB)含