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

摘要

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