补充C判单note覆盖率情况分析:
1、单点和长条终点可作为触发点,
(1)触发点,触发点不会受到自身引起的触发状态所覆盖,因此触发点的覆盖率只与该点所引起的状态以外的覆盖状态有关,因此前区间覆盖率常规计算,后区间覆盖率按照1-(1-p_时间轴)/(1-p_触发率)计算,再综合起来;
(2)离触发前很近的判定点,首先需要设定该点不会到触发点后面,否则它就成为触发条件,覆盖期望的计算前提就会改变,因此该点不会受到触发点的影响,只计算触发点前该点good区间覆盖率;
(3)离触发前同时的判定点,即双押或者长条终点与单点同时,由于该点没有达到触发条件,而是与之同时的另一点达到触发条件,因此不受触发点的影响,而这种状态可以与触发点进行替换,因此该点的覆盖率与触发点应该是一致的覆盖率(1);
(4)离触发后很近的判定点,与第二点设定类似,此时该点必受到触发点的影响,因此计算触发点后该点good区间覆盖率;
(5)离触发后同时的判定点,此时两个点会有一个成为触发点,而另一个必定在触发点的后面从而被覆盖,因此这两点有均等的机会被覆盖,应计算该点后区间覆盖率,与触发点的覆盖率(1)求均值,作为该点和触发点的覆盖率;
(6)其它点,按照常规计算完整good区间覆盖率。
2、长条起点不会影响触发状态,因此长条起点无论与触发点有何距离关系,均计算完整good区间覆盖率。
3、当C判的种类不止一种时会有更多情况(庆幸的是目前SIF只有一种C判):
(1)判定点离N个触发点都很近;
(2)N个触发点之间距离很近。