#!/usr/bin/perl
#
# $Copyright$
# $TINY: RA_mGA_sRAmPXsRT.seq,v 1.7 2002/03/05 17:13:55 miyata Exp $
# 

########################################################################
BEGIN { $V6evalTool::TestVersion = '$Name:  $ '; }
use V6evalTool;
use DAD_LCNA;

#------------------------------------------------------
#----- get sequence arguments
#------------------------------------------------------
$howto_initNUT="none";
$send = "ok";
$dad_recv_count=0;
$rs_recv_count=0;

foreach (@ARGV) {
# How to configure address of NUT?
# sample: boot, ra, manual+_GLOBAL0A0N_UCAST
    /^addrconf=(\S+)/ && do {$DAD_LCNA::howto_addrconf=$1; next; };

# How to initialize NUT?
# sample: none, DADSuccess_boot, DADFail_boot
    /^init=(\S+)/     && do {$howto_initNUT=$1; next; };

# "none" if send no pakcet to NUT in state DADPostSendNS
# sample: ok, none
    /^send=(\S+)/     && do {$send=$1; next; };

# sequence debug options
# sample: qR
    /^sd=(\S+)/       && do {$seqdebugopt=$1; next; };
    seqERROR("Unknown sequence option '$_'");
}
#------------------------------------------------------

#----- test condition
$IF=Link0;                 # network interface

$max_retry_count = 10;     # retry if NUT state becomes DADPostSendNS
$max_retry_count = 2 if $DAD_LCNA::sd =~ /q/;    # quick retry
$send_interval  = 1;
	       # 1[sec] time between DAD NS and DAD NS, send to NUT
               #     (RandomDelay is 0-1sec  e.g. default RetransTimer 1000msec)


$DAD_GA = $DAD_LCNA::DADTransmitsGA;
$DAD_GA =~ tr/a-z/A-Z/ ;
 
$recvGA0=0;
$recvGA1=0;

##########################################################
#----- initialize NUT
vLog("*** Target initialization phase ***");
$rret=vRemote("reboot_async.rmt","","timeout=5");
vLog("reboot_async.rmt returned status $rret");

#----- start Capturing
vLog("*** Target testing phase ***");
vCapture($IF);


#----- LLA PHASE
#----- Wait DAD NS from NUT or timeout
vLog("TN wait DAD NS(DADNS_from_NUT) from NUT for $DAD_LCNA::wait_dadns{$DAD_LCNA::howto_addrconf} [sec],");

%ret1=vRecv($IF,$DAD_LCNA::wait_dadns{$DAD_LCNA::howto_addrconf},0,$dad_recv_count,DADNS_from_NUT);

if ($ret1{status} != 0){
    vLog("TN wait DAD NS from NUT for $DAD_LCNA::wait_dadns{$DAD_LCNA::howto_addrconf}, but NUT had not transmit DAD NS");
    seqNG();
}

#----- RA PHASE
vLog("TN received DAD NS from NUT.");
vLog("OK! Let's go ahead!");
%ret2=vRecv($IF,$DAD_LCNA::wait_rs,0,$rs_recv_count,RS_from_NUT,RS_from_NUT_wSLL);

if ($ret2{status} != 0){
    vLog("Though TN had waited RS from NUT for $DAD_LCNA::wait_rs,");
    vLog(" NUT seems not to send RS.");
    vLog(" Anyway TN is sending Unsolicited RA (Prefix=Global)");
}else{
    vLog("TN received RS from NUT.");
    vLog("TN is sending RA (Prefix=Global)");
}

#----- Send RA
vSend($IF, RA_GA0GA1);

#----- Wait DAD NS from NUT or timeout
for ($loopcount=0; $loopcount<2; $loopcount++){
    vLog("TN wait DAD NS for Global from NUT for $DAD_LCNA::wait_dadns{ra} [sec],");

    %ret3=vRecv($IF,$DAD_LCNA::wait_dadns{"ra"},0,0,DADNS_from_NUT_GA0Tgt,DADNS_from_NUT_GA1Tgt);
    if ($ret3{status} == 0 and $ret3{recvFrame} eq DADNS_from_NUT_GA0Tgt){
        $recvGA0=1;
    }elsif ($ret3{status} == 0 and $ret3{recvFrame} eq DADNS_from_NUT_GA1Tgt){
        $recvGA1=1;
    }
}

if ( $recvGA0 == 1 and $recvGA1 == 1 ){
#----- check if NUT's address is configured
    vLog("NUT transmitted DAD NS for its Global address.");
    vSleep($DAD_LCNA::RetransTimerSec);
    if (seqCheckNUTAddrConfiguredGA($IF,DADNS_from_TN_GA0Tgt, DADNA_from_NUT_GA0Tgt, DADNA_from_NUT_GA0Tgt_woTLL, DADNA_from_GA0NUT_GA0Tgt, DADNA_from_GA0NUT_GA0Tgt_woTLL, DADNA_from_NUT_GA1Tgt, DADNA_from_NUT_GA1Tgt_woTLL, DADNA_from_GA1NUT_GA1Tgt, DADNA_from_GA1NUT_GA1Tgt_woTLL) eq TRUE) {
        vLog(" NUT assigned Global address 0.");
        $assign_ga0=1;
    }else{
        vLog(" NUT did not assign Global address.");
        $assign_ga0=0;
    }
    if (seqCheckNUTAddrConfiguredGA($IF,DADNS_from_TN_GA1Tgt, DADNA_from_NUT_GA0Tgt, DADNA_from_NUT_GA0Tgt_woTLL, DADNA_from_GA0NUT_GA0Tgt, DADNA_from_GA0NUT_GA0Tgt_woTLL, DADNA_from_NUT_GA1Tgt, DADNA_from_NUT_GA1Tgt_woTLL, DADNA_from_GA1NUT_GA1Tgt, DADNA_from_GA1NUT_GA1Tgt_woTLL) eq TRUE) {
        vLog(" NUT assigned Global address 1.");
        $assign_ga1=1;
    }else{
        vLog(" NUT did not assign Global address 1.");
        $assign_ga1=0;
    }

    if ($DAD_GA eq "NO") {
        vLog("NUT transmit DAD NS though DADTransmitsGA == NO");
        seqNG();
    }else{
        if ($assign_ga0 == 1 and $assign_ga1 == 1){
            vLog("NUT assigned Both addresses!");
            seqOK();
	}else{
            seqNG();
        }
    }
}else{
    vLog("NUT did not transmit DAD NS for Both Global addresses.");

    if (seqCheckNUTAddrConfiguredGA($IF,DADNS_from_TN_GA0Tgt, DADNA_from_NUT_GA0Tgt, DADNA_from_NUT_GA0Tgt_woTLL, DADNA_from_GA0NUT_GA0Tgt, DADNA_from_GA0NUT_GA0Tgt_woTLL, DADNA_from_NUT_GA1Tgt, DADNA_from_NUT_GA1Tgt_woTLL, DADNA_from_GA1NUT_GA1Tgt, DADNA_from_GA1NUT_GA1Tgt_woTLL) eq TRUE) {
        vLog(" NUT assigned Global address.");
        $assign_ga0=1;
    }else{
        vLog(" NUT did not assign Global address.");
        $assign_ga0=0;
    }
    if (seqCheckNUTAddrConfiguredGA($IF,DADNS_from_TN_GA1Tgt, DADNA_from_NUT_GA0Tgt, DADNA_from_NUT_GA0Tgt_woTLL, DADNA_from_GA0NUT_GA0Tgt, DADNA_from_GA0NUT_GA0Tgt_woTLL, DADNA_from_NUT_GA1Tgt, DADNA_from_NUT_GA1Tgt_woTLL, DADNA_from_GA1NUT_GA1Tgt, DADNA_from_GA1NUT_GA1Tgt_woTLL) eq TRUE) {
        vLog(" NUT assigned Global address.");
        $assign_ga1=1;
    }else{
        vLog(" NUT did not assign Global address.");
        $assign_ga1=0;
    }

    if ($DAD_GA eq "YES") {
        vLog("NUT did not transmit DAD NS though DADTransmitsGA == YES");
        seqNG();
    }else{
        if ($assign_ga0 == 1 and $assign_ga1 == 1){
            vLog("NUT assigned Both addresses!");
            seqOK();
	}else{
            seqNG();
        }
    }
}

##########################################################


#end
########################################################################
__END__

=head1 NAME

RA_mGA_sRAmPXsRT - check the process when NUT receives RA which contains two Global Prefixes.(Assigning two Glboal addresses)

=head1 TARGET

All Node

=head1 SYNOPSIS

RA_mGA_sRAmPXsRT.seq [-tooloption ...] -pkt <packetdef> [addrconf=<addrconfname>] 

  -tooloption   : v6eval tool option
  <packetdef>   : packet definition file (v6eval tool option)
  <addrconfname>: how to configure address on NUT; boot/reboot

=begin html
<PRE>
 detail of v6eval tool option: see perldoc V6evalTool.pm, perldoc V6evalRemote.pm
</PRE>

=end html


=head1 INITIALIZATION

=begin html
<PRE>
 Reboot NUT or Initialize interface of NUT or Initialize IPv6 stack of NUT.
</PRE>

=end html

=head1 TEST PROCEDURE

=over 1

=item Test for Unicast address configuration

The following tests are prepared in this test package. See INDEX file.

B<Test for all node>

   When NUT receives RA which contains Global Prefixes, 
   NUT assignes autoconfigured addresses. NUT MAY perform DAD for its Global
   addresses prior to assigning them.

B<Test sequence>

  TN                            NUT
  ---------------------------------
  Initialize NUT

  Configure address of NUT (reboot or interface initialization etc...)

  TN wait the DAD NS sent from NUT
  <=== Judgement #1: DAD NS =======
        name: DADNS_from_NUT

  <=== Judgement #2: RS ===========
        name: RS_from_NUT, RS_from_NUT_wSLL

  ==== Action #1: RA =============>
        name: RA_GA0GA1

  <=== Judgement #3: DAD NS =======
        name: DADNS_from_NUT_GA0Tgt

  <=== Judgement #4: DAD NS =======
        name: DADNS_from_NUT_GA1Tgt

  Wait for DupAddrDetectTransmits*RetransTimer

  Check if NUT's address is configured
  ==== Action #2: DAD NS =========>
        name: DADNS_from_TN_GA0Tgt

  <=== Judgement #5: DAD NA =======
        name: DADNA_from_NUT_GA0Tgt, DADNA_from_NUT_GA0Tgt_woTLL 

  ==== Action #3: DAD NS =========>
        name: DADNS_from_TN_GA1Tgt

  <=== Judgement #6: DAD NA =======
        name: DADNA_from_NUT_GA1Tgt, DADNA_from_NUT_GA1Tgt_woTLL 

=back 1

=head1 JUDGEMENT

=over 1

=item Test for multiple Global Unicast address autoconfiguration

B<Test for all NODE>

B<NUT performs Stateless Address Autoconfiguration(2 Global) on its interface>

   Judgement #1. NUT MUST transmit DAD NS for its autoconfigured Link-local address.
        name: DADNS_from_NUT
	src: ::0
	dst: solnode[NUT's tentative Link-local]
        TargetAddress: NUT's tentative Link-local

   Judgement #2. NUT SHOULD transmit RS.
        name: RS_from_NUT
	src: NUT's Link-local
	dst: allrouter

   Action #1. TN transmits RA which contains 2 Global Prefixes.
        name: RA_GA0GA1
	src: TN's Link-local
	dst: allnode
	PXOPT: GA0
	PXOPT: GA1

   Judgement #3. NUT MUST transmit DAD NS for its autoconfigured Global address.
		 (* If the address is consisits of EUI64, as same as Link-local
		 address, This DAD MAY be omitted.)
        name: DADNS_from_NUT_GA0Tgt
        src: ::0
	dst: solnode[NUT's tentative Global0]
        TargetAddress: NUT's tentative Global0

   Judgement #4. NUT MUST transmit DAD NS for its autoconfigured Global address.
		 (* If the address is consisits of EUI64, as same as Link-local
		 address, This DAD MAY be omitted.)
        name: DADNS_from_NUT_GA1Tgt
        src: ::0
	dst: solnode[NUT's tentative Global1]
        TargetAddress: NUT's tentative Global1

   Action #2. TN transmits DAD NS to check if NUT's address is configured.
        name: DADNS_from_TN_GA0Tgt
        src: ::0
	dst: solnode[NUT's Global0]
        TargetAddress: NUT's Global0

   Judgement #5. NUT MUST transmit DAD NA for its autoconfigured Global address.
        name: DADNA_from_NUT_GA0Tgt, DADNA_from_NUT_GA0Tgt_woTLL
	src: NUT's Link-local
	dst: allnode
        TargetAddress: NUT's Global0
        RFlag: 0
        SFlag: 0
        OFlag: 1
	TLLOPT: NUT's MAC address
	(* TLLOPT may be omitted)

   Action #3. TN transmits DAD NS to check if NUT's address is configured.
        name: DADNS_from_TN_GA1Tgt
        src: ::0
	dst: solnode[NUT's Global1]
        TargetAddress: NUT's Global1

   Judgement #6. NUT MUST transmit DAD NA for its autoconfigured Global address.
        name: DADNA_from_NUT_GA1Tgt, DADNA_from_NUT_GA1Tgt_woTLL
	src: NUT's Link-local
	dst: allnode
        TargetAddress: NUT's Global1
        RFlag: 0
        SFlag: 0
        OFlag: 1
	TLLOPT: NUT's MAC address
	(* TLLOPT may be omitted)


=back 1

=head1 SEE ALSO

=begin html
<PRE>
 detail of v6eval tool option: see perldoc V6evalTool.pm, perldoc V6evalRemote.pm
</PRE>

=end html

=cut