NAME

DeReg_NotHA4ThisMN - Invalid De-Registration (Not home agent for this mobile node)

TARGET

Router

SYNOPSIS

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

-tooloption: v6eval tool option

TOPOLOGY

                        MN'     TN
                        |       |
        --------+-------+-------+------- LinkX
                |
       NUT      R0      MN
        |       |       |
--------+-------+-------+--------------- 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
MN	global	3ffe:501:ffff:100:200:ff:fe00:16	home address
MN'	global	3ffe:501:ffff:102:200:ff:fe00:16	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      MN'     TN
 |       |       |       |
 | <------------ |       | BU
 | ------------> |       | BA (*1)
 |       |       |       |
 |       | <------------ | Echo Request
 | ----> |       |       | Echo Request (*2)
 |       |       |       |

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

JUDGEMENT

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

SEE ALSO

MIP6.pm
MIP6.def