NAME

RR_Valid - Receiving HoTI & CoTI

TARGET

Host/Router

SYNOPSIS

RR_Valid.seq [-tooloption ...] -pkt RR_Valid.def

-tooloption: v6eval tool option

TOPOLOGY

                                MN'
                                |
                --------+-------+------- LinkY
                        |
                        R1      MN
                        |       |
        --------+-------+-------+------- LinkX
                |
       NUT      R0
        |       |
--------+-------+----------------------- Link0

Link0	global	3ffe:501:ffff:100::/64
LinkX	global	3ffe:501:ffff:102::/64	home link
LinkY	global	3ffe:501:ffff:103::/64	foreign link
R0(Link0)	global	3ffe:501:ffff:100::a0a0
	link-local	fe80::200:ff:fe00:a0a0
	ether	00:00:00:00:a0:a0
MN	global	3ffe:501:ffff:102:200:ff:fe00:4	home address
MN'	global	3ffe:501:ffff:103:200:ff:fe00:4	care-of address

INITIALIZATION

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

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

TEST PROCEDURE

NUT      MN      MN'
 |       |       |
 | <---- |       | HoTI
 | <------------ | CoTI
 | ----> |       | HoT (*1)
 | ------------> | CoT (*2)
 |       |       |

1. Send HoTI & CoTI
2. Wait HoT & CoT
3. Receive HoT & CoT (*1) (*2)

JUDGEMENT

(*1) PASS: MN receives HoT
(*2) PASS: MN' receives CoT

SEE ALSO

MIP6.pm
MIP6.def