作者:董玲玲; 曹宗生; 李旗; 刘元函数式编程ocamlkaputt单元测试
摘要:在核安全级软件的测试中,单元测试是必不可少的测试手段之一。目前,部分核安全级软件采用函数式编程语言OCaml开发,但针对该语言开发的核安全级软件进行单元测试,尚缺乏具体的执行标准,通过确认测试来补充。本文提出采用第三方测试工具Kaputt对OCaml开发的核安全软件进行单元测试的方法,介绍Kaputt的测试模式、测试执行过程,及测试后分析关键字的覆盖率,以判断测试是否完备。该方法已在自主化核安全级软件测试中进行实践,取得良好的效果。
注:因版权方要求,不能公开全文,如需全文,请咨询杂志社