📄 log.shaper
字号:
Q.781/Test 1.11Link State Control - Expected signal units/ordersSet RPO when "Aligned not ready"Precondition: :open :power onTest case: <---------------- SIOS (ff/ff) SIOS (ff/ff) ----------------> :set lpo :set lpo :start <---------------- SIO (ff/ff) SIO (ff/ff) ----------------> <---------------- SIN (ff/ff) SIN (ff/ff) ----------------> <---------------- SIPO (ff/ff) SIPO (ff/ff) ----------------> !rpo =====SUCCESS=====Postcondition: :stop <---------------- SIOS (ff/ff) :close**************** SUCCESS - test case successful.********Q.781/Test 1.12(a)Link State Control - Expected signal units/ordersSIOS received when "Aligned not ready"Precondition: :open :power onTest case: <---------------- SIOS (ff/ff) SIOS (ff/ff) ----------------> :set lpo :start <---------------- SIO (ff/ff) SIO (ff/ff) ----------------> <---------------- SIN (ff/ff) SIN (ff/ff) ----------------> <---------------- SIPO (ff/ff) :stop SIOS (ff/ff) ----------------> !out of service (SIOS) <---------------- SIOS (ff/ff) =====SUCCESS=====Postcondition: :stop :close**************** SUCCESS - test case successful.********Q.781/Test 1.12(b)Link State Control - Expected signal units/ordersSIOS received when "Aligned not ready"Precondition: :open :power onTest case: <---------------- SIOS (ff/ff) SIOS (ff/ff) ----------------> :set lpo :start :start <---------------- SIO (ff/ff) SIO (ff/ff) ----------------> <---------------- SIN (ff/ff) SIN (ff/ff) ----------------> <---------------- FISU (ff/ff) :stop FISU (ff/ff) ----------------> <---------------- SIOS (ff/ff) SIOS (ff/ff) ----------------> =====SUCCESS=====Postcondition: :stop :close**************** SUCCESS - test case successful.********Q.781/Test 1.13Link State Control - Expected signal units/ordersSIO received when "Aligned not ready"Precondition: :open :power onTest case: <---------------- SIOS (ff/ff) SIOS (ff/ff) ----------------> :set lpo :start <---------------- SIO (ff/ff) SIO (ff/ff) ----------------> <---------------- SIN (ff/ff) SIN (ff/ff) ----------------> <---------------- SIPO (ff/ff) SIO (ff/ff) ----------------> !out of service (SIO) <---------------- SIOS (ff/ff) SIOS (ff/ff) ----------------> =====SUCCESS=====Postcondition: :stop :close**************** SUCCESS - test case successful.********Q.781/Test 1.14Link State Control - Expected signal units/ordersSet and clear LPO when "Initial alignment"Precondition: :open :power onTest case: <---------------- SIOS (ff/ff) SIOS (ff/ff) ----------------> :start <---------------- SIO (ff/ff) SIO (ff/ff) ----------------> <---------------- SIN (ff/ff) :set lpo SIN (ff/ff) ----------------> :clear lpo <---------------- FISU (ff/ff) FISU (ff/ff) ----------------> !in service =====SUCCESS=====Postcondition: :stop <---------------- SIOS (ff/ff) :close**************** SUCCESS - test case successful.********Q.781/Test 1.15Link State Control - Expected signal units/ordersSet and clear LPO when "Aligned ready"Precondition: :open :power onTest case: <---------------- SIOS (ff/ff) SIOS (ff/ff) ----------------> :start <---------------- SIO (ff/ff) SIO (ff/ff) ----------------> <---------------- SIN (ff/ff) SIN (ff/ff) ----------------> <---------------- FISU (ff/ff) :set lpo FISU (ff/ff) ----------------> !in service <---------------- SIPO (ff/ff) !rpr :clear lpo <---------------- FISU (ff/ff) =====SUCCESS=====Postcondition: :stop <---------------- SIOS (ff/ff) :close**************** SUCCESS - test case successful.********Q.781/Test 1.16Link State Control - Expected signal units/ordersTimer T1 in "Aligned not ready" statePrecondition: :open :power onTest case: <---------------- SIOS (ff/ff) SIOS (ff/ff) ----------------> :set lpo :start <---------------- SIO (ff/ff) SIO (ff/ff) ----------------> <---------------- SIN (ff/ff) SIN (ff/ff) ----------------> <---------------- SIPO (ff/ff) | | T1 | <---------------- SIOS (ff/ff) check time: T1 (39900 <= 44999 <= 50100) =====SUCCESS=====Postcondition: :stop !out of service (T1) :close**************** SUCCESS - test case successful.********Q.781/Test 1.17Link State Control - Expected signal units/ordersNo SIO sent during normal proving periodPrecondition: :open :power onTest case: <---------------- SIOS (ff/ff) SIOS (ff/ff) ----------------> :start <---------------- SIO (ff/ff) SIN (ff/ff) ----------------> <---------------- SIN (ff/ff) | | T3+T4(Pn) | <---------------- FISU (ff/ff) check time: T3,4 (7400 <= 7999 <= 11100) =====SUCCESS=====Postcondition: :stop <---------------- SIOS (ff/ff) :close**************** SUCCESS - test case successful.********Q.781/Test 1.18Link State Control - Expected signal units/ordersSet and cease emergency prior to "start alignment"Precondition: :open :power onTest case: <---------------- SIOS (ff/ff) SIOS (ff/ff) ----------------> :set emerg :clear emerg :start <---------------- SIO (ff/ff) SIO (ff/ff) ----------------> <---------------- SIN (ff/ff) | | T4(Pn) | SIN (ff/ff) ----------------> <---------------- FISU (ff/ff) check time: T4 (7400 <= 8000 <= 9600) =====SUCCESS=====Postcondition: :stop <---------------- SIOS (ff/ff) :close**************** SUCCESS - test case successful.********Q.781/Test 1.19Link State Control - Expected signal units/ordersSet emergency while in "not aligned state"Precondition: :open :power onTest case: <---------------- SIOS (ff/ff) SIOS (ff/ff) ----------------> :start <---------------- SIO (ff/ff) :set emerg SIO (ff/ff) ----------------> <---------------- SIE (ff/ff) | | T4(Pe) | SIE (ff/ff) ----------------> <---------------- FISU (ff/ff) check time: T4 (300 <= 499 <= 700) =====SUCCESS=====Postcondition: :stop <---------------- SIOS (ff/ff) :close**************** SUCCESS - test case successful.********Q.781/Test 1.20Link State Control - Expected signal units/ordersSet emergency when "aligned"Precondition: :open :power onTest case: <---------------- SIOS (ff/ff) SIOS (ff/ff) ----------------> :start <---------------- SIO (ff/ff) SIO (ff/ff) ----------------> <---------------- SIN (ff/ff) :set emerg <---------------- SIE (ff/ff) | | T4(Pn) | SIN (ff/ff) ----------------> <---------------- FISU (ff/ff) check time: T4 (300 <= 499 <= 700) =====SUCCESS=====Postcondition: :stop <---------------- SIOS (ff/ff) :close**************** SUCCESS - test case successful.********Q.781/Test 1.21Link State Control - Expected signal units/ordersBoth ends set emergency.Precondition: :open :power onTest case: <---------------- SIOS (ff/ff) SIOS (ff/ff) ----------------> :set emerg :start <---------------- SIO (ff/ff) SIO (ff/ff) ----------------> <---------------- SIE (ff/ff) | | T4(Pe) | SIE (ff/ff) ----------------> <---------------- FISU (ff/ff) check time: T4 (300 <= 499 <= 700) =====SUCCESS=====Postcondition: :stop <---------------- SIOS (ff/ff) :close**************** SUCCESS - test case successful.********Q.781/Test 1.22Link State Control - Expected signal units/ordersIndividual end sets emergencyPrecondition: :open :power onTest case: <---------------- SIOS (ff/ff) SIOS (ff/ff) ----------------> SIO (ff/ff) ----------------> :start <---------------- SIO (ff/ff) SIE (ff/ff) ----------------> <---------------- SIN (ff/ff) | | T4(Pe) | <---------------- FISU (ff/ff) check time: T4 (300 <= 499 <= 700) =====SUCCESS=====Postcondition: :stop <---------------- SIOS (ff/ff) :close**************** SUCCESS - test case successful.********Q.781/Test 1.23Link State Control - Expected signal units/ordersSet emergency during normal provingPrecondition: :open :power onTest case: <---------------- SIOS (ff/ff)⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -