peter/infix
1
0
Fork 0
mirror of https://github.com/kernelkit/infix.git synced 2026-08-04 06:43:00 +02:00
Code Issues Packages Projects Releases Wiki Activity

test: update specifications

Browse Source 
Signed-off-by: Joachim Wiberg <troglobit@gmail.com>
This commit is contained in:
Joachim Wiberg
2024-09-26 15:55:46 +02:00
parent dc1a2c39e8
commit 5aed8e0488
4 changed files with 28 additions and 20 deletions
Download Patch File Download Diff File Expand all files Collapse all files
test/case/ietf_interfaces/ipv4_autoconf/Readme.adoc
+6 -6
View File
@@ -1,22 +1,21 @@
=== IPv4 link-local
==== Description
Verifies that linklocal (ZeroConf) work as expected
Verifies that link-local (IPv4LL/ZeroConf) address assignment work as
expected. Checks random address, the request-address setting, and
address removal on autoconf disable.
==== Topology
ifdef::topdoc[]
image::../../test/case/ietf_interfaces/ipv4_autoconf/topology.png[IPv4 link-local topology]
endif::topdoc[]
ifndef::topdoc[]
ifdef::testgroup[]
image::ipv4_autoconf/topology.png[IPv4 linklocal topology]
image::ipv4_autoconf/topology.png[IPv4 link-local topology]
endif::testgroup[]
ifndef::testgroup[]
image::topology.png[IPv4 linklocal topology]
image::topology.png[IPv4 link-local topology]
endif::testgroup[]
endif::topdoc[]
==== Test sequence
. Initialize
. Configure an interface with IPv4 ZeroConf IP
@@ -27,3 +26,4 @@ endif::topdoc[]
<<<
test/case/ietf_routing/static_routing/Readme.adoc
+3 -3
View File
@@ -1,7 +1,7 @@
=== Static routing
==== Description
Test that it is possible to use static routes (IPv4 and IPv6)
works as expected
Verify that it is possible to add static routes, both IPv4 and IPv6, and
that data forwarding works as expected via an intermediate device.
==== Topology
ifdef::topdoc[]
@@ -19,7 +19,7 @@ endif::topdoc[]
. Configure targets
. Wait for routes
. Configure host addresses and routes
. Verify that dut2 is reachable on 192.168.200.1 from PC:data
. Verify that R2 is reachable on 192.168.200.1 from PC:data
. Verify that R2 is reachable on 2001:db8:3c4d:200::1 from PC:data
. Remove all static routes from R1
. Verify R2 is no longer reachable on either IPv4 or IPv6 from PC:data
test/case/ietf_routing/static_routing/test.py
+4 -4
View File
@@ -3,7 +3,7 @@
# |
# +--------------+ +-------------+
# | |192.168.50.0/24 | |
# | DUT1 .1 +----------------+ .2 DUT2 |-192.168.200.1/32 (lo)
# | R1 .1 +----------------+ .2 R2 |-192.168.200.1/32 (lo)
# | .1 | | .1 |
# +--+------+----+ +---+-----+---+
# | | |
@@ -18,8 +18,8 @@
"""
Static routing
Test that it is possible to use static routes (IPv4 and IPv6)
works as expected
Verify that it is possible to add static routes, both IPv4 and IPv6, and
that data forwarding works as expected via an intermediate device.
"""
import infamy
import infamy.route as route
@@ -216,7 +216,7 @@ with infamy.Test() as test:
ns0.addip("192.168.10.2")
ns0.addroute("192.168.200.1/32", "192.168.10.1")
with test.step("Verify that dut2 is reachable on 192.168.200.1 from PC:data"):
with test.step("Verify that R2 is reachable on 192.168.200.1 from PC:data"):
ns0.must_reach("192.168.200.1")
with test.step("Verify that R2 is reachable on 2001:db8:3c4d:200::1 from PC:data"):
test/case/infix_dhcp/dhcp_routes/Readme.adoc
+15 -7
View File
@@ -1,22 +1,30 @@
=== DHCP router
=== DHCP option 121 vs option 3
==== Description
Verify DHCP option 121 (staticroutes) is used over option 3 and that the routes exist in
the operational datastore
Verify DHCP option 121 (staticroutes) is used over option 3 and that the
routes exist in the operational datastore.
Installing unrelated routes from a DHCP server should not affect already
existing routes. To verify this a canary route is set up in the client
before initiating DHCP. This canary route does not need to be reachable
before a DHCP lease has been acquired.
==== Topology
ifdef::topdoc[]
image::../../test/case/infix_dhcp/dhcp_routes/topology.png[DHCP router topology]
image::../../test/case/infix_dhcp/dhcp_routes/topology.png[DHCP option 121 vs option 3 topology]
endif::topdoc[]
ifndef::topdoc[]
ifdef::testgroup[]
image::dhcp_routes/topology.png[DHCP router topology]
image::dhcp_routes/topology.png[DHCP option 121 vs option 3 topology]
endif::testgroup[]
ifndef::testgroup[]
image::topology.png[DHCP router topology]
image::topology.png[DHCP option 121 vs option 3 topology]
endif::testgroup[]
endif::topdoc[]
==== Test sequence
. Initialize
. Setting up client
. Verify client use classless routes, option 121
. Verify client did *not* use option 3
. Verify client has canary route, 20.0.0.0/24
<<<