主页>资料下载>试用软件

MLcov

Mlcov是第一个能够自动计算OCaml程序MC/DC覆盖率的工具。

MC/DC覆盖率准则是DO-178B标准之一，用以确保A级软件经过足够测试。

爱斯特尔公司现在将Mlcov作为一种验证工具 ，用于KCG6.0的验证(A级开发软件，用OCaml编写)。

一个开源的Mlcov版本（license为CeCILL-B）可在以下网址下载：http://mlcov.ortsa.com