高速铁路信号安全软件自动测试案例建模研究.pdfVIP

19 　　　　　　 Vol. 19　 Suppl. 1997 11 JOU NAL OF T HE CHIN A AILWAY SOCIETY November 1997 高速铁路信号安全软件自动 测试案例建模研究* 徐中伟　　吴芳美 () 　　 , 。,、、 ,,。, ,。 　　 　　 　 284 U , “” 。 、 ,。 “” 、、。 、 。 , 。 ,、 、 。 。 [1] ,,, ,, 。 ,, 。,、 () , , 、, ,, 。 1　 () , * ( . 95 26 ) N