Module Name:    src
Committed By:   ozaki-r
Date:           Thu Jul 30 02:52:53 UTC 2015

Modified Files:
        src/distrib/sets/lists/tests: mi
        src/tests/net/arp: Makefile
Added Files:
        src/tests/net/arp: t_dad.sh

Log Message:
Add tests for IPv4 DAD


To generate a diff of this commit:
cvs rdiff -u -r1.636 -r1.637 src/distrib/sets/lists/tests/mi
cvs rdiff -u -r1.1 -r1.2 src/tests/net/arp/Makefile
cvs rdiff -u -r0 -r1.1 src/tests/net/arp/t_dad.sh

Please note that diffs are not public domain; they are subject to the
copyright notices on the relevant files.

Modified files:

Index: src/distrib/sets/lists/tests/mi
diff -u src/distrib/sets/lists/tests/mi:1.636 src/distrib/sets/lists/tests/mi:1.637
--- src/distrib/sets/lists/tests/mi:1.636	Wed Jul 29 19:18:18 2015
+++ src/distrib/sets/lists/tests/mi	Thu Jul 30 02:52:53 2015
@@ -1,4 +1,4 @@
-# $NetBSD: mi,v 1.636 2015/07/29 19:18:18 christos Exp $
+# $NetBSD: mi,v 1.637 2015/07/30 02:52:53 ozaki-r Exp $
 #
 # Note: don't delete entries from here - mark them as "obsolete" instead.
 #
@@ -3102,6 +3102,7 @@
 ./usr/tests/net/arp/Atffile			tests-net-tests		atf,rump
 ./usr/tests/net/arp/Kyuafile			tests-net-tests		atf,rump,kyua
 ./usr/tests/net/arp/t_arp			tests-net-tests		atf,rump
+./usr/tests/net/arp/t_dad			tests-net-tests		atf,rump
 ./usr/tests/net/bpf				tests-net-tests		compattestfile,atf
 ./usr/tests/net/bpf/Atffile			tests-net-tests		atf,rump
 ./usr/tests/net/bpf/Kyuafile			tests-net-tests		atf,rump,kyua

Index: src/tests/net/arp/Makefile
diff -u src/tests/net/arp/Makefile:1.1 src/tests/net/arp/Makefile:1.2
--- src/tests/net/arp/Makefile:1.1	Wed Jul 29 06:10:10 2015
+++ src/tests/net/arp/Makefile	Thu Jul 30 02:52:53 2015
@@ -1,4 +1,4 @@
-# $NetBSD: Makefile,v 1.1 2015/07/29 06:10:10 ozaki-r Exp $
+# $NetBSD: Makefile,v 1.2 2015/07/30 02:52:53 ozaki-r Exp $
 #
 
 .include <bsd.own.mk>
@@ -6,5 +6,6 @@
 TESTSDIR=	${TESTSBASE}/net/arp
 
 TESTS_SH=	t_arp
+TESTS_SH=	t_dad
 
 .include <bsd.test.mk>

Added files:

Index: src/tests/net/arp/t_dad.sh
diff -u /dev/null src/tests/net/arp/t_dad.sh:1.1
--- /dev/null	Thu Jul 30 02:52:54 2015
+++ src/tests/net/arp/t_dad.sh	Thu Jul 30 02:52:53 2015
@@ -0,0 +1,224 @@
+#	$NetBSD: t_dad.sh,v 1.1 2015/07/30 02:52:53 ozaki-r Exp $
+#
+# Copyright (c) 2015 The NetBSD Foundation, Inc.
+# All rights reserved.
+#
+# Redistribution and use in source and binary forms, with or without
+# modification, are permitted provided that the following conditions
+# are met:
+# 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.
+#
+# THIS SOFTWARE IS PROVIDED BY THE NETBSD FOUNDATION, INC. AND CONTRIBUTORS
+# ``AS IS'' AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED
+# TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR
+# PURPOSE ARE DISCLAIMED.  IN NO EVENT SHALL THE FOUNDATION 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.
+#
+
+inetserver="rump_server -lrumpnet -lrumpnet_net -lrumpnet_netinet -lrumpnet_shmif"
+HIJACKING="env LD_PRELOAD=/usr/lib/librumphijack.so RUMPHIJACK=sysctl=yes"
+
+SOCKLOCAL=unix://commsock1
+SOCKPEER=unix://commsock2
+
+DEBUG=false
+
+atf_test_case dad_basic cleanup
+atf_test_case dad_duplicated cleanup
+
+dad_basic_head()
+{
+	atf_set "descr" "Tests for IPv4 DAD basic behavior"
+	atf_set "require.progs" "rump_server"
+}
+
+dad_duplicated_head()
+{
+	atf_set "descr" "Tests for IPv4 DAD duplicated state"
+	atf_set "require.progs" "rump_server"
+}
+
+setup_server()
+{
+	local sock=$1
+	local ip=$2
+
+	export RUMP_SERVER=$sock
+
+	atf_check -s exit:0 rump.ifconfig shmif0 create
+	atf_check -s exit:0 rump.ifconfig shmif0 linkstr bus1
+	atf_check -s exit:0 rump.ifconfig shmif0 inet $ip/24
+	atf_check -s exit:0 rump.ifconfig shmif0 up
+	atf_check -s exit:0 rump.ifconfig -w 10
+
+	$DEBUG && rump.ifconfig shmif0
+}
+
+make_pkt_str()
+{
+	local target=$1
+	local sender=$2
+	pkt="> ff:ff:ff:ff:ff:ff, ethertype ARP (0x0806), length 42:"
+	pkt="$pkt Request who-has $target tell $sender, length 28"
+	echo $pkt
+}
+
+dad_basic_body()
+{
+	local pkt=
+
+	atf_check -s exit:0 ${inetserver} $SOCKLOCAL
+	export RUMP_SERVER=$SOCKLOCAL
+
+	atf_check -s exit:0 rump.ifconfig shmif0 create
+	atf_check -s exit:0 rump.ifconfig shmif0 linkstr bus1
+	atf_check -s exit:0 rump.ifconfig shmif0 inet 10.0.0.1/24
+	atf_check -s exit:0 rump.ifconfig shmif0 inet 10.0.0.2/24 alias
+	atf_check -s exit:0 rump.ifconfig shmif0 up
+	$DEBUG && rump.ifconfig shmif0
+
+	atf_check -s exit:0 sleep 1
+
+	# The primary address is not tentative from the beginning
+	atf_check -s not-exit:0 -x "rump.ifconfig shmif0 |grep 10.0.0.1 |grep -q tentative"
+	# The alias address is still tentative
+	atf_check -s exit:0 -x "rump.ifconfig shmif0 |grep 10.0.0.2 |grep -q tentative"
+
+	shmif_dumpbus -p - bus1 2>/dev/null| tcpdump -n -e -r - > ./out
+
+	# Check DAD probe packets
+	pkt=$(make_pkt_str 10.0.0.2 0.0.0.0)
+	atf_check -s exit:0 -x "cat ./out |grep -q '$pkt'"
+	# No DAD for the primary address
+	pkt=$(make_pkt_str 10.0.0.1 0.0.0.0)
+	atf_check -s not-exit:0 -x "cat ./out |grep -q '$pkt'"
+
+	# Waiting for DAD complete
+	atf_check -s exit:0 rump.ifconfig -w 10
+	shmif_dumpbus -p - bus1 2>/dev/null| tcpdump -n -e -r - |tail -1 > ./out
+
+	# Check the DAD announce packet
+	pkt=$(make_pkt_str 10.0.0.2 10.0.0.2)
+	atf_check -s exit:0 -x "cat ./out |grep -q '$pkt'"
+	# The alias address left tentative
+	atf_check -s not-exit:0 -x "rump.ifconfig shmif0 |grep 10.0.0.2 |grep -q tentative"
+
+	#
+	# Add a new address on the fly
+	#
+	atf_check -s exit:0 rump.ifconfig shmif0 inet 10.0.0.3/24 alias
+
+	atf_check -s exit:0 sleep 1
+
+	# The new address is still tentative
+	atf_check -s exit:0 -x "rump.ifconfig shmif0 |grep 10.0.0.3 |grep -q tentative"
+
+	# Check DAD probe packets
+	shmif_dumpbus -p - bus1 2>/dev/null| tcpdump -n -e -r - |tail -1 > ./out
+	pkt=$(make_pkt_str 10.0.0.3 0.0.0.0)
+	atf_check -s exit:0 -x "cat ./out |grep -q '$pkt'"
+
+	# Waiting for DAD complete
+	atf_check -s exit:0 rump.ifconfig -w 10
+	shmif_dumpbus -p - bus1 2>/dev/null| tcpdump -n -e -r - |tail -1 > ./out
+
+	# Check the DAD announce packet
+	pkt=$(make_pkt_str 10.0.0.3 10.0.0.3)
+	atf_check -s exit:0 -x "cat ./out |grep -q '$pkt'"
+	# The new address left tentative
+	atf_check -s not-exit:0 -x "rump.ifconfig shmif0 |grep 10.0.0.3 |grep -q tentative"
+}
+
+dad_duplicated_body()
+{
+	local localip1=10.0.1.1
+	local localip2=10.0.1.11
+	local peerip=10.0.1.2
+
+	atf_check -s exit:0 ${inetserver} $SOCKLOCAL
+	atf_check -s exit:0 ${inetserver} $SOCKPEER
+
+	setup_server $SOCKLOCAL $localip1
+	setup_server $SOCKPEER $peerip
+
+	export RUMP_SERVER=$SOCKLOCAL
+
+	# The primary address isn't marked as duplicated
+	atf_check -s not-exit:0 -x "rump.ifconfig shmif0 |grep $localip1 |grep -q duplicated"
+
+	#
+	# Add a new address duplicated with the peer server
+	#
+	atf_check -s exit:0 rump.ifconfig shmif0 inet $peerip alias
+	atf_check -s exit:0 sleep 1
+
+	# The new address is marked as duplicated
+	atf_check -s exit:0 -x "rump.ifconfig shmif0 |grep $peerip |grep -q duplicated"
+
+	# A unique address isn't marked as duplicated
+	atf_check -s exit:0 rump.ifconfig shmif0 inet $localip2 alias
+	atf_check -s exit:0 sleep 1
+	atf_check -s not-exit:0 -x "rump.ifconfig shmif0 |grep $localip2 |grep -q duplicated"
+}
+
+cleanup()
+{
+	gdb -ex bt /usr/bin/rump_server rump_server.core
+	gdb -ex bt /usr/sbin/arp arp.core
+	env RUMP_SERVER=$SOCKLOCAL rump.halt
+	env RUMP_SERVER=$SOCKPEER rump.halt
+}
+
+dump_local()
+{
+	export RUMP_SERVER=$SOCKLOCAL
+	rump.netstat -nr
+	rump.arp -n -a
+	rump.ifconfig
+	$HIJACKING dmesg
+}
+
+dump_peer()
+{
+	export RUMP_SERVER=$SOCKPEER
+	rump.netstat -nr
+	rump.arp -n -a
+	rump.ifconfig
+	$HIJACKING dmesg
+}
+
+dump()
+{
+	dump_local
+	dump_peer
+	shmif_dumpbus -p - bus1 2>/dev/null| tcpdump -n -e -r -
+}
+
+dad_basic_cleanup()
+{
+	$DEBUG && dump_local
+	$DEBUG && shmif_dumpbus -p - bus1 2>/dev/null| tcpdump -n -e -r -
+	env RUMP_SERVER=$SOCKLOCAL rump.halt
+}
+
+dad_duplicated_cleanup()
+{
+	$DEBUG && dump
+	env RUMP_SERVER=$SOCKLOCAL rump.halt
+}
+
+atf_init_test_cases()
+{
+	atf_add_test_case dad_basic
+	atf_add_test_case dad_duplicated
+}

Reply via email to