log.shaper

来自「No7信令,我需要交换类似的代码, 请店长审核,谢谢了,急着交换,谢谢」· SHAPER 代码 · 共 2,247 行 · 第 1/5 页

Q.781/Test 1.11
Link State Control - Expected signal units/orders
Set RPO when "Aligned not ready"

Precondition:
                                  :open
                                  :power on

Test 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/orders
SIOS received when "Aligned not ready"

Precondition:
                                  :open
                                  :power on

Test 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/orders
SIOS received when "Aligned not ready"

Precondition:
                                  :open
                                  :power on

Test 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.13
Link State Control - Expected signal units/orders
SIO received when "Aligned not ready"

Precondition:
                                  :open
                                  :power on

Test 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.14
Link State Control - Expected signal units/orders
Set and clear LPO when "Initial alignment"

Precondition:
                                  :open
                                  :power on

Test 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.15
Link State Control - Expected signal units/orders
Set and clear LPO when "Aligned ready"

Precondition:
                                  :open
                                  :power on

Test 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.16
Link State Control - Expected signal units/orders
Timer T1 in "Aligned not ready" state

Precondition:
                                  :open
                                  :power on

Test 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.17
Link State Control - Expected signal units/orders
No SIO sent during normal proving period

Precondition:
                                  :open
                                  :power on

Test 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.18
Link State Control - Expected signal units/orders
Set and cease emergency prior to "start alignment"

Precondition:
                                  :open
                                  :power on

Test 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.19
Link State Control - Expected signal units/orders
Set emergency while in "not aligned state"

Precondition:
                                  :open
                                  :power on

Test 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.20
Link State Control - Expected signal units/orders
Set emergency when "aligned"

Precondition:
                                  :open
                                  :power on

Test 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.21
Link State Control - Expected signal units/orders
Both ends set emergency.

Precondition:
                                  :open
                                  :power on

Test 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.22
Link State Control - Expected signal units/orders
Individual end sets emergency

Precondition:
                                  :open
                                  :power on

Test 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.23
Link State Control - Expected signal units/orders
Set emergency during normal proving

Precondition:
                                  :open
                                  :power on

Test case:
                 <---------------- SIOS (ff/ff)