NAME

hostRecvRas2 - Verifying that a host accept the union of all RAs

TARGET

Host only

SYNOPSIS

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

INITIALIZATION

Clear the Prefix List that was learned with RAs.
Create a neighbor cache entry for TN, Y, Z where the IsRouter flag is TRUE.
Set their state to REACHABLEs.
Give three global prefixes by TN, Y and Z:
- 3ffe:501:ffff:100::/64
- 3ffe:501:ffff:108::/64
- 3ffe:501:ffff:107::/64

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


  State: NONCE (for all)


  ==== unsolicited RA ===>
       src=TN'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 TN), NONCE (for Y, Z)


  ==== unsolicited RA ===>
       src=Y'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:108::/64


  State: STALE (for TN, Y), NONCE (for Z)


  ==== unsolicited RA ===>
       src=Z'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:107::/64


  State: STALE (for all)


  <=== Ns for DAD ====
       src=unspecified
       dst=solicited-node[NUT's global, prefix=3ffe:501:ffff:100::/64]
       target=NUT's global


  <=== Ns for DAD ====
       src=unspecified
       dst=solicited-node[NUT's global, prefix=3ffe:501:ffff:108::/64]
       target=NUT's global


  <=== Ns for DAD ====
       src=unspecified
       dst=solicited-node[NUT's global, prefix=3ffe:501:ffff:107::/64]
       target=NUT's global


  Wait (3 sec)


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


  State: REACHABLE (for TN), STALE (for Y and Z)
  ==== solicited NA ===>
        src=Y's link-local
        dst=NUT's link-local
        R=1, S=1, O=1
        target=Y's link-local
        TLLA=X's LLA


  State: REACHABLE (for TN, Y), STALE (for Z)
  ==== solicited NA ===>
        src=Z's link-local
        dst=NUT's link-local
        R=1, S=1, O=1
        target=Z's link-local
        TLLA=Z's LLA


  State: REACHABLE (for all)

TEST PROCEDURE

hostRecvRas verifies that a host accept the union of all RAs.

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


  State: REACHABLE (for all)


  ==== echo-request ===>
       src=off-link global, but LLA is TN'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=off-link global, but LLA is one of the routers(TN, Y, Z)


  ==== echo-request ===>
       src=off-link global, but LLA is TN's one
       dst=NUT's global, prefix==3ffe:501:ffff:108::/64


  <=== Judgment #2: echo-reply ====
       src=NUT's global, prefix==3ffe:501:ffff:108::/64
       dst=off-link global, but LLA is one of the routers(TN, Y, Z)


  ==== echo-request ===>
       src=off-link global, but LLA is TN's one
       dst=NUT's global, prefix==3ffe:501:ffff:107::/64


  <=== Judgment #2: echo-reply ====
       src=NUT's global, prefix==3ffe:501:ffff:107::/64
       dst=off-link global, but LLA is one of the routers(TN, Y, Z)

JUDGMENT

  1. NUT accepts the union of all received information; the receipt of
     a RA must not invalidate all information received in a previous RA
     or from another source.

  2. NUT throw three echo-replies to the default router (i.e. TN),
     and their source addresses are different global prefixes.

TERMINATION

  Send the follwoing RAs to clear the Default Router List:
  - RA (src=TN) with RouterLifetime=0
  - RA (src=Y)  with RouterLifetime=0
  - RA (src=Z)  with RouterLifetime=0

  Clear the Prefix List by remote command. XXX

NOTE

  The test invokes the following command:
  - Clear the Prefix List