test coverage 和 fault coverage 的计算方法

如下：

所以，在 report_summaries 报告中，一般看到test coverage 比 fault coverage 稍微要高一些。