NAME

hostRecvRedirect4Nonce - Verifying Redirect (to a better router) vs. NONCE

TARGET

Host only

SYNOPSIS

  hostRecvRedirect4Nonce.seq [-tooloption ...]
                              -p hostRecvRedirect4Nonce.def

INITIALIZATION

1. Clear IPv6 routes.
2. Clear NC state for TN.
3. Set R1 as the default router by sending RA and NA.

  TN                 NUT
  ----------------------


  State: NONCE (for R1)


  ==== unsolicited RA ===>
       src=R1's link-local
       dst=all-node
       M=0, O=0
       RouterLifetime=600
       ReachableTime=0
       RetransTimer=0
       w/ SLLA
       Prefix Option:
           L=1, A=1
           ValidLifetime=2592000
           PreferredLifetime=604800
           Prefix=3ffe:501:ffff:100::/64


  State: STALE (for R1)


  ==== solicited NA ===>
        src=R1's link-local
        dst=NUT's link-local
        R=1, S=1, O=1
        target=R1's link-local
        TLLA=R1's LLA


  State: REACHABLE (for R1)


  Wait (3 sec) for DAD NS

TEST PROCEDURE

hostRecvRedirect4Nonce verifies that an entry of Destination Cache updated by a redirect message (ICMP Target != ICMP Destination) is removed if its Neighbor Cache entry is removed.

1. Send echo-request (src:H1, dst:NUT)
2. Verify that NUT send echo-reply to the default router, R1
3. Send redirect message to NUT.
4. Send echo-request (src:H1, dst:NUT) again.
5. Verify that NUT threw send echo-reply to the better router, TN.
6. Wait for NUT's neighbor cache state being removed.
7. Send echo-request (src:H1, dst:NUT) again.
8. Verify that NUT send echo-reply to the default router, R1

  TN               NUT
  ----------------------


  State: REACHABLE (for R1), NONCE (for TN)


  ==== echo-request ===>
       src=H1(off-link global), prefix=3ffe:501:ffff:109::/64,
           but LLA is R1's one
       dst=NUT's global, prefix=3ffe:501:ffff:100::/64


  <=== Judgment #1: echo-reply ====
       src=NUT's global, prefix=3ffe:501:ffff:100::/64
       dst=H1(off-link global), prefix=3ffe:501:ffff:109::/64,
           but LLA is R1's one


  ==== redirect ===>
       src=R1's link-local
       dst=NUT's link-local
       icmp target=TN's link-local
       icmp destination=H1's global
       w/  TLLA
       w/o Redirected header


  State: REACHABLE (for R1), STALE (for TN)


  ==== echo-request ===>
       src=H1(off-link global), prefix=3ffe:501:ffff:109::/64,
           but LLA is R1's one
       dst=NUT's global, prefix=3ffe:501:ffff:100::/64


  <=== Judgment #2: echo-reply ====
       src=NUT's global, prefix=3ffe:501:ffff:100::/64
       dst=H1(off-link global), prefix=3ffe:501:ffff:109::/64,
           but LLA is TN's one


  State: REACHABLE (for R1), DELAY (for TN)


  Wait (6 sec)


  State: REACHABLE (for R1), PROBE (for TN)


  <=== unicast NS ====
       src=NUT's link-local
       dst=TN's link-local
       target=TN's link-local
       w/ or w/o SLLA


  State: REACHABLE (for R1), NONCE (for TN)


  ==== echo-request ===>
       src=H1(off-link global), prefix=3ffe:501:ffff:109::/64,
           but LLA is R1's one
       dst=NUT's global, prefix=3ffe:501:ffff:100::/64


  <=== Judgment #1: echo-reply ====
       src=NUT's global, prefix=3ffe:501:ffff:100::/64
       dst=H1(off-link global), prefix=3ffe:501:ffff:109::/64,
           but LLA is R1's one

JUDGMENT

  1. NUT must throw echo-reply whose destination is off-link global
    to the default router (i.e. R1).

  2. NUT must throw echo-reply to the better router (i.e. TN).

TERMINATION

  Send RA with RouterLifetime=0 to clear the Default Router List.

  Clear IPv6 routes by remote command. XXX

NOTE

  The test invokes the following command:
  - Clear IPv6 routes

SEE ALSO

  perldoc V6evalTool
  perldoc V6evalRemote