将“引入概率后的一致性测试形式方法”用ＦＳＭ模型进行实例化，并对原框架进行了扩充：把测试子序列（测试例）扩充为测试子树，把测试套扩充为测试树；此外还给出根据ＦＳＭ的差错组合计算实现的权和出现概率的方法，完成了关于ＦＳＭ实现的概率性评估． The method of conformable test after introducing probability was instantiated by FSM model and the original framework was extended. The test sub-sequence (test case) was expanded to test sub-tree, and the test case was expanded as test tree. In addition The method of computing the realized weight and probability of occurrence according to the error combination of FSM is also given, and the probability evaluation of FSM implementation is completed.