图7.24 JK触发器

　　根据JK触发器的真值表，可以得出N(1)和N(0)分别为24和16。因而有
　　　
　　设
　　　CY(R)=CY(S)=0.3,
　　　CY(J)=CY(K)=0.5,
　　　CY(T)=0.6
　　则有
　　　
　　于是
　　　CY(Q) = CTF(Q)·f(Q) = 0.8×0.3= 0.24
　　对于一个敏化输入端和敏化输出端的逻辑单元，定义敏化输入端的可观性为
　　　OY_sens-In = OTF·OY_Sens-Out·g(CY_other-Ins )
　　其中，OTF为可观性传递因子，g是其它输入端的可控性的组合函数。
　　OTF描述了故障从敏化输入端向敏化输出端传递的难易程度，它定义为
　　　
　　其中，N_PDC表示故障信号从敏化输入端Ｉ到敏化输出端Ｏ的可能传输的方法总数，每两种方法均应可区分。例如一个实现y = x₁ x₂ x₃的三输入与门，求任意一个输入端到输出端的可观性传递因子，则有N_PDC(x_i)= 1, N_NPDC(x_i)=3, 故有
　　　
　　组合函数g反映逻辑单元其他输入端对敏化输入端可观性的作用，定义如下：
　　　
　　关于可控性和可观性的定义和算法有许多种，因篇幅关系不一一介绍。根据可测性分析可以得到各个故障点的可控性和可观性。