北京广利核系统工程有限公司

北京广利核系统工程有限公司 董玲玲 曹宗生 李旗 刘元

摘要：在核安全级软件的测试中，单元测试是必不可少的测试手段之一。目前，部分核安全级软件采用函数式编程语言OCaml开发，但针对该语言开发的核安全级软件进行单元测试，尚缺乏具体的执行标准，通过确认测试来补充。本文提出采用第三方测试工具Kaputt对OCaml开发的核安全软件进行单元测试的方法，介绍Kaputt的测试模式、测试执行过程，及测试后分析关键字的覆盖率，以判断测试是否完备。该方法已在自主化核安全级软件测试中进行实践，取得良好的效果。

关键词：函数式编程；OCaml；Kaputt；单元测试

在线预览：Kaputt在核安全级软件单元测试上的应用研究

摘自《自动化博览》2017年5月刊