NAME

DeReg_LT1_HOME - Valid De-Registration (Lifetime!=0 & CoA=HoA)

TARGET

Router

SYNOPSIS

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

-tooloption: v6eval tool option

TOPOLOGY

                        MN'     CN
                        |       |
        --------+-------+-------+------- LinkX
                |
       NUT      R0      MN
        |       |       |
--------+-------+-------+--------------- Link0

Link0	global	3ffe:501:ffff:100::/64	home link
LinkX	global	3ffe:501:ffff:102::/64	foreign link
R0(Link0)	global	3ffe:501:ffff:100::a0a0
	ether	00:00:00:00:a0:a0
MN	global	3ffe:501:ffff:100:200:ff:fe00:15	home address
MN'	global	3ffe:501:ffff:102:200:ff:fe00:15	care-of address
CN	global	3ffe:501:ffff:102:<TN>

INITIALIZATION

NUT      MN      MN'     CN
 |       |       |       |
 | <-------------------- | Echo Request
 | --------------------> | Echo Reply
 |       |       |       |
 | <------------ |       | BU
 | ------------> |       | BA
 |       |       |       |
 |       | <------------ | Echo Request
 | ============> |       | Echo Request (encapsulated)
 |       |       |       |

1. Send Echo Request
2. Wait Echo Reply
3. Receive Echo Reply
4. Send BU
5. Wait BA
6. Receive BA
7. Send Echo Request
8. Wait Echo Request (encapsulated)
9. Receive Echo Request (encapsulated)

TEST PROCEDURE

NUT      MN      MN'     CN
 |       |       |       |
 | <---- |       |       | BU
 | ----> |       |       | BA (*1)
 |       |       |       |
 |       | <------------ | Echo Request
 | ----> |       |       | Echo Request (forwarded) (*2)
 |       |       |       |

1. Send BU
2. Wait BA
3. Receive BA (*1)
4. Send Echo Request
5. Wait Echo Request (forwarded)
6. Receive Echo Request (forwarded) (*2)

JUDGEMENT

(*1) PASS: MN receives BA
(*2) PASS: MN receives Echo Request (forwarded)

SEE ALSO

MIP6.pm
MIP6.def