Stephenson可测性分析将可控性和可观性都定义为0到1之间的值。
  对可控性(CY )来说,外部输入端的可控性最强,令CY=1。完全不可控的节点其CY=0。电路内部一般节点的可控性的值在0~1之间。
  对可观性(OY )来说,外部输出端的可观性最强,令OY=1。完全不可观的节点其OY=0。电路内部一般节点的可观性的值在0~1之间。可观性是相对于某一观察点而言的。同一个节点,相对不同的观察点,其可观性的值不同。
  
这里定义的可控性和客观性比较好地反映了实际情况。也比较容易理解。还有其它的定义方法,不再赘述。
  一个逻辑单元输出端的可控性定义如下:
   CYout = CTF·f ( CYIn )
  其中,CTF为可控性传递因子,f (CYIn )是对该输出有控制作用的各输入的组合函数。
  
已知外部输入端可控性为1,利用CTF可以从外部输入端开始一个一个元件依次计算其输出端的可控性,直到求出所有的元件输出端的可控性。可观性的求法类似。注意不是输出端的可控性最小,而是中间的不可控节点的可控性最小,设为0。
 
 CTF描述了输出状态由'0'转换到'1'或由'1'转换到'0'的难易程度,它只取决于逻辑单元的逻辑函数,与该单元在电路中的位置无关,即与逻辑单元输入端的可控性无关。
   
  式中N(0)和N(1)分别表示使输出取值为'0'和'1'的方法数。对于一个n输入端的逻辑单元,由于每个输入端可以取'0'和'1'两种值,故有
   N(0) +N(1)=2n
  例如一个二输入端与门,使输出为'0'的方法有1种,使输出为'1'的方法有3种,故
   N(0)=1, N(1)=3
  因而
   
  
基本逻辑元件的CTF是固定的。可以预先求出,使用时查表即可。

  对于一般的逻辑单元,f(CYIn )为人为定义的逻辑单元输入端的平均可控性与每个输入端(前级输出端)可控性的关系,可定义为
   
  其中CYasyn表示各异步输入端的可控性,CYclk表示时钟输入端的可控性,CYsyn表示各同步输入端的可控性。对于一个组合电路单元,上式可表为
   
  即各输入端可控性的平均值。i为输入端个数。

  对于一般的逻辑单元,各输入端的贡献可能不一样,上面的公式给出求整个逻辑单元平均可控性的方法。