#
# Copyright (C) 1999, 2000, 2001, 2002, 2003, 2004, 2005, 2006, 2007, 2008, 2009, 2010
# Yokogawa Electric Corporation.
# All rights reserved.
# 
# Redistribution and use of this software in source and binary
# forms, with or without modification, are permitted provided that
# the following conditions and disclaimer are agreed and accepted
# by the user:
# 
# 1. Redistributions of source code must retain the above copyright
#    notice, this list of conditions and the following disclaimer.
# 
# 2. Redistributions in binary form must reproduce the above copyright
#    notice, this list of conditions and the following disclaimer in
#    the documentation and/or other materials provided with
#    the distribution.
# 
# 3. Neither the names of the copyrighters, the name of the project
#    which is related to this software (hereinafter referred to as
#    "project") nor the names of the contributors may be used to
#    endorse or promote products derived from this software without
#    specific prior written permission.
# 
# 4. No merchantable use may be permitted without prior written
#    notification to the copyrighters.
# 
# 5. The copyrighters, the project and the contributors may prohibit
#    the use of this software at any time.
# 
# THIS SOFTWARE IS PROVIDED BY THE COPYRIGHTERS, THE PROJECT AND
# CONTRIBUTORS "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING
# BUT NOT LIMITED THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS
# FOR A PARTICULAR PURPOSE, ARE DISCLAIMED.  IN NO EVENT SHALL THE
# COPYRIGHTERS, THE PROJECT OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT,
# INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES
# (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR
# SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION)
# HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT,
# STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING
# IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE
# POSSIBILITY OF SUCH DAMAGE.
#
# $Name: V6LC_5_0_9 $
#
# $TAHI: ct/addr.p2/INDEX_P2_ROUTER,v 1.9 2008/04/10 07:32:32 akisada Exp $
#
# <seq>:<def>:<opts>:<htmldoc>:<dsc>:<links>
#



#----------------------------------------------------------------------#
# Group 1 Address Autoconfiguration and Duplicate Address Detection    #
#----------------------------------------------------------------------#
&print:Group 1: Address Autoconfiguration and Duplicate Address Detection



#----------------------------------------------------------------------#
# v6LC.3.1.1 Address Autoconfiguration and Duplicate Address Detection #
#----------------------------------------------------------------------#
&print:Test v6LC.3.1.1: Address Autoconfiguration and Duplicate Address Detection
./LLA_DADSuccess.seq:LLA_SAA.def:::Address Autoconfiguration and Duplicate Address Detection:2



#----------------------------------------------------------------------#
# v6LC.3.1.2 Receiving DAD Neighbor Solicitations and Advertisements   #
#----------------------------------------------------------------------#
&print:Test v6LC.3.1.2: Receiving DAD Neighbor Solicitations and Advertisements
./LLA_DAD_NSPostDAD_SameDstDiffTgt.seq:LLA_SAA.def:::Part A&#58; NUT receives DAD NS (target != NUT):2
./LLA_DAD_NSPostDAD_SameDstSameTgt.seq:DAD_Failure.def:::Part B&#58; NUT receives DAD NS (target == NUT):2
./LLA_DAD_NAPostDAD_DiffTgt.seq:LLA_SAA.def:::Part C&#58; NUT receives DAD NA (target != NUT):2
./LLA_DAD_NAPostDAD_SameTgt.seq:DAD_Failure.def:::Part D&#58; NUT receives DAD NA (target == NUT):2



#----------------------------------------------------------------------#
# v6LC.3.1.3 Validation of DAD Neighbor Solicitations                  #
#----------------------------------------------------------------------#
&print:Test v6LC.3.1.3: Validation of DAD Neighbor Solicitations
./LLA_DAD_NSPostDAD_invalidLEN.seq:LLA_SAA.def:::Part A&#58; NUT receives invalid DAD NS (ICMP length &lt; 24 octets):2
./LLA_DAD_NSPostDAD_HL254.seq:LLA_SAA.def:::Part B&#58; NUT receives invalid DAD NS (HopLimit !=255):2
./LLA_DAD_NSPostDAD_DstTent.seq:LLA_SAA.def:::Part C&#58; NUT receives invalid DAD NS (Dst = NUT's tentative address):2
./LLA_DAD_NSPostDAD_DstAll.seq:LLA_SAA.def:::Part D&#58; NUT receives invalid DAD NS (Dst = allnode):2
./LLA_DAD_NSPostDAD_CODEnon0.seq:LLA_SAA.def:::Part E&#58; NUT receives invalid DAD NS (ICMP code!= zero):2
./LLA_DAD_NSPostDAD_invalidCHKSUM.seq:LLA_SAA.def:::Part F&#58; NUT receives invalid DAD NS (Invalid Checksum):2
./LLA_DAD_NSPostDAD_tgtMCAST.seq:LLA_SAA.def:::Part G&#58; NUT receives invalid DAD NS (target == multicast address):2
./LLA_DAD_NSPostDAD_wSLL.seq:LLA_SAA.def:::Part H&#58; NUT receives invalid DAD NS (contains SLL):2
./LLA_DAD_NSPostDAD_Reserved.seq:DAD_Failure.def:::Part I&#58; NUT receives valid DAD NS (Reserved Field):2
./LLA_DAD_NSPostDAD_wTLL.seq:DAD_Failure.def:::Part J&#58; NUT receives valid DAD NS (contains TLL):2



#----------------------------------------------------------------------#
# v6LC.3.1.4 Validation of DAD Neighbor Advertisements                 #
#----------------------------------------------------------------------#
&print:Test v6LC.3.1.4: Validation of DAD Neighbor Advertisements
./LLA_DAD_NAPostDAD_invalidLEN.seq:LLA_SAA.def:::Part A&#58; NUT receives invalid DAD NA (ICMP length &lt; 24 octets):2
./LLA_DAD_NAPostDAD_HL254.seq:LLA_SAA.def:::Part B&#58; NUT receives invalid DAD NA (HopLimit != 255):2
./LLA_DAD_NAPostDAD_CODEnon0.seq:LLA_SAA.def:::Part C&#58; NUT receives invalid DAD NA (ICMP code!= zero):2
./LLA_DAD_NAPostDAD_invalidCHKSUM.seq:LLA_SAA.def:::Part D&#58; NUT receives invalid DAD NA (Invalid Checksum):2
./LLA_DAD_NAPostDAD_SF1.seq:LLA_SAA.def:::Part E&#58; NUT receives invalid DAD NA (SolicitedFlag ==1):2
./LLA_DAD_NAPostDAD_tgtMCAST.seq:LLA_SAA.def:::Part F&#58;  NUT receives invalid DAD NA (target == multicast address):2
./LLA_DAD_NAPostDAD_invalidOptLen.seq:LLA_SAA.def:::Part G&#58; NUT receives invalid DAD NA (option length ==zero):2
./LLA_DAD_NAPostDAD_Reserved.seq:DAD_Failure.def:::Part H&#58; NUT receives valid DAD NA (Reserved Field):2
./LLA_DAD_NAPostDAD_wSLL.seq:DAD_Failure.def:::Part I&#58; NUT receives valid DAD NA (contains SLL):2



#----------------------------------------------------------------------#
# v6LC.3.1.5 Receiving Neighbor Solicitations for Address Resolution   #
#----------------------------------------------------------------------#
&print:Test v6LC.3.1.5: Receiving Neighbor Solicitations for Address Resolution
./LLA_DAD_NSPostDAD_SrcUni.seq:LLA_SAA.def:::Part A&#58; NUT receives NS (src == unicast):2
./LLA_DAD_NSPostDAD_SrcDstUni.seq:LLA_SAA.def:::Part B&#58; NUT receives NS (Src == unicast &amp;&amp; Dst == NUT's tentative address):2



#----------------------------------------------------------------------#
# Group 2 Router Advertisement Processing and Address Lifetime         #
#----------------------------------------------------------------------#
&print:Group 2: Router Advertisement Processing and Address Lifetime



#----------------------------------------------------------------------#
# v6LC.3.2.1 Global Address Autoconfiguration and DAD                  #
#----------------------------------------------------------------------#
&print:Test v6LC.3.2.1: Global Address Autoconfiguration and DAD
./v6LC_3_2_1_A.seq:v6LC_3_2_1_A.def:::Part A&#58; Unicast Autoconfigured Address - Global:2
./v6LC_3_2_1_B.seq:v6LC_3_2_1_B.def:::Part B&#58; Unicast Autoconfigured Address  Prefix ending in zero valued fields:2
./v6LC_3_2_1_C.seq:v6LC_3_2_1_C.def:::Part C&#58; Unicast Autoconfigured Address  Site-Local:2
