NAME

DHAAD_Highest - Receiving Local RA Msgs w/ the Highest Prf


TARGET

Router


SYNOPSIS

DHAAD_Highest.seq [-tooloption ...] -pkt DHAAD_Highest.def
-tooloption: v6eval tool option


TOPOLOGY

                        MN'     TN
                        |       |
        --------+-------+-------+------- LinkX
                |
       NUT      R0      MN      HA1
        |       |       |       |
--------+-------+-------+-------+------- Link0
Link0 global 3ffe:501:ffff:100::/64 home link
site-local fec0:0:0:100::/64
LinkX global 3ffe:501:ffff:102::/64 foreign link
R0(Link0) global 3ffe:501:ffff:100::a0a0  
ether 00:00:00:00:a0:a0
HA1 global 3ffe:501:ffff:100::b0b0  
link-local fe80::200:ff:fe00:b0b0
ether 00:00:00:00:b0:b0
MN global 3ffe:501:ffff:100:200:ff:fe00:23 home address
MN' global 3ffe:501:ffff:102:200:ff:fe00:23 care-of address
TN global 3ffe:501:ffff:102:<TN>  


INITIALIZATION

NUT      TN
 |       |
 | <---- | Echo Request
 | ----> | Echo Reply
 |       |

1. Send Echo Request
2. Wait Echo Reply
3. Receive Echo Reply


TEST PROCEDURE

NUT      MN      HA1     MN'
 |       |       |       |
 |   <-- |       |       | RS
 |       |   <-- |       | RA
 |       |       |       |
 | <-------------------- | HAAD Request
 | --------------------> | HAAD Reply
 |       |       |       |

1. Send RS
2. Send RA
3. Send HAAD Request
4. Wait HAAD Reply
5. Receive HAAD Reply


JUDGEMENT

PASS: MN' receives HAAD Reply
WARN: no response


SEE ALSO

MIP6.pm
MIP6.def