今日头条
官方微信
官方抖音
案例频道北京广利核系统工程有限公司 董玲玲 曹宗生 李旗 刘元
摘要：在核安全级软件的测试中，单元测试是必不可少的测试手段之一。目前，部分核安全级软件采用函数式编程语言OCaml开发，但针对该语言开发的核安全级软件进行单元测试，尚缺乏具体的执行标准，通过确认测试来补充。本文提出采用第三方测试工具Kaputt对OCaml开发的核安全软件进行单元测试的方法，介绍Kaputt的测试模式、测试执行过程，及测试后分析关键字的覆盖率，以判断测试是否完备。该方法已在自主化核安全级软件测试中进行实践，取得良好的效果。
关键词：函数式编程；OCaml；Kaputt；单元测试
摘自《自动化博览》2017年5月刊
北京市公安局海淀分局备案号：11010802023656号