rfc compliance test report ospfv3 results - … · 2018-07-10 · ospf now supports the ability to...

Release2.0

Release3.0

Release2.0.2

Release3.0.2

Release3.0.3

Release4.0

Master2018-06-14

Release5.0

Release5.0.1

Type FRR FRR FRR FRR FRR FRR FRR FRR FRR

Commit ID 3e71b5d f633dc2 36a7e78 30283fd 5dff4ec 7a377a1 7acf817 ed02df4 85f25d8

Commit Date 2017-04-02 2017-10-14 2017-11-08 2017-11-08 2018-01-09 2018-03-12 2018-06-04 2018-06-08 2018-07-05

ANVL-OSPFV3-1.1

MUST

RFC 5340, s2.4 p6Explicit support for multiple instances per link

Explicit Support for Multiple Instances per LinkOSPF now supports the ability to run multiple OSPF protocolinstances on a single link.(This test is for single instance of OSPFv3 daemon on a link)

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

ANVL-OSPFV3-2.1

MUST

RFC 5340, s2.5 p7 Use of link-local addresses

Use of Link-Local AddressesOn all OSPF interfaces except virtual links, OSPF packets are sentusing the interface"s associated link-local unicast address assource

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

ANVL-OSPFV3-2.3

MUST

RFC 5340, s2.5 p7 Use of Link-Local Addresses

Use of Link-Local AddressesOn virtual links, a global scope IPv6 address MUST be used as thesource address for OSPF protocol packets.

Ubuntu 16.04:FAIL

Ubuntu 16.04:FAIL

Ubuntu 16.04:FAIL

Ubuntu16.04: FAIL

Ubuntu16.04: FAIL

Ubuntu 16.04:FAIL

Ubuntu 16.04:FAIL

Ubuntu16.04: FAIL

Ubuntu 16.04:FAIL

FreeBSD 10.3:FAIL

FreeBSD 10.3:FAIL

FreeBSD 10.3:FAIL

FreeBSD10.3: FAIL

FreeBSD10.3: FAIL

FreeBSD 10.3:FAIL

FreeBSD 10.3:FAIL

FreeBSD10.3: FAIL

FreeBSD 10.3:FAIL

of 106

RFC Compliance Test Report

OSPFV3 Results

Test Report created at 2018-07-10 06:23:29 UTC

Release2.0

Release3.0

Release2.0.2

Release3.0.2

Release3.0.3

Release4.0

Master2018-06-14

Release5.0

Release5.0.1

ANVL-OSPFV3-2.4

MUST

RFC 5340, s2.5 p7 Use of link-local addresses

Use of Link-Local AddressesLink-local addresses appear in OSPF Link-LSAs

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

ANVL-OSPFV3-2.5

MUST

RFC 5340, s2.5 p7 Use of Link-Local Addresses

Use of Link-Local Addresseslink-local addresses MUST NOT be advertised ininter-area-prefix-LSAs, AS-external-LSAs or intra-area-prefix-LSAs

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

ANVL-OSPFV3-3.1

MUST

RFC 5340, s2.7 p8 Packet format changes

Packet Format ChangesThe OSPF version number has been incremented from 2 to 3

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

of 106


OSPFV3 Results


Release2.0

Release3.0

Release2.0.2

Release3.0.2

Release3.0.3

Release4.0

Master2018-06-14

Release5.0

Release5.0.1

ANVL-OSPFV3-3.2

MUST


Packet Format ChangesThe Hello packet now contains no address information at all. Rather,it now includes an Interface ID that the originating router has assignedto uniquely identify (among its own interfaces) its interface tothe link

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

ANVL-OSPFV3-3.3

MUST


Packet Format ChangesThis Interface ID will be used as the network-LSA"s Link State IDif the router becomes the Designated Router on the link.

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

ANVL-OSPFV3-3.4

MUST


Packet Format ChangesIf the R-bit is clear, an OSPF speaker can participate inOSPF topology distribution without being used to forwardtransit traffic; this can be used in multi-homed hosts thatwant to participate in the routing protocol

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

FreeBSD 10.3:FAIL

FreeBSD 10.3:FAIL

FreeBSD 10.3:FAIL

FreeBSD10.3: FAIL

FreeBSD10.3: FAIL

FreeBSD 10.3:FAIL

FreeBSD 10.3:FAIL

FreeBSD10.3: FAIL

FreeBSD 10.3:FAIL

of 106


OSPFV3 Results


Release2.0

Release3.0

Release2.0.2

Release3.0.2

Release3.0.3

Release4.0

Master2018-06-14

Release5.0

Release5.0.1

ANVL-OSPFV3-3.5

MUST

RFC 5340 s2.9 p10 Handling Unknown LSA TypesRFC 5340 sA.4.2.1 p72 LS type

Packet Format ChangesHandling of unknown LSA types has been made more flexible so that,based on LS type, unknown LSA types are either treated as havinglink-local flooding scope, or are stored and flooded as if theywere understood0 Treat the LSA as if it had link-local flooding scope(Test for Link-local flooding scope)

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

ANVL-OSPFV3-3.6

MUST

RFC 5340 s2.9 p10 Handling Unknown LSA TypesRFC 5340 sA.4.2.1 p72 LS type

Packet Format ChangesHandling of unknown LSA types has been made more flexible so that,based on LS type, unknown LSA types are either treated as havinglink-local flooding scope, or are stored and flooded as if theywere understood1 Store and flood the LSA, as if type understood(Test for Area-flooding scope)

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

of 106


OSPFV3 Results


Release2.0

Release3.0

Release2.0.2

Release3.0.2

Release3.0.3

Release4.0

Master2018-06-14

Release5.0

Release5.0.1

ANVL-OSPFV3-4.1

MUST

RFC 5340 s3.4 p12 Stub Area Unknown LSA Flooding Restriction DeprecatedRFC 5340 sA.4.2.1 p72 LS type

Handling Unknown LSA Typesan LSA whose LS type is unrecognized may only beflooded into/throughout a stub area if both a) the LSA hasarea or link-local flooding scope and b) the LSA has U-bitset to 00 Treat the LSA as if it had link-local flooding scope(Test for Link-local flooding scope)

Ubuntu 16.04:FAIL

Ubuntu 16.04:FAIL

Ubuntu 16.04:FAIL

Ubuntu16.04: FAIL

Ubuntu16.04: FAIL

Ubuntu 16.04:FAIL

Ubuntu 16.04:FAIL

Ubuntu16.04: FAIL

Ubuntu 16.04:FAIL

FreeBSD 10.3:FAIL

FreeBSD 10.3:FAIL

FreeBSD 10.3:FAIL

FreeBSD10.3: FAIL

FreeBSD10.3: FAIL

FreeBSD 10.3:FAIL

FreeBSD 10.3:FAIL

FreeBSD10.3: FAIL

FreeBSD 10.3:FAIL

ANVL-OSPFV3-4.2

MUST

RFC 5340 s3.4 p12 Stub Area Unknown LSA Flooding Restriction DeprecatedRFC 5340, s4.5.2 p42 Sending Link State Update packetsRFC 5340 sA.4.2.1 p72 LS type

Handling Unknown LSA Typesan LSA whose LS type is unrecognized may only beflooded into/throughout a stub area if both a) the LSA hasarea or link-local flooding scope and b) the LSA has U-bitset to 0Case 2The LS type is unrecognized and the U-bit in the LS Type is setto 0 (treat the LSA as if it had link-local flooding scope). Inthis case there is a single eligible interface, namely, theinterface on which the LSA was received.0 Treat the LSA as if it had link-local flooding scope(This test is for Area-flooding scope)

Ubuntu 16.04:FAIL

Ubuntu 16.04:FAIL

Ubuntu 16.04:FAIL

Ubuntu16.04: FAIL

Ubuntu16.04: FAIL

Ubuntu 16.04:FAIL

Ubuntu 16.04:FAIL

Ubuntu16.04: FAIL

Ubuntu 16.04:FAIL

FreeBSD 10.3:FAIL

FreeBSD 10.3:FAIL

FreeBSD 10.3:FAIL

FreeBSD10.3: FAIL

FreeBSD10.3: FAIL

FreeBSD 10.3:FAIL

FreeBSD 10.3:FAIL

FreeBSD10.3: FAIL

FreeBSD 10.3:FAIL

of 106


OSPFV3 Results


Release2.0

Release3.0

Release2.0.2

Release3.0.2

Release3.0.3

Release4.0

Master2018-06-14

Release5.0

Release5.0.1

ANVL-OSPFV3-6.1

MUST

RFC 5340, s4 p13 Implementation detailsRFC 2328, s4 p40 Functional Summary

Implementation DetailsThe router sends Hello packets to its neighbors, and inturn receives their Hello packets.

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

ANVL-OSPFV3-6.2

MUST


Implementation DetailsOn broadcast networks, the router dynamically detects itsneighboring routers by sending its Hello packets to themulticast

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

ANVL-OSPFV3-6.4

MUST


Implementation DetailsLink state is also advertised when a router"s state changes.

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

of 106


OSPFV3 Results


Release2.0

Release3.0

Release2.0.2

Release3.0.2

Release3.0.3

Release4.0

Master2018-06-14

Release5.0

Release5.0.1

ANVL-OSPFV3-6.5

MUST

RFC 5340, s4 p13 Implementation detailsRFC 2328, s4.3 p43 Routing protocol packets

Implementation DetailsEach LSA is tagged with the ID of the originating routerand a checksum of its link state contents.(This test is for Link-LSA)

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

ANVL-OSPFV3-6.6

MUST


Implementation DetailsEach LSA is tagged with the ID of the originating routerand a checksum of its link state contents.(This test is for Network-LSA)

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

ANVL-OSPFV3-6.7

MUST


Implementation DetailsEach LSA is tagged with the ID of the originating router and achecksum of its link state contents.(This test is for Inter-Area-Prefix-LSA)

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

of 106


OSPFV3 Results


Release2.0

Release3.0

Release2.0.2

Release3.0.2

Release3.0.3

Release4.0

Master2018-06-14

Release5.0

Release5.0.1

ANVL-OSPFV3-6.8

MUST

RFC 5340, s4 p13 Implementation detailsRFC 2328, s7.1 p52 The Hello Protocol

Implementation DetailsBidirectional communication is indicated when the router seesitself listed in the neighbor"s Hello Packet

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

ANVL-OSPFV3-6.9

MUST


Implementation DetailsOn broadcast netPrefixes, each router advertises itself bymulticasting Hello Packets(In IPv6, broadcasting has been incorporated into multicatingcapability.)

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

ANVL-OSPFV3-6.10

MUST


Implementation DetailsOn broadcast netPrefixes, each router advertises itself byperiodically multicasting Hello Packets(In IPv6, broadcasting has been incorporated into multicatingcapability.)

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

of 106


OSPFV3 Results


Release2.0

Release3.0

Release2.0.2

Release3.0.2

Release3.0.3

Release4.0

Master2018-06-14

Release5.0

Release5.0.1

ANVL-OSPFV3-6.11

MUST

RFC 5340, s4 p13 Implementation detailsRFC 2328, s7.2 p53 The Synchronization of Databases

Implementation DetailsEach router describes its database by sending a sequenceof Database Description packets to its neighbor.(This is an indirect test which verifies that the DUTrecognizes the LSA headers contained in the DatabaseDescription packets received from ANVL.)

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

ANVL-OSPFV3-6.12

MUST


Implementation DetailsWhen the neighbor sees an LSA that is more recent than its owndatabase copy, it makes a note that this newer LSA should berequested.

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

ANVL-OSPFV3-6.13

MUST


Implementation DetailsWhen the neighbor sees an LSA that is more recent than its owndatabase copy, it does make a note that this LSA (which isnewer) should be requested.(This is a negative test)

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

of 106


OSPFV3 Results


Release2.0

Release3.0

Release2.0.2

Release3.0.2

Release3.0.3

Release4.0

Master2018-06-14

Release5.0

Release5.0.1

ANVL-OSPFV3-6.14

MUST


Implementation DetailsDatabase Description Packets sent by the master (polls) areacknowledged by the slave through echoing of thesequence number

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

ANVL-OSPFV3-6.15

MUST

NEGATIVERFC 5340, s4 p13 Implementation detailsRFC 2328, s7.2 p53 The Synchronization of Databases

Implementation DetailsDatabase Description Packets sent by the master (polls) areacknowledged by the slave through echoing of the sequence number

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

ANVL-OSPFV3-6.16

MUST


Implementation DetailsThe master is the only one allowed to retransmit DatabaseDescription Packets

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

of 106


OSPFV3 Results


Release2.0

Release3.0

Release2.0.2

Release3.0.2

Release3.0.3

Release4.0

Master2018-06-14

Release5.0

Release5.0.1

ANVL-OSPFV3-6.17

MUST


Implementation DetailsThe master is the only one allowed to retransmit DatabaseDescription Packets

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

ANVL-OSPFV3-6.18

MUST


Implementation DetailsEach Database Description contains an indication that there aremore packets to follow --- the M-bit field.

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

ANVL-OSPFV3-6.19

MUST


Implementation DetailsDatabase Exchange Process is over when a router hasreceived and sent Database Description Packets withthe M-bit off

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

of 106


OSPFV3 Results


Release2.0

Release3.0

Release2.0.2

Release3.0.2

Release3.0.3

Release4.0

Master2018-06-14

Release5.0

Release5.0.1

ANVL-OSPFV3-6.20

MUST


Implementation DetailsDatabase Exchange Process is over when a router hasreceived and sent Database Description Packets withthe M-bit off

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

ANVL-OSPFV3-6.21

MUST

RFC 5340, s4 p13 Implementation detailsRFC 2328, s7.3 p54 The Designated Router

Implementation DetailsThe Designated Router originates a network-LSA on behalf of thenetwork.

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

ANVL-OSPFV3-6.22

MUST


Implementation DetailsIf a router is the DR, it does generate a network-LSAfor the network. (This test is with DUT as BDR.)

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

of 106


OSPFV3 Results


Release2.0

Release3.0

Release2.0.2

Release3.0.2

Release3.0.3

Release4.0

Master2018-06-14

Release5.0

Release5.0.1

ANVL-OSPFV3-6.23

MUST


Implementation DetailsIf a router is the DR, it does generate a network-LSAfor the network.(This test is with DUT as DR-Other)

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

ANVL-OSPFV3-6.24

MUST

RFC 5340, s4 p13 Implementation detailsRFC 2328, s7.4 p56 The Backup Designated Router

Implementation DetailsBackup Designated Router becomes Designated Router whenthe previous Designated Router fails.

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

ANVL-OSPFV3-6.25

MUST

RFC 5340, s4 p13 Implementation detailsRFC 2328, s7.4 p56 The Backup Designated Router

Implementation DetailsEach Hello Packet has a field that specifies the BackupDesignated Router for the network.

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

of 106


OSPFV3 Results


Release2.0

Release3.0

Release2.0.2

Release3.0.2

Release3.0.3

Release4.0

Master2018-06-14

Release5.0

Release5.0.1

ANVL-OSPFV3-6.28

MUST

RFC 5340, s4 p13 Implementation detailsRFC 2328, s9.1 p69 Interface states

Implementation DetailsIn DR Other state, the router itself has not been selectedBackup Designated Router either. The router forms adjacenciesto both the Designated Router and the Backup Designated Router(if they exist).

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

ANVL-OSPFV3-6.29

MUST


Implementation DetailsIn Backup state the router establishes adjacencies to allother routers attached to the network.

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

ANVL-OSPFV3-6.30

MUST


Implementation DetailsIn DR state Adjacencies are established to all other routersattached to the network.

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

of 106


OSPFV3 Results


Release2.0

Release3.0

Release2.0.2

Release3.0.2

Release3.0.3

Release4.0

Master2018-06-14

Release5.0

Release5.0.1

ANVL-OSPFV3-6.31

MUST

RFC 5340, s4 p13 Implementation detailsRFC 2328, s9.3 p73 The Interface state machine

Implementation DetailsWhen router is in Waiting state, if BackupSeen event occursthen router calculates the attached network"s Backup DesignatedRouter and Designated Router

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

ANVL-OSPFV3-6.32

MUST


Implementation DetailsWhen router is in Waiting state, if WaitTimer event firesthen router calculates the attached network"s BackupDesignated Router and Designated Router

Ubuntu 16.04:unpredict



Ubuntu16.04: pass

Ubuntu16.04: pass


Ubuntu 16.04:pass

Ubuntu16.04: FAIL


FreeBSD 10.3:FAIL

FreeBSD 10.3:FAIL

FreeBSD 10.3:FAIL

FreeBSD10.3: FAIL

FreeBSD10.3: FAIL

FreeBSD 10.3:FAIL

FreeBSD 10.3:FAIL

FreeBSD10.3: FAIL

FreeBSD 10.3:FAIL

ANVL-OSPFV3-7.1

MUST


More Implementation DetailsWhen NbrChange event fires then router recalculates theattached network"s Backup Designated Router and DesignatedRouter

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

of 106


OSPFV3 Results


Release2.0

Release3.0

Release2.0.2

Release3.0.2

Release3.0.3

Release4.0

Master2018-06-14

Release5.0

Release5.0.1

ANVL-OSPFV3-7.2

MUST


More Implementation DetailsWhen NbrChange event fires then router recalculates theattached network"s Backup Designated Router and DesignatedRouter

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

ANVL-OSPFV3-7.3

MUST

RFC 5340, s4 p13 Implementation detailsRFC 2328, s9.4 p75 Electing the Designated Router

More Implementation DetailsIf more than one routers have declared themselves as Backupdesignated but not as Designated Router, the one having thehighest Router Priority is declared to be Backup DesignatedRouter.

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

ANVL-OSPFV3-7.4

MUST


More Implementation DetailsWhen selecting a Backup Designated Router among more than oneRouters declaring themselves as Backup Designated Router, ifthere is a tie in the Router Priority, the one having highestRouter ID is chosen.

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

of 106


OSPFV3 Results


Release2.0

Release3.0

Release2.0.2

Release3.0.2

Release3.0.3

Release4.0

Master2018-06-14

Release5.0

Release5.0.1

ANVL-OSPFV3-7.5

MUST


More Implementation DetailsIf no routers have declared themselves Backup Designated Router,choose the router having highest Router Priority as BackupDesignated Router.

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

ANVL-OSPFV3-7.6

MUST


More Implementation DetailsIf no routers have declared themselves Backup Designated Router,choose the router having highest Router Priority, again use theRouter ID to break ties. (Verify that Router ID is used to breakTies).

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

ANVL-OSPFV3-7.7

MUST


More Implementation DetailsIf one or more of the routers have declared themselvesDesignated Router the one having highest Router Priorityis declared to be Designated

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

of 106


OSPFV3 Results


Release2.0

Release3.0

Release2.0.2

Release3.0.2

Release3.0.3

Release4.0

Master2018-06-14

Release5.0

Release5.0.1

ANVL-OSPFV3-7.8

MUST


More Implementation DetailsIn case of a tie in the router priority among routersdeclaring themselves Designated Router, the one havingthe highest Router ID is chosen.(DUT loose the DR election)

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

ANVL-OSPFV3-7.9

MUST


More Implementation DetailsIn case of a tie in the router priority among routersdeclaring themselves Designated Router, the one havingthe highest Router ID is chosen.(DUT wins the DR election)

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

ANVL-OSPFV3-7.10

MUST


More Implementation DetailsIf no routers have declared themselves Designated Router,assign the Designated Router to be the same as the newlyelected Backup Designated Router.

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

of 106


OSPFV3 Results


Release2.0

Release3.0

Release2.0.2

Release3.0.2

Release3.0.3

Release4.0

Master2018-06-14

Release5.0

Release5.0.1

ANVL-OSPFV3-7.11

MUST

RFC 5340, s4 p13 Implementation detailsRFC 2328, s10.1 p83 neighbor states

More Implementation DetailsAfter the two routers discover their master/slave status,the state transitions to Exchange.(This test checks the case when DUT eventually becomesmaster)

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

ANVL-OSPFV3-7.12

MUST


More Implementation DetailsAfter the two routers discover their master/slave status,the state transitions to Exchange.(This test checks the case when DUT eventually becomesslave)

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

ANVL-OSPFV3-7.13

MUST


More Implementation DetailsOnly one Database Description Packet is allowed outstandingat any one time. (So when a router is slave it will alwayssend a Database Description packet with the DD sequencenumber same as that of the Database Description packetreceived from master.)

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

of 106


OSPFV3 Results


Release2.0

Release3.0

Release2.0.2

Release3.0.2

Release3.0.3

Release4.0

Master2018-06-14

Release5.0

Release5.0.1

ANVL-OSPFV3-7.14

MUST


More Implementation DetailsOnly one Database Description Packet is allowed outstandingat any one time. (So when a router is master it willretransmit a Database Description packet unless slave sendsa Database Description packet echoing the DD sequencenumber of the last sent Database Description packet.)

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

ANVL-OSPFV3-7.17

MUST

RFC 5340, s4 p13 Implementation detailsRFC 2328, s10.3 p91 The neighbor state machine

More Implementation DetailsAS-external-LSAs are omitted from the Database summary list if thearea has been configured as a stub area.

Ubuntu 16.04:FAIL

Ubuntu 16.04:FAIL

Ubuntu 16.04:FAIL

Ubuntu16.04: FAIL

Ubuntu16.04: FAIL

Ubuntu 16.04:FAIL

Ubuntu 16.04:FAIL

Ubuntu16.04: FAIL

Ubuntu 16.04:FAIL

FreeBSD 10.3:FAIL

FreeBSD 10.3:FAIL

FreeBSD 10.3:FAIL

FreeBSD10.3: FAIL

FreeBSD10.3: FAIL

FreeBSD 10.3:FAIL

FreeBSD 10.3:FAIL

FreeBSD10.3: FAIL

FreeBSD 10.3:FAIL

ANVL-OSPFV3-7.18

MUST

NEGATIVERFC 5340, s4 p13 Implementation detailsRFC 2328, s10.3 p91 The neighbor state machine

More Implementation DetailsAS-external-LSAs are omitted from the Database summary list if thearea has been configured as a stub area.

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

of 106


OSPFV3 Results


Release2.0

Release3.0

Release2.0.2

Release3.0.2

Release3.0.3

Release4.0

Master2018-06-14

Release5.0

Release5.0.1

ANVL-OSPFV3-7.19

MUST


More Implementation DetailsWhen in Exchange state if ExchangeDone event has firedthen if the neighbor Link state request list is not empty,router transitions to Loading state and starts (or continues)sending Link State Request packets to the neighbor.

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

ANVL-OSPFV3-7.20

MUST


More Implementation DetailsIf the router is in Exchange or greater state and theneighbor event SeqNumberMismatch has occurred then therouter increments the DD sequence number in the neighbordata structure.

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

ANVL-OSPFV3-7.21

MUST


More Implementation DetailsIf the router is in Exchange or greater state and theneighbor event SeqNumberMismatch has occurred then therouter increments the DD sequence number in theneighbor data structure.This test is for Loading State.

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

of 106


OSPFV3 Results


Release2.0

Release3.0

Release2.0.2

Release3.0.2

Release3.0.3

Release4.0

Master2018-06-14

Release5.0

Release5.0.1

ANVL-OSPFV3-7.22

MUST


More Implementation DetailsThe action for event BadLSReq is exactly the same as for theneighbor event SeqNumberMismatch. The (possibly partiallyformed)adjacency is torn down, and then an attempt is made atreestablishment.This test is for Exchange State.

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

ANVL-OSPFV3-7.23

MUST


More Implementation DetailsThe action for event BadLSReq is exactly the same as for theneighbor event SeqNumberMismatch. The (possibly partiallyformed) adjacency is torn down, and then an attempt is made atreestablishment.This test is for Loading State.

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

ANVL-OSPFV3-7.24

MUST

RFC 5340, s4 p13 Implementation detailsRFC 2328, s10.4 p95 Whether to become adjacent

More Implementation DetailsOn broadcast, all routers become adjacent to both theDesignated Router and the Backup Designated Router.

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

of 106


OSPFV3 Results


Release2.0

Release3.0

Release2.0.2

Release3.0.2

Release3.0.3

Release4.0

Master2018-06-14

Release5.0

Release5.0.1

ANVL-OSPFV3-8.1

MUST

RFC 5340, s4.1.2 p15 The Interface Data structureRFC 2328, s9 p66 The Interface Data Structure

The Interface Data StructureThe Designated Router is initialized to 0.0.0.0, whichindicates the lack of a Designated Router.

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

FreeBSD 10.3:FAIL

FreeBSD 10.3:FAIL

FreeBSD 10.3:FAIL

FreeBSD10.3: FAIL

FreeBSD10.3: FAIL

FreeBSD 10.3:FAIL

FreeBSD 10.3:FAIL

FreeBSD10.3: FAIL

FreeBSD 10.3:FAIL

ANVL-OSPFV3-8.2

MUST


The Interface Data StructureThe Backup Designated Router is initialized to 0.0.0.0,indicating the lack of a Backup Designated Router

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

ANVL-OSPFV3-8.3

MUST


The Interface Data StructureRxmtInterval is the number of seconds between DatabaseDescription packet retransmissions.This tests for Database Description packet retransmissionin ExStart state.

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

of 106


OSPFV3 Results


Release2.0

Release3.0

Release2.0.2

Release3.0.2

Release3.0.3

Release4.0

Master2018-06-14

Release5.0

Release5.0.1

ANVL-OSPFV3-8.4

MUST


The Interface Data StructureRxmtInterval is the number of seconds between Link StateRequest packet retransmissions.This tests for Database Description packet retransmissionin Loading state.

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

ANVL-OSPFV3-8.5

MUST


The Interface Data StructureRxmtInterval is the number of seconds between LSAretransmissions, for adjacencies belonging to thisinterface.

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

ANVL-OSPFV3-8.6

MUST

RFC 5340, s4.1.2 p15 The Interface Data structure

The Interface Data StructureThe Interface ID appears in Hello packets sent out the interface,the link-local-LSA originated by router for the attached link

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

of 106


OSPFV3 Results


Release2.0

Release3.0

Release2.0.2

Release3.0.2

Release3.0.3

Release4.0

Master2018-06-14

Release5.0

Release5.0.1

ANVL-OSPFV3-8.7

MUST


The Interface Data StructureThe Interface ID appears in Hello packets sent out the interface,the router-LSA originated by the router-LSA for the associatedarea

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

ANVL-OSPFV3-8.8

MUST


The Interface Data StructureA list of IPv6 prefixes can be configured for the attached link.These will be advertised by the router in link-LSAs

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

ANVL-OSPFV3-8.9

MUST


The Interface Data StructureA list of IPv6 prefixes can be configured for the attached link.These will be advertised by the router in link-LSAs, so thatthey can be advertised by the link"s Designated Router inintra-area-prefix-LSAs.(Verify that DR sends intra-area-prefix-LSA).

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

of 106


OSPFV3 Results


Release2.0

Release3.0

Release2.0.2

Release3.0.2

Release3.0.3

Release4.0

Master2018-06-14

Release5.0

Release5.0.1

ANVL-OSPFV3-9.2

MUST

RFC 5340, s4.1.3 p17 The Neighbor Data Structure

The Neighbor Data StructureThe neighbor"s choice of Designated Router is now encoded as aRouter ID, instead of as an IP address(The test is for Designated Router)

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

ANVL-OSPFV3-9.3

MUST

RFC 5340, s4.1.3 p17 The Neighbor Data Structure

The Neighbor Data StructureThe neighbor"s choice of Designated Router is now encoded as aRouter ID, instead of as an IP address(The test is for Backup Designated Router)

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

ANVL-OSPFV3-10.1

MUST

RFC 5340, s4.2 p17 Protocol Packet Processing

Protocol Packet ProcessingThe Next Header field of the immediately encapsulating IPv6 headerset to the value 89.

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

of 106


OSPFV3 Results


Release2.0

Release3.0

Release2.0.2

Release3.0.2

Release3.0.3

Release4.0

Master2018-06-14

Release5.0

Release5.0.1

ANVL-OSPFV3-11.1

MUST

RFC 5340, s4.2.1 p18 Sending protocol packets

Sending Protocol PacketsPacket lengtnThe length of the entire OSPF packet in bytes, including thestandard OSPF packet header

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

ANVL-OSPFV3-11.2

MUST

NEGATIVERFC 5340, s4.2.1 p18 Sending protocol packets

Sending Protocol PacketsPacket lengthThe length of the entire OSPF packet in bytes, including thestandard OSPF packet header

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

ANVL-OSPFV3-11.3

MUST


Sending Protocol PacketsInstance IDThe OSPF instance ID associated with the interface out of which thepacket is being sent

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

of 106


OSPFV3 Results


Release2.0

Release3.0

Release2.0.2

Release3.0.2

Release3.0.3

Release4.0

Master2018-06-14

Release5.0

Release5.0.1

ANVL-OSPFV3-11.4

MUST


Sending Protocol PacketsChecksumThe standard IPv6 Upper-Layer checksum covering the entire OSPFpacket and prepended IPv6 pseudo-header.

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

ANVL-OSPFV3-11.5

MUST

NEGATIVERFC 5340, s4.2.1 p18 Sending protocol packets

Sending Protocol PacketsChecksumThe standard IPv6 Upper-Layer checksum covering the entire OSPFpacket and prepended IPv6 pseudo-header.

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

ANVL-OSPFV3-11.6

MUST

RFC 5340, s4.2.1 p18 Sending protocol packetsRFC 2328, s8.1 p59 Sending protocol packets

Sending Protocol PacketsIn OSPF protocol packet headers Router ID is set to theidentity of the router itself (who is originatingthe packet).

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

of 106


OSPFV3 Results


Release2.0

Release3.0

Release2.0.2

Release3.0.2

Release3.0.3

Release4.0

Master2018-06-14

Release5.0

Release5.0.1

ANVL-OSPFV3-11.7

MUST


Sending Protocol PacketsArea ID in the OSPF packet header must be set to the IDof the area that the packet is being sent into.(This test checks Hello packet)

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

ANVL-OSPFV3-11.9

MUST


Sending Protocol PacketsRetransmissions of Link State Update packets are ALWAYS sentdirectly to the neighbor.

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

ANVL-OSPFV3-11.10

MUST

RFC 5340, s4.2.1 p18 Sending protocol packetsRFC 2328, s10.9 p105 Sending Link State Request Packets

Sending Protocol PacketsWhen the neighbor responds to these requests (Link State Request)with the proper Link State Update packet(s), the Link staterequest list is truncated and a new Link State Request packet issent. This process continues until the Link state request listbecomes empty.

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

of 106


OSPFV3 Results


Release2.0

Release3.0

Release2.0.2

Release3.0.2

Release3.0.3

Release4.0

Master2018-06-14

Release5.0

Release5.0.1

ANVL-OSPFV3-11.11

MUST

RFC 5340, s4.2.1 p18 Sending protocol packetsRFC 2328, s10.9 p105 Sending Link State Request Packets

Sending Protocol PacketsLink state request list that have been requested, butnot yet received, are packaged into Link State Requestpackets for retransmission at intervals of RxmtInterval.

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

ANVL-OSPFV3-11.12

MUST

RFC 5340, s4.2.1 p18 Sending protocol packetsRFC 2328, s13.5 p152-153 Sending Link State Acknowledgmentpackets

Sending Protocol PacketsIf the new LSA has been flooded back out receiving interface noacknowledgment is sent.

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

ANVL-OSPFV3-11.13

MUST

RFC 5340, s4.2.1 p18 Sending protocol packetsRFC 2328, s13.5 p152-153 Sending Link State Acknowledgmentpackets

Sending Protocol PacketsIf the new LSA is more recent than database copy, but was notflooded back out receiving interface and if the router is instate Backup then delayed acknowledgment is sent ifadvertisementis received from Designated Router, otherwise nothing is done.

Ubuntu 16.04:FAIL

Ubuntu 16.04:FAIL

Ubuntu 16.04:FAIL

Ubuntu16.04: FAIL

Ubuntu16.04: FAIL

Ubuntu 16.04:FAIL

Ubuntu 16.04:FAIL

Ubuntu16.04: FAIL

Ubuntu 16.04:FAIL

FreeBSD 10.3:FAIL

FreeBSD 10.3:FAIL

FreeBSD 10.3:FAIL

FreeBSD10.3: FAIL

FreeBSD10.3: FAIL

FreeBSD 10.3:FAIL

FreeBSD 10.3:FAIL

FreeBSD10.3: FAIL

FreeBSD 10.3:FAIL

of 106


OSPFV3 Results


Release2.0

Release3.0

Release2.0.2

Release3.0.2

Release3.0.3

Release4.0

Master2018-06-14

Release5.0

Release5.0.1

ANVL-OSPFV3-11.14

MUST

RFC 5340, s4.2.1 p18 Sending protocol packetsRFC 2328, s13.5 p152-153 Sending Link State Acknowledgment packets

Sending Protocol PacketsIf the new LSA is more recent than database copy, but was notflooded back out receiving interface and if the receiving routeris not in state Backup then delayed acknowledgment is sent.(This test checks the case when router state is DR Other)


Ubuntu 16.04:FAIL

Ubuntu 16.04:FAIL

Ubuntu16.04: FAIL

Ubuntu16.04: FAIL

Ubuntu 16.04:FAIL


Ubuntu16.04: FAIL

Ubuntu 16.04:FAIL

FreeBSD 10.3:FAIL

FreeBSD 10.3:FAIL

FreeBSD 10.3:FAIL

FreeBSD10.3: FAIL

FreeBSD10.3: FAIL

FreeBSD 10.3:FAIL

FreeBSD 10.3:FAIL

FreeBSD10.3: FAIL

FreeBSD 10.3:FAIL

ANVL-OSPFV3-11.15

MUST


Sending Protocol PacketsIf the new LSA is more recent than database copy, but was notflooded back out receiving interface and if the receiving routeris not in state Backup then delayed acknowledgment is sent.(This test checks the case when router state is DR)


Ubuntu 16.04:FAIL

Ubuntu 16.04:FAIL

Ubuntu16.04: FAIL

Ubuntu16.04: FAIL

Ubuntu 16.04:FAIL

Ubuntu 16.04:FAIL

Ubuntu16.04: FAIL

Ubuntu 16.04:FAIL

FreeBSD 10.3:FAIL

FreeBSD 10.3:FAIL

FreeBSD 10.3:FAIL

FreeBSD10.3: FAIL

FreeBSD10.3: FAIL

FreeBSD 10.3:FAIL

FreeBSD 10.3:FAIL

FreeBSD10.3: FAIL

FreeBSD 10.3:FAIL

ANVL-OSPFV3-11.16

MUST


Sending Protocol PacketsIf the new LSA is a duplicate, and was treated as impliedacknowledgment and if the receiving router is in state Backupthen delayed acknowledgment is sent if advertisement is receivedfrom Designated Router, otherwise nothing is done.

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

of 106


OSPFV3 Results


Release2.0

Release3.0

Release2.0.2

Release3.0.2

Release3.0.3

Release4.0

Master2018-06-14

Release5.0

Release5.0.1

ANVL-OSPFV3-11.17

MUST


Sending Protocol PacketsIf the new LSA is a duplicate, and was treated as impliedacknowledgment and if the receiving router is not in stateBackup then no acknowledgment is sent.(This test checks the case when router state is DR Other)

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

ANVL-OSPFV3-11.18

MUST


Sending Protocol PacketsIf the new LSA is a duplicate, and was treated as impliedacknowledgment and if the receiving router is not in state Backupthen no acknowledgment is sent.(This test checks the case when router state is DR)

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

ANVL-OSPFV3-11.19

MUST


Sending Protocol PacketsIf the new LSA is a duplicate, and was not treated as impliedacknowledgment and if the receiving router is in state Backupthen direct acknowledgment is sent.

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

of 106


OSPFV3 Results


Release2.0

Release3.0

Release2.0.2

Release3.0.2

Release3.0.3

Release4.0

Master2018-06-14

Release5.0

Release5.0.1

ANVL-OSPFV3-11.20

MUST


Sending Protocol PacketsIf the new LSA is a duplicate, and was not treated as impliedacknowledgment and if the receiving router is not in state Backupthen direct acknowledgment is sent.

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

ANVL-OSPFV3-12.1

MUST

RFC 5340, s4.2.1.1 p18 Sending Hello packetsRFC 2328, s9.5 p78 Sending Hello packets

Sending Hello PacketsThe Hello Packet also indicates how often a neighbor must beheard from to remain active (RouterDeadInterval)

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

ANVL-OSPFV3-12.2

SHOULD


Sending Hello PacketsWhile sending a Hello packet into a stub area the E-bit of theOptions field should be clear.

Ubuntu 16.04:FAIL

Ubuntu 16.04:FAIL

Ubuntu 16.04:FAIL

Ubuntu16.04: FAIL

Ubuntu16.04: FAIL

Ubuntu 16.04:FAIL

Ubuntu 16.04:FAIL

Ubuntu16.04: FAIL

Ubuntu 16.04:FAIL

FreeBSD 10.3:FAIL

FreeBSD 10.3:FAIL

FreeBSD 10.3:FAIL

FreeBSD10.3: FAIL

FreeBSD10.3: FAIL

FreeBSD 10.3:FAIL

FreeBSD 10.3:FAIL

FreeBSD10.3: FAIL

FreeBSD 10.3:FAIL

of 106


OSPFV3 Results


Release2.0

Release3.0

Release2.0.2

Release3.0.2

Release3.0.3

Release4.0

Master2018-06-14

Release5.0

Release5.0.1

ANVL-OSPFV3-12.3

SHOULD

NEGATIVERFC 5340, s4.2.1.1 p18 Sending Hello packetsRFC 2328, s9.5 p78 Sending Hello packets

Sending Hello PacketsWhile sending a Hello packet into a stub area the E-bit of theOptions field should be clear.

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

ANVL-OSPFV3-12.4

SHOULD


Sending Hello PacketsWhile sending a Hello packet into a non-stub area the E-bitof the Options field should be set.

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

ANVL-OSPFV3-12.5

MUST


Sending Hello PacketsIn order to ensure two-way communication between adjacentrouters, the Hello packet contains the list of all routerson the network from which Hello Packets have been seenrecently.

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

of 106


OSPFV3 Results


Release2.0

Release3.0

Release2.0.2

Release3.0.2

Release3.0.3

Release4.0

Master2018-06-14

Release5.0

Release5.0.1

ANVL-OSPFV3-12.6

MUST


Sending Hello PacketsHello packet also contains the router"s current choice forDesignated Router and Backup Designated Router.

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

ANVL-OSPFV3-12.7

MUST


Sending Hello PacketsOn broadcast networks, Hello packets are sent to the IPmulticast address AllSPFRouters.

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

ANVL-OSPFV3-12.8

MUST


Sending Hello PacketsOn broadcast networks, Hello packets are sent everyHelloInterval seconds.

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

of 106


OSPFV3 Results


Release2.0

Release3.0

Release2.0.2

Release3.0.2

Release3.0.3

Release4.0

Master2018-06-14

Release5.0

Release5.0.1

ANVL-OSPFV3-12.11

MUST


Sending Hello PacketsOn virtual links, Hello packets are sent as unicasts(addressed directly) to the other end of the virtuallink

Ubuntu 16.04:FAIL

Ubuntu 16.04:FAIL

Ubuntu 16.04:FAIL

Ubuntu16.04: FAIL

Ubuntu16.04: FAIL

Ubuntu 16.04:FAIL

Ubuntu 16.04:FAIL

Ubuntu16.04: FAIL

Ubuntu 16.04:FAIL

FreeBSD 10.3:FAIL

FreeBSD 10.3:FAIL

FreeBSD 10.3:FAIL

FreeBSD10.3: FAIL

FreeBSD10.3: FAIL

FreeBSD 10.3:FAIL

FreeBSD 10.3:FAIL

FreeBSD10.3: FAIL

FreeBSD 10.3:FAIL

ANVL-OSPFV3-12.12

MUST


Sending Hello PacketsOn virtual links, Hello packets are sent every HelloIntervalseconds.

Ubuntu 16.04:FAIL

Ubuntu 16.04:FAIL

Ubuntu 16.04:FAIL

Ubuntu16.04: FAIL

Ubuntu16.04: FAIL

Ubuntu 16.04:FAIL

Ubuntu 16.04:FAIL

Ubuntu16.04: FAIL

Ubuntu 16.04:FAIL

FreeBSD 10.3:FAIL

FreeBSD 10.3:FAIL

FreeBSD 10.3:FAIL

FreeBSD10.3: FAIL

FreeBSD10.3: FAIL

FreeBSD 10.3:FAIL

FreeBSD 10.3:FAIL

FreeBSD10.3: FAIL

FreeBSD 10.3:FAIL

ANVL-OSPFV3-12.13

MUST

NEGATIVERFC 5340, s4.2.1.1 p19 Sending Hello packets

Sending Hello Packetsthe N-bit is set if and only if the interface attaches to anNSSA area

Ubuntu 16.04:FAIL

Ubuntu 16.04:FAIL

Ubuntu 16.04:FAIL

Ubuntu16.04: FAIL

Ubuntu16.04: FAIL

Ubuntu 16.04:FAIL

Ubuntu 16.04:FAIL

Ubuntu16.04: FAIL

Ubuntu 16.04:FAIL

FreeBSD 10.3:FAIL

FreeBSD 10.3:FAIL

FreeBSD 10.3:FAIL

FreeBSD10.3: FAIL

FreeBSD10.3: FAIL

FreeBSD 10.3:FAIL

FreeBSD 10.3:FAIL

FreeBSD10.3: FAIL

FreeBSD 10.3:FAIL

of 106


OSPFV3 Results


Release2.0

Release3.0

Release2.0.2

Release3.0.2

Release3.0.3

Release4.0

Master2018-06-14

Release5.0

Release5.0.1

ANVL-OSPFV3-13.1

SHOULD

RFC 5340, s4.2.1.2 p19 Sending Database Description PacketsRFC 2328, s10.8 p103 Sending Database Description Packets

Sending Database Description PacketsInterface MTU should be set to 0 in Database Descriptionpackets sent over virtual links.

Ubuntu 16.04:FAIL

Ubuntu 16.04:FAIL

Ubuntu 16.04:FAIL

Ubuntu16.04: FAIL

Ubuntu16.04: FAIL

Ubuntu 16.04:FAIL

Ubuntu 16.04:FAIL

Ubuntu16.04: FAIL

Ubuntu 16.04:FAIL

FreeBSD 10.3:FAIL

FreeBSD 10.3:FAIL

FreeBSD 10.3:FAIL

FreeBSD10.3: FAIL

FreeBSD10.3: FAIL

FreeBSD 10.3:FAIL

FreeBSD 10.3:FAIL

FreeBSD10.3: FAIL

FreeBSD 10.3:FAIL

ANVL-OSPFV3-13.2

SHOULD


Sending Database Description PacketsIn Database Description packet the unrecognized bits in theOptions field should be set to zero.

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

ANVL-OSPFV3-13.3

MUST


Sending Database Description PacketsIn state ExStart the router sends empty Database Descriptionpackets, with the initialize (I), more (M) and master (MS)bits set.

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

of 106


OSPFV3 Results


Release2.0

Release3.0

Release2.0.2

Release3.0.2

Release3.0.3

Release4.0

Master2018-06-14

Release5.0

Release5.0.1

ANVL-OSPFV3-13.4

MUST


Sending Database Description PacketsIn state ExStart Database Description packets areretransmitted every RxmtInterval seconds.

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

ANVL-OSPFV3-13.5

MUST


Sending Database Description PacketsIn state Exchange, if the router is master, Database Descriptionpackets are sent when slave acknowledges the previous DatabaseDescription packet by echoing the DD sequence number.

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

ANVL-OSPFV3-13.6

MUST


Sending Database Description PacketsIn state Exchange, if the router is slave, DatabaseDescription packets are sent only in response to DatabaseDescription packets received from the master.

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

of 106


OSPFV3 Results


Release2.0

Release3.0

Release2.0.2

Release3.0.2

Release3.0.3

Release4.0

Master2018-06-14

Release5.0

Release5.0.1

ANVL-OSPFV3-13.7

MUST


Sending Database Description PacketsIn state Exchange, if the router is slave, if the DatabaseDescription packet received from the master is new, a newDatabase Description packet is sent, otherwise the previousDatabase Description packet is resent.

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

ANVL-OSPFV3-13.8

MUST


Sending Database Description PacketsIn state Loading the slave must resend its last DatabaseDescription packet in response to duplicate Database Descriptionpackets received from the master.

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

ANVL-OSPFV3-13.9

MUST


Sending Database Description PacketsIn state Full the slave must resend its last DatabaseDescription packet in response to duplicate DatabaseDescription packets received from the master.

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

of 106


OSPFV3 Results


Release2.0

Release3.0

Release2.0.2

Release3.0.2

Release3.0.3

Release4.0

Master2018-06-14

Release5.0

Release5.0.1

ANVL-OSPFV3-13.10

MUST


Sending Database Description PacketsIn state Loading reception of a Database Description packet fromthe master after this interval (RouterDeadInterval) will generatea SeqNumberMismatch neighbor event.

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

ANVL-OSPFV3-13.11

MUST


Sending Database Description PacketsIn state Full reception of a Database Description packet"from the master after this interval (RouterDeadInterval)will generate a SeqNumberMismatch neighbor event.

Ubuntu 16.04:FAIL

Ubuntu 16.04:FAIL

Ubuntu 16.04:FAIL

Ubuntu16.04: FAIL

Ubuntu16.04: FAIL

Ubuntu 16.04:FAIL

Ubuntu 16.04:FAIL

Ubuntu16.04: FAIL

Ubuntu 16.04:FAIL

FreeBSD 10.3:FAIL

FreeBSD 10.3:FAIL

FreeBSD 10.3:FAIL

FreeBSD10.3: FAIL

FreeBSD10.3: FAIL

FreeBSD 10.3:FAIL

FreeBSD 10.3:FAIL

FreeBSD10.3: FAIL

FreeBSD 10.3:FAIL

ANVL-OSPFV3-14.1

SHOULD

RFC 5340, s4.2.2 p20 Receiving protocol packets

Receiving Protocol PacketsThe fields specified in the header must match those configuredfor the receiving OSPFv3 interface. If they do not, the packet shouldbe discarded:o The version number field must specify protocol version 3

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

of 106


OSPFV3 Results


Release2.0

Release3.0

Release2.0.2

Release3.0.2

Release3.0.3

Release4.0

Master2018-06-14

Release5.0

Release5.0.1

ANVL-OSPFV3-14.2

SHOULD


Receiving Protocol PacketsThe fields specified ... for the receiving interface.If they do not, the packet should be discarded:The IPv6 Upper-Layer checksum, covering the entire OSPFpacket and prepended IPv6 pseudo-header, must be verified

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

ANVL-OSPFV3-14.3

SHOULD

RFC 5340, s4.2.2 p20 Receiving Protocol Packets

Receiving Protocol PacketsThe fields specified ... for the receiving interface.If they do not, the packet should be discarded:o The Area ID and Instance ID found in the OSPF header must beverified.

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

ANVL-OSPFV3-14.4

SHOULD


Receiving Protocol PacketsThe fields specified ... for the receiving interface.If they do not, the packet should be discarded:o Packets whose IPv6 destination is AllDRouters should only beaccepted if the state of the receiving OSPFv3 interface isDR or Backup

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

FreeBSD 10.3:FAIL

FreeBSD 10.3:FAIL

FreeBSD 10.3:FAIL

FreeBSD10.3: FAIL

FreeBSD10.3: FAIL

FreeBSD 10.3:FAIL

FreeBSD 10.3:FAIL

FreeBSD10.3: FAIL

FreeBSD 10.3:FAIL

of 106


OSPFV3 Results


Release2.0

Release3.0

Release2.0.2

Release3.0.2

Release3.0.3

Release4.0

Master2018-06-14

Release5.0

Release5.0.1

ANVL-OSPFV3-14.5

MUST

RFC 5340, s4.2.2 p21 Receiving protocol packetsRFC 2328, s10.6 p100 Receiving Database Description Packets

Receiving Protocol PacketsIn ExStart state if the received Database Descriptionpacket has the I, M and MS-bit fields set, the packet is empty,and the neighbor"s Router ID is larger than the router"sown then the router is slave, and it sets the neighbordata structure"s DD sequence number to that specifiedby master.

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

ANVL-OSPFV3-14.6

MUST


Receiving Protocol PacketsIn ExStart state if the received Database Descriptionpacket has the I and MS-bit fields off, the packet"s DD sequencenumber equals the neighbor data structure"s DD sequencenumber and the neighbor"s Router ID is smaller than therouter"s own then the router is Master.

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

of 106


OSPFV3 Results


Release2.0

Release3.0

Release2.0.2

Release3.0.2

Release3.0.3

Release4.0

Master2018-06-14

Release5.0

Release5.0.1

ANVL-OSPFV3-14.7

SHOULD


Receiving Protocol PacketsWhen the router accepts a received Database Description Packetas the next in sequence, if the router is master and the acceptedpacket has more bit (M) set to 1, it should send a new DatabaseDescription to the slave.

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

ANVL-OSPFV3-14.8

SHOULD


Receiving Protocol PacketsWhen the router accepts a received Database DescriptionPacket as the next in sequence, if the router is masterand the router has not sent its entire sequence of DatabaseDescription packets, it should send a new Database Descriptionto the slave.(This test is for DUT as Master)

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

ANVL-OSPFV3-14.9

MUST


Receiving Protocol PacketsWhen the router accepts a received Database DescriptionPacket as the next in sequence, if the router is masterit increments the DD sequence number in the neighbor datastructure.

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

of 106


OSPFV3 Results


Release2.0

Release3.0

Release2.0.2

Release3.0.2

Release3.0.3

Release4.0

Master2018-06-14

Release5.0

Release5.0.1

ANVL-OSPFV3-14.10

MUST


Receiving Protocol PacketsWhen the router accepts a received Database DescriptionPacket as the next in sequence, if the router is slave,it sets the DD sequence number in the neighbor datastructure to the DD sequence number appearing in thereceived packet and also it must send a DatabaseDescription packet in response.

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

ANVL-OSPFV3-14.11

SHOULD

RFC 5340, s4.2.2 p21 Receiving protocol packetsRFC 2328, s10.7 p102 Receiving Link State Request Packets

Receiving Protocol PacketsLink State Request Packets should be accepted when the neighbor is instate Exchange.

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

ANVL-OSPFV3-14.12

SHOULD


Receiving Protocol PacketsLink State Request Packets should be accepted when theneighbor is in state Loading.

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

of 106


OSPFV3 Results


Release2.0

Release3.0

Release2.0.2

Release3.0.2

Release3.0.3

Release4.0

Master2018-06-14

Release5.0

Release5.0.1

ANVL-OSPFV3-14.13

SHOULD


Receiving Protocol PacketsLink State Request Packets should be accepted when theneighbor is in state Full.

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

ANVL-OSPFV3-14.14

SHOULD


Receiving Protocol PacketsLink State Request Packets should be ignored whenneighbor is in ExStart state.

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

ANVL-OSPFV3-14.15

SHOULD


Receiving Protocol PacketsLink State Request Packets should be ignored when neighboris in Init state.

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

of 106


OSPFV3 Results


Release2.0

Release3.0

Release2.0.2

Release3.0.2

Release3.0.3

Release4.0

Master2018-06-14

Release5.0

Release5.0.1

ANVL-OSPFV3-14.16

SHOULD


Receiving Protocol PacketsLink State Request Packets should be ignored when neighboris in Down state.

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

ANVL-OSPFV3-14.17

SHOULD


Receiving Protocol PacketsIf an LSA specified in the Link State Request packet cannot befound in the database, something has gone wrong with theDatabase Exchange process, and neighbor event BadLSReq shouldbe generated.

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

ANVL-OSPFV3-14.18

MUST

RFC 5340, s4.2.2 p21 Receiving protocol packetsRFC 2328, s13.7 p156 Receiving link state acknowledgments

Receiving Protocol PacketsIf the acknowledgment is for the same instance that is containedon the Link state retransmission list, remove the item fromthe list.

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

of 106


OSPFV3 Results


Release2.0

Release3.0

Release2.0.2

Release3.0.2

Release3.0.3

Release4.0

Master2018-06-14

Release5.0

Release5.0.1

ANVL-OSPFV3-15.1

MUST

RFC 5340, s4.2.2.1 p21 Receiving Hello packetsRFC 2328, s10.5 p96 Receiving Hello Packets

Receiving Hello PacketsThe values of the HelloInterval field in the received Hellopacket must be checked against the values configured for thereceiving interface.Any mismatch causes processing to stop andthe packet to be dropped.

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

ANVL-OSPFV3-15.2

MUST


Receiving Hello PacketsThe values of the RouterDeadInterval fields in the receivedHello packet must be checked against the values configured forthe receiving interface. Any mismatch causes processing to stopand the packet to be dropped.

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

ANVL-OSPFV3-15.3

MUST


Receiving Hello PacketsIf the receiving interface is attached to a stub area the E-bitmust be clear in received Hello Packets and a mismatch causesprocessing to stop and the packet to be dropped.

Ubuntu 16.04:FAIL

Ubuntu 16.04:FAIL

Ubuntu 16.04:FAIL

Ubuntu16.04: FAIL

Ubuntu16.04: FAIL

Ubuntu 16.04:FAIL

Ubuntu 16.04:FAIL

Ubuntu16.04: FAIL

Ubuntu 16.04:FAIL

FreeBSD 10.3:FAIL

FreeBSD 10.3:FAIL

FreeBSD 10.3:FAIL

FreeBSD10.3: FAIL

FreeBSD10.3: FAIL

FreeBSD 10.3:FAIL

FreeBSD 10.3:FAIL

FreeBSD10.3: FAIL

FreeBSD 10.3:FAIL

of 106


OSPFV3 Results


Release2.0

Release3.0

Release2.0.2

Release3.0.2

Release3.0.3

Release4.0

Master2018-06-14

Release5.0

Release5.0.1

ANVL-OSPFV3-15.4

MUST


Receiving Hello PacketsIf the receiving interface is attached to a non-stub area the E-bitmust be set in received Hello Packets and a mismatch causes processingto stop and the packet to be dropped.

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

ANVL-OSPFV3-16.1

MUST

RFC 5340, s4.4.1 p23 The LSA HeaderRFC 2328, s12.1.1 p116 LS age

The LSA HeaderLSAs are also aged as they are held in each router"s database.

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

ANVL-OSPFV3-16.2

MUST


The LSA HeaderThe age of an LSA is never incremented past MaxAge.

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

of 106


OSPFV3 Results


Release2.0

Release3.0

Release2.0.2

Release3.0.2

Release3.0.3

Release4.0

Master2018-06-14

Release5.0

Release5.0.1

ANVL-OSPFV3-16.3

MUST


The LSA HeaderWhen an LSA"s age first reaches MaxAge, it is reflooded.

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

ANVL-OSPFV3-16.4

MUST


The LSA HeaderLSA of age MaxAge is finally flushed from the database when itis no longer needed to ensure database synchronization.

Ubuntu 16.04:FAIL

Ubuntu 16.04:FAIL

Ubuntu 16.04:FAIL

Ubuntu16.04: FAIL

Ubuntu16.04: FAIL

Ubuntu 16.04:FAIL

Ubuntu 16.04:FAIL

Ubuntu16.04: FAIL

Ubuntu 16.04:FAIL

FreeBSD 10.3:FAIL

FreeBSD 10.3:FAIL

FreeBSD 10.3:FAIL

FreeBSD10.3: FAIL

FreeBSD10.3: FAIL

FreeBSD 10.3:FAIL

FreeBSD 10.3:FAIL

FreeBSD10.3: FAIL

FreeBSD 10.3:FAIL

ANVL-OSPFV3-16.5

MUST


The LSA HeaderIf the two instances of a LSA have identical LS sequence numberand LS checksum, an instance of age MaxAge is then alwaysaccepted as most recent.

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

of 106


OSPFV3 Results


Release2.0

Release3.0

Release2.0.2

Release3.0.2

Release3.0.3

Release4.0

Master2018-06-14

Release5.0

Release5.0.1

ANVL-OSPFV3-16.6

MUST


The LSA HeaderIf the two instances of a LSA have identical LS sequence numberand LS Checksum and none of them is of age MaxAge then if theirages differ by more than MaxAgeDiff, the instance having thesmaller age is accepted as most recent.

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

ANVL-OSPFV3-16.7

MUST

RFC 5340, s4.4.1 p23 The LSA HeaderRFC 2328, s12.1.5 p119 Advertising Router

The LSA HeaderThe Advertising Router field specifies the OSPF Router ID ofthe LSA"s originator.

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

ANVL-OSPFV3-16.8

MUST

RFC 5340, s4.4.1 p23 The LSA HeaderRFC 2328, s12.1.6 p120 LS sequence number

The LSA HeaderA router uses InitialSequenceNumber the first time itoriginates any LSA.(This test checks for Router-LSAs)

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

of 106


OSPFV3 Results


Release2.0

Release3.0

Release2.0.2

Release3.0.2

Release3.0.3

Release4.0

Master2018-06-14

Release5.0

Release5.0.1

ANVL-OSPFV3-16.9

MUST


The LSA HeaderA router uses InitialSequenceNumber the first time it originates anyLSA.(This test checks for Network-LSAs)

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

ANVL-OSPFV3-16.10

MUST


The LSA HeaderA router uses InitialSequenceNumber the first time it originatesany LSA.(This test checks for Inter-Area-Prefix-LSAs)

Ubuntu 16.04:FAIL

Ubuntu 16.04:FAIL

Ubuntu 16.04:FAIL

Ubuntu16.04: FAIL

Ubuntu16.04: FAIL

Ubuntu 16.04:FAIL

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

FreeBSD 10.3:FAIL

FreeBSD 10.3:FAIL

FreeBSD 10.3:FAIL

FreeBSD10.3: FAIL

FreeBSD10.3: FAIL

FreeBSD 10.3:FAIL

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

ANVL-OSPFV3-16.11

MUST


The LSA HeaderA router uses InitialSequenceNumber the first time it originatesany LSA.(This test checks for Inter-Area-Router-LSAs)

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

of 106


OSPFV3 Results


Release2.0

Release3.0

Release2.0.2

Release3.0.2

Release3.0.3

Release4.0

Master2018-06-14

Release5.0

Release5.0.1

ANVL-OSPFV3-16.12

MUST


The LSA HeaderA router uses InitialSequenceNumber the first time itoriginates any LSA. Afterwards, the LSA"s sequence numberis incremented each time the router originates a newinstance of the LSA.(This test checks for Router-LSA)

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

ANVL-OSPFV3-16.13

MUST


The LSA HeaderA router uses InitialSequenceNumber the first time it originatesany LSA. Afterwards, the LSA"s sequence number is incrementedeach time the router originates a new instance of the LSA.(This test checks for Network-LSA)

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

ANVL-OSPFV3-16.14

MUST


The LSA HeaderA router uses InitialSequenceNumber the first time it originatesany LSA. Afterwards, the LSA"s sequence number is incrementedeach time the router originates a new instance of the LSA.(This test checks for Inter-Area-Prefix-LSA)

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

FreeBSD 10.3:unpredict

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

of 106


OSPFV3 Results


Release2.0

Release3.0

Release2.0.2

Release3.0.2

Release3.0.3

Release4.0

Master2018-06-14

Release5.0

Release5.0.1

ANVL-OSPFV3-16.15

MUST


The LSA HeaderA router uses InitialSequenceNumber the first time it originatesany LSA. Afterwards, the LSA"s sequence number is incrementedeach time the router originates a new instance of the LSA.(This test checks for Inter-Area-Router-LSA)

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

ANVL-OSPFV3-16.16

MUST


The LSA HeaderWhen an attempt is made to increment the sequence number pastthe maximum value of N - 1 (0x7fffffff; also referred to asMaxSequenceNumber), the current instance of the LSA mustfirst be flushed from the routing domain.

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

ANVL-OSPFV3-16.17

MUST


The LSA HeaderAs soon as this flooding of a LSA with LS sequence numberMaxSequenceNumber has been acknowledged by all adjacentneighbors, new instance can be originated with sequencenumber of InitialSequenceNumber.

Ubuntu 16.04:FAIL

Ubuntu 16.04:FAIL

Ubuntu 16.04:FAIL

Ubuntu16.04: FAIL

Ubuntu16.04: FAIL

Ubuntu 16.04:FAIL

Ubuntu 16.04:FAIL

Ubuntu16.04: FAIL

Ubuntu 16.04:FAIL

FreeBSD 10.3:FAIL

FreeBSD 10.3:FAIL

FreeBSD 10.3:FAIL

FreeBSD10.3: FAIL

FreeBSD10.3: FAIL

FreeBSD 10.3:FAIL

FreeBSD 10.3:FAIL

FreeBSD10.3: FAIL

FreeBSD 10.3:FAIL

of 106


OSPFV3 Results


Release2.0

Release3.0

Release2.0.2

Release3.0.2

Release3.0.3

Release4.0

Master2018-06-14

Release5.0

Release5.0.1

ANVL-OSPFV3-16.18

MUST

RFC 5340, s4.4.1 p23 The LSA HeaderRFC 2328, s12.1.7 p121 LS checksum

The LSA HeaderThe LSA header also contains the length of the LSA inbytes; subtracting the size of the LS age field(two bytes) yields the amount of data to checksum.(This test checks for Router-LSA)

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

ANVL-OSPFV3-16.19

MUST


The LSA HeaderThe LSA header also contains the length of the LSA in bytes;subtracting the size of the LS age field (two bytes)yields the amount of data to checksum.(This test checks for Network-LSA)

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

ANVL-OSPFV3-16.20

MUST


The LSA HeaderThe LSA header also contains the length of the LSA in bytes;subtracting the size of the LS age field (two bytes) yields theamount of data to checksum.(This test checks for Inter-Area-Prefix-LSA)

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

of 106


OSPFV3 Results


Release2.0

Release3.0

Release2.0.2

Release3.0.2

Release3.0.3

Release4.0

Master2018-06-14

Release5.0

Release5.0.1

ANVL-OSPFV3-16.21

MUST


The LSA HeaderThe LSA header also contains the length of the LSA in bytes;subtracting the size of the LS age field (two bytes) yields theamount of data to checksum.(This test checks for Inter-Area-Router-LSA)

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

ANVL-OSPFV3-16.22

SHOULD


The LSA HeaderThe LS checksum field cannot take on the value of zero; theoccurrence of such a value should be considered a checksumfailure.

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

FreeBSD 10.3:FAIL

FreeBSD 10.3:FAIL

FreeBSD 10.3:FAIL

FreeBSD10.3: FAIL

FreeBSD10.3: FAIL

FreeBSD 10.3:FAIL

FreeBSD 10.3:FAIL

FreeBSD10.3: FAIL

FreeBSD 10.3:FAIL

ANVL-OSPFV3-16.23

MUST

RFC 5340, s4.4.1 p24 The LSA Header

The LSA HeaderInstead of the IPv4 behavior of encoding the network numberwithin the AS-external-LSA"s Link State ID, the IPv6Link State ID simply serves as a way to differentiate multipleLSAs originated by the same router

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

of 106


OSPFV3 Results


Release2.0

Release3.0

Release2.0.2

Release3.0.2

Release3.0.3

Release4.0

Master2018-06-14

Release5.0

Release5.0.1

ANVL-OSPFV3-16.24

MUST

RFC 5340, s4.4.1 p24 The LSA Header

The LSA HeaderWhen a router originates a Link-LSA for a given link,its Link State ID is set equal to the router"s Interface IDon the link.

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

ANVL-OSPFV3-17.1

MUST

RFC 5340, s4.4.2 p24 The link-state databaseRFC 2328, s13.1 p145 Determining which LSA is newer

The Link-State DatabaseThe LSA having the newer LS sequence number is more recent.

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

FreeBSD 10.3:FAIL

FreeBSD 10.3:FAIL

FreeBSD 10.3:FAIL

FreeBSD10.3: FAIL

FreeBSD10.3: FAIL

FreeBSD 10.3:FAIL

FreeBSD 10.3:FAIL

FreeBSD10.3: FAIL

FreeBSD 10.3:FAIL

ANVL-OSPFV3-18.1

MUST

RFC 5340, s4.4.3 p25 Originating LSAsRFC 2328, s12.4 p123 Originating LSAs

Originating LSAsDestinations are advertised one at a time so that the change inany single route can be flooded without reflooding the entirecollection of routes.This test is for Inter-Area-Prefix-LSA.

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

of 106


OSPFV3 Results


Release2.0

Release3.0

Release2.0.2

Release3.0.2

Release3.0.3

Release4.0

Master2018-06-14

Release5.0

Release5.0.1

ANVL-OSPFV3-18.2

MUST


Originating LSAsDuring the flooding procedure, many LSAs can be carried by asingle Link State Update packet.This test verifies whether the DUT recognizes multiple LSAsresiding in a single Link State Update packet.

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

ANVL-OSPFV3-18.3

MUST


Originating LSAsWhenever a new instance of an LSA is originated, its LS sequencenumber is incremented, its LS age is set to 0.

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

ANVL-OSPFV3-18.4

MAY


Originating LSAsA change in an interface"s state may mean that it is necessary toproduce a new instance of the router-LSA.

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

of 106


OSPFV3 Results


Release2.0

Release3.0

Release2.0.2

Release3.0.2

Release3.0.3

Release4.0

Master2018-06-14

Release5.0

Release5.0.1

ANVL-OSPFV3-18.5

SHOULD


Originating LSAsIf an attached network"s Designated Router gets changed a newrouter-LSA should be originated.

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

ANVL-OSPFV3-18.6

SHOULD


Originating LSAsWhen Designated Router changes and if the router itself is now theDesignated Router, a new network-LSA should be produced.

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

ANVL-OSPFV3-18.7

SHOULD


Originating LSAsIf the router itself is no longer the Designated Router, anynetwork-LSA that it might have originated for the network shouldbe flushed from the routing domain.

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

of 106


OSPFV3 Results


Release2.0

Release3.0

Release2.0.2

Release3.0.2

Release3.0.3

Release4.0

Master2018-06-14

Release5.0

Release5.0.1

ANVL-OSPFV3-18.8

MAY


Originating LSAsIf one of the neighboring routers changes to the FULL state thenthis may mean that it is necessary to produce a new instance ofthe router-LSA.

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

ANVL-OSPFV3-18.9

MAY


Originating LSAsIf one of the neighboring routers changes from the FULL statethen this may mean that it is necessary to produce a newinstance of the router-LSA.

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

ANVL-OSPFV3-18.11

MAY

RFC 5340, s4.4.3 p25 Originating LSAs

Originating LSAsThe state or interface ID of one of the router"s interfaces changes. The routermay need to (re)originate or flush its Link-LSA and one or morerouter-LSAs and/or intra-area-prefix-LSAs.(This test is for (re)origination or flush of Router-LSA duringState change)

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

of 106


OSPFV3 Results


Release2.0

Release3.0

Release2.0.2

Release3.0.2

Release3.0.3

Release4.0

Master2018-06-14

Release5.0

Release5.0.1

ANVL-OSPFV3-18.12

MAY


Originating LSAsThe state or interface ID of one of the router"s interfaces changes. The routermay need to (re)originate or flush its Link-LSA and one or morerouter-LSAs and/or intra-area-prefix-LSAs.(This test is for (re)origination of Intra-Area-Prefix-LSAduring the state change.)

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

ANVL-OSPFV3-18.13

MAY


Originating LSAsThe state or interface ID of one of the router"s interfaces changes. The routermay need to (re)originate or flush its Link-LSA and one or morerouter-LSAs and/or intra-area-prefix-LSAs.(This test is for flushing of Intra-Area-Prefix-LSAduring the state change.)

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

ANVL-OSPFV3-18.14

MAY


Originating LSAsThe identity of a link"s Designated Router changes. The routermay need to (re)originate or flush the link"s network-LSA andone or more router-LSAs and/or intra-area-prefix-LSAs.(This test is for "(re)originate".)

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

of 106


OSPFV3 Results


Release2.0

Release3.0

Release2.0.2

Release3.0.2

Release3.0.3

Release4.0

Master2018-06-14

Release5.0

Release5.0.1

ANVL-OSPFV3-18.15

MAY


Originating LSAsThe identity of a link"s Designated Router changes. The routermay need to (re)originate or flush the link"s network-LSA andone or more router-LSAs and/or intra-area-prefix-LSAs.(This test is for "flush".)

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

ANVL-OSPFV3-18.16

MAY


Originating LSAsA neighbor transitions to/from "Full" state. The router may needto (re)originate or flush the link"s network-LSA and one or morerouter-LSAs and/or intra-area-prefix-LSAs.This test is for "to Full state".

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

ANVL-OSPFV3-18.17

MAY


Originating LSAsA neighbor transitions to/from "Full" state. The router may needto (re)originate or flush the link"s network-LSA and one or morerouter-LSAs and/or intra-area-prefix-LSAs.(This test is for "from Full state".)

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

of 106


OSPFV3 Results


Release2.0

Release3.0

Release2.0.2

Release3.0.2

Release3.0.3

Release4.0

Master2018-06-14

Release5.0

Release5.0.1

ANVL-OSPFV3-18.18

MAY


Originating LSAsThe Interface ID of a neighbor changes. This may cause a newinstance of a router-LSA to be originated for the associated area.

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

ANVL-OSPFV3-18.19

MUST


Originating LSAsA new prefix is added to an attached link (both throughconfiguration). This causes the router toreoriginate its link-LSA for the link

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

ANVL-OSPFV3-18.20

MUST


Originating LSAsA new prefix is added to an attached link. If the router is theonly router attached to the link, causes the router toreoriginate an intra-area-prefix-LSA.

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

of 106


OSPFV3 Results


Release2.0

Release3.0

Release2.0.2

Release3.0.2

Release3.0.3

Release4.0

Master2018-06-14

Release5.0

Release5.0.1

ANVL-OSPFV3-18.21

MUST


Originating LSAsA prefix is deleted (both through configuration). This causesthe router to reoriginate its link-LSA for the link.

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

ANVL-OSPFV3-18.22

MUST


Originating LSAsA prefix is deleted (both through configuration). If it is theonly router attached to the link, causes the router toreoriginate an intra-area-prefix-LSA.

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

ANVL-OSPFV3-18.23

MUST


Originating LSAsA new link-LSA is received, causing the link"s collection ofprefixes to change. If the router is the Designated Router for thelink, it originates a new intra-area-prefix-LSA.

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

of 106


OSPFV3 Results


Release2.0

Release3.0

Release2.0.2

Release3.0.2

Release3.0.3

Release4.0

Master2018-06-14

Release5.0

Release5.0.1

ANVL-OSPFV3-18.24

MAY


Originating LSAsThe state or interface ID of one of the router"s interfaces changes. The routermay need to (re)originate or flush its Link-LSA and one or morerouter-LSAs and/or intra-area-prefix-LSAs.(This test is for (re)origination or flush of Link-LSA duringState change)

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

ANVL-OSPFV3-19.1

MUST

RFC 5340, s4.4.3.2 p27 Router-LSAs

Router-LSAsRouter-LSAs have area flooding scope.

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

ANVL-OSPFV3-19.2

SHOULD

RFC 5340, s4.4.3.1 p27 LSA Options

Router-LSAsThe V6-bit should be set unless the router will not participatein transit IPv6 routing. The E-bit should be clear if and onlyif the attached area is an OSPF stub or OSPF NSSA area.(This is to test Router-LSA for stub area)

Ubuntu 16.04:FAIL

Ubuntu 16.04:FAIL

Ubuntu 16.04:FAIL

Ubuntu16.04: FAIL

Ubuntu16.04: FAIL

Ubuntu 16.04:FAIL

Ubuntu 16.04:FAIL

Ubuntu16.04: FAIL

Ubuntu 16.04:FAIL

FreeBSD 10.3:FAIL

FreeBSD 10.3:FAIL

FreeBSD 10.3:FAIL

FreeBSD10.3: FAIL

FreeBSD10.3: FAIL

FreeBSD 10.3:FAIL

FreeBSD 10.3:FAIL

FreeBSD10.3: FAIL

FreeBSD 10.3:FAIL

of 106


OSPFV3 Results


Release2.0

Release3.0

Release2.0.2

Release3.0.2

Release3.0.3

Release4.0

Master2018-06-14

Release5.0

Release5.0.1

ANVL-OSPFV3-19.4

MUST

RFC 5340, s4.4.3.2 p27 Router-LSAsRFC 2328, s12.4.1 p127 Router-LSAs

Router-LSAsA router also indicates whether it is an area border router, bysetting the appropriate bits (bit B, respectively) in itsrouter-LSAs.

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

ANVL-OSPFV3-19.5

MUST

NEGATIVERFC 5340, s4.4.3.2 p27 Router-LSAsRFC 2328, s12.4.1 p127 Router-LSAs

Router-LSAsA router also indicates whether it is an area border router, bysetting the appropriate bits (bit B, respectively) in itsrouter-LSAs.

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

ANVL-OSPFV3-19.6

SHOULD


Router-LSAsBit B should be set whenever the router is actively attached totwo or more areas, even if the router is not currently attachedto the OSPF backbone area.(This is for DUT attached to two non-backbone areas)

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

of 106


OSPFV3 Results


Release2.0

Release3.0

Release2.0.2

Release3.0.2

Release3.0.3

Release4.0

Master2018-06-14

Release5.0

Release5.0.1

ANVL-OSPFV3-19.7

MUST


Router-LSAsThe router sets bit V in its router-LSA for Area A if and onlyif the router is the endpoint of one or more fully adjacentvirtual links having Area A as their Transit area.

Ubuntu 16.04:FAIL

Ubuntu 16.04:FAIL

Ubuntu 16.04:FAIL

Ubuntu16.04: FAIL

Ubuntu16.04: FAIL

Ubuntu 16.04:FAIL

Ubuntu 16.04:FAIL

Ubuntu16.04: FAIL

Ubuntu 16.04:FAIL

FreeBSD 10.3:FAIL

FreeBSD 10.3:FAIL

FreeBSD 10.3:FAIL

FreeBSD10.3: FAIL

FreeBSD10.3: FAIL

FreeBSD 10.3:FAIL

FreeBSD 10.3:FAIL

FreeBSD10.3: FAIL

FreeBSD 10.3:FAIL

ANVL-OSPFV3-19.8

MUST

RFC 5340, s4.4.3.2 p27 Router-LSAsRFC 2328, s12.4.1 p129 Router-LSAs,

Router-LSAsIf the router wishes to build a router-LSA for Area A then foreach interface if the attached network does not belong toArea A, no links are added to the LSA.

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

ANVL-OSPFV3-19.11

MUST


Router-LSAsEach of the router"s interfaces to the area are then described byappending "link descriptions" to the router-LSA. Each linkdescription is 16 bytes long, consisting of five fields: (link) Type,Metric, Interface ID, Neighbor Interface ID and Neighbor Router ID

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

of 106


OSPFV3 Results


Release2.0

Release3.0

Release2.0.2

Release3.0.2

Release3.0.3

Release4.0

Master2018-06-14

Release5.0

Release5.0.1

ANVL-OSPFV3-19.12

MUST


Router-LSAsInterfaces in state "Down" or "Loopback" are not described(This test is for Down state)

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

ANVL-OSPFV3-19.14

MUST


Router-LSAsWithin each link description, the Metric field isalways set to the interface"s output cost, and the Interface IDfield is set to the interface"s OSPF Interface ID.

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

ANVL-OSPFV3-19.16

MUST


Router-LSAsIf the router is fully adjacent to the link"s Designated Router,or if the router itself is Designated Router and is fully adjacentto at least one other router, add a single Type 2 link description(transit network).

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

of 106


OSPFV3 Results


Release2.0

Release3.0

Release2.0.2

Release3.0.2

Release3.0.3

Release4.0

Master2018-06-14

Release5.0

Release5.0.1

ANVL-OSPFV3-19.17

MUST


Router-LSAsIf the neighboring router is fully adjacent, add a Type 4 linkdescription (virtual). The Neighbor Interface ID field is set tothe Interface ID advertised by the neighbor in its Hellopackets, and the Neighbor Router ID field is set to theneighbor"s Router ID

Ubuntu 16.04:FAIL

Ubuntu 16.04:FAIL

Ubuntu 16.04:FAIL

Ubuntu16.04: FAIL

Ubuntu16.04: FAIL

Ubuntu 16.04:FAIL

Ubuntu 16.04:FAIL

Ubuntu16.04: FAIL

Ubuntu 16.04:FAIL

FreeBSD 10.3:FAIL

FreeBSD 10.3:FAIL

FreeBSD 10.3:FAIL

FreeBSD10.3: FAIL

FreeBSD10.3: FAIL

FreeBSD 10.3:FAIL

FreeBSD 10.3:FAIL

FreeBSD10.3: FAIL

FreeBSD 10.3:FAIL

ANVL-OSPFV3-20.1

MUST

RFC 5340, s4.4.3.3 p29 Network-LSAs

Network-LSAsNetwork-LSAs have area flooding scope.

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

ANVL-OSPFV3-20.2

MUST


Network-LSAsA network-LSA is originated for every broadcast or NBMA link withan elected Designated Router that is fully adjacent with at leastone other router on the link. The network-LSA is originated by thelink"s Designated Router and lists all routers on the link withwhich it is fully adjacent.

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

of 106


OSPFV3 Results


Release2.0

Release3.0

Release2.0.2

Release3.0.2

Release3.0.3

Release4.0

Master2018-06-14

Release5.0

Release5.0.1

ANVL-OSPFV3-20.3

SHOULD

RFC 5340, s4.4.3.3 p29 Network-LSAsRFC 2328, s12.4.2 p134 Network-LSAs

Network-LSAsA router that has formerly been the Designated Router fora network, but is no longer, should flush the network-LSA that ithad previously originated.

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

ANVL-OSPFV3-20.4

MUST

RFC 5340, s4.4.3.3 p29 Network-LSAsRFC 2328, s12.4.2 p134 Network-LSAs(see also s13.4 p151 Receiving self-originated LSAs),

Network-LSAsWhen a router"s Router ID has changed, any network-LSAs that wereoriginated with the router"s previous Router ID must be flushed.

Ubuntu 16.04:FAIL

Ubuntu 16.04:FAIL

Ubuntu 16.04:FAIL

Ubuntu16.04: FAIL

Ubuntu16.04: FAIL

Ubuntu 16.04:FAIL

Ubuntu 16.04:FAIL

Ubuntu16.04: FAIL

Ubuntu 16.04:FAIL

FreeBSD 10.3:FAIL

FreeBSD 10.3:FAIL

FreeBSD 10.3:FAIL

FreeBSD10.3: FAIL

FreeBSD10.3: FAIL

FreeBSD 10.3:FAIL

FreeBSD 10.3:FAIL

FreeBSD10.3: FAIL

FreeBSD 10.3:FAIL

ANVL-OSPFV3-20.5

MUST


Network-LSAsAn IPv6 network-LSA"s Link State ID is set to the Interface ID ofthe Designated Router on the link.

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

of 106


OSPFV3 Results


Release2.0

Release3.0

Release2.0.2

Release3.0.2

Release3.0.3

Release4.0

Master2018-06-14

Release5.0

Release5.0.1

ANVL-OSPFV3-21.1

MUST

RFC 5340, s4.4.3.4 p30 Inter-Area-Prefix-LSAs

Inter-Area-Prefix-LSAsInter-area-prefix-LSAs have area flooding scope.

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

ANVL-OSPFV3-21.2

MUST

RFC 5340, s4.4.3.4 p30 Inter-Area-Prefix-LSAsRFC 2328, s12.4.3. p136 Summary-LSAs

Inter-Area-Prefix-LSAsIf for a route the area associated with this set of paths isthe Area A itself, do not generate a summary-LSA for the routefor advertising into Area A.(Type 3 Summary LSA has been renamed as Inter-Area-Prefix-LSA)

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

ANVL-OSPFV3-21.3

MUST


Inter-Area-Prefix-LSAsIf for a route the area associated with the set of paths is notArea A but the next hops associated with this set of pathsbelong to Area A itself, do not generate a summary-LSA for theroute for advertising into Area A.(Type 3 Summary LSA has been renamed as Inter-Area-Prefix-LSA)

Ubuntu 16.04:FAIL

Ubuntu 16.04:FAIL

Ubuntu 16.04:FAIL

Ubuntu16.04: FAIL

Ubuntu16.04: FAIL

Ubuntu 16.04:FAIL

Ubuntu 16.04:FAIL

Ubuntu16.04: FAIL

Ubuntu 16.04:FAIL

FreeBSD 10.3:FAIL

FreeBSD 10.3:FAIL

FreeBSD 10.3:FAIL

FreeBSD10.3: FAIL

FreeBSD10.3: FAIL

FreeBSD 10.3:FAIL

FreeBSD 10.3:FAIL

FreeBSD10.3: FAIL

FreeBSD 10.3:FAIL

of 106


OSPFV3 Results


Release2.0

Release3.0

Release2.0.2

Release3.0.2

Release3.0.3

Release4.0

Master2018-06-14

Release5.0

Release5.0.1

ANVL-OSPFV3-21.4

MUST

RFC 5340, s4.4.3.4 p30 Inter-Area-Prefix-LSAsRFC 2328, s12.4.3 p136 Summary-LSAs

Inter-Area-Prefix-LSAsIf the destination of a route is an AS boundary router,a summary-LSA should be originated if and only if the routingtable entry describes the preferred path to the AS boundaryrouter. If so, a Type 4 summary-LSA is originated for the destination.(Type 4 Summary-LSA has been renamed as Inter-Area-Router-LSA.)

Ubuntu 16.04:FAIL

Ubuntu 16.04:FAIL

Ubuntu 16.04:FAIL

Ubuntu16.04: FAIL

Ubuntu16.04: FAIL

Ubuntu 16.04:FAIL

Ubuntu 16.04:FAIL

Ubuntu16.04: FAIL

Ubuntu 16.04:FAIL

FreeBSD 10.3:FAIL

FreeBSD 10.3:FAIL

FreeBSD 10.3:FAIL

FreeBSD10.3: FAIL

FreeBSD10.3: FAIL

FreeBSD 10.3:FAIL

FreeBSD 10.3:FAIL

FreeBSD10.3: FAIL

FreeBSD 10.3:FAIL

ANVL-OSPFV3-21.5

MUST


Inter-Area-Prefix-LSAsWhile originating summary-LSAs for networks reachable byinter-area routes at most a single Type 3 summary-LSA isoriginated for each area address range.(Type 3 Summary-LSA has been renamed as Inter-Area-Prefix-LSA.)

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

ANVL-OSPFV3-21.6

MUST

RFC 5340, s4.4.3.4 p30 Inter-Area-Prefix-LSAs

Inter-Area-Prefix-LSAsThe Link State ID of an inter-area-prefix-LSA has lost all ofits addressing semantics, and simply serves todistinguish multiple inter-area-prefix-LSAs that areoriginated by the same router.

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

of 106


OSPFV3 Results


Release2.0

Release3.0

Release2.0.2

Release3.0.2

Release3.0.3

Release4.0

Master2018-06-14

Release5.0

Release5.0.1

ANVL-OSPFV3-22.1

MUST

RFC 5340, s4.4.3.5 p31 Inter-Area-Router-LSAs

Inter-Area-Router-LSAsInter-area-router-LSAs have area flooding scope.

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

ANVL-OSPFV3-22.2

SHOULD

RFC 5340, s4.4.3.5 p32 Inter-Area-Router-LSAs

Inter-Area-Router-LSAsThe Options field in an inter-area-router-LSA should beset equal 1to the Options field contained in the destinationrouter"s own router-LSA.

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

ANVL-OSPFV3-23.1

MUST

RFC 5340, s4.4.3.6 p32 AS-External-LSAs

AS-External-LSAsAS-external-LSAs have AS flooding scope.

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

of 106


OSPFV3 Results


Release2.0

Release3.0

Release2.0.2

Release3.0.2

Release3.0.3

Release4.0

Master2018-06-14

Release5.0

Release5.0.1

ANVL-OSPFV3-23.2

MUST


AS-External-LSAsThe Link State ID of an AS-external-LSA has lost all of itsaddressing semantics, and simply serves to distinguishmultiple AS-external-LSAs that are originated by the samerouter.

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

ANVL-OSPFV3-23.4

MUST


AS-External-LSAsThe forwarding address is present in the AS-external-LSA if andonly if the AS-external-LSA"s bit F is set.

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

ANVL-OSPFV3-23.5

SHOULD


AS-External-LSAsReceived non-zero values for Reference LS Type field should beignored.

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

of 106


OSPFV3 Results


Release2.0

Release3.0

Release2.0.2

Release3.0.2

Release3.0.3

Release4.0

Master2018-06-14

Release5.0

Release5.0.1

ANVL-OSPFV3-24.1

MUST

RFC 5340, s4.4.3.8 p34 Link-LSAs

Link-LSAsLink-LSAs have link-local flooding scope.

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

ANVL-OSPFV3-24.2

MUST


Link-LSAsThe Link State ID is set to the router"s Interface ID on Link L.

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

ANVL-OSPFV3-24.3

MUST


Link-LSAsThe Router Priority of the router"s interface to Link L isinserted into the Link-LSA.

Ubuntu 16.04:FAIL

Ubuntu 16.04:FAIL

Ubuntu 16.04:FAIL

Ubuntu16.04: FAIL

Ubuntu16.04: FAIL

Ubuntu 16.04:FAIL

Ubuntu 16.04:FAIL

Ubuntu16.04: FAIL

Ubuntu 16.04:FAIL

FreeBSD 10.3:FAIL

FreeBSD 10.3:FAIL

FreeBSD 10.3:FAIL

FreeBSD10.3: FAIL

FreeBSD10.3: FAIL

FreeBSD 10.3:FAIL

FreeBSD 10.3:FAIL

FreeBSD10.3: FAIL

FreeBSD 10.3:FAIL

of 106


OSPFV3 Results


Release2.0

Release3.0

Release2.0.2

Release3.0.2

Release3.0.3

Release4.0

Master2018-06-14

Release5.0

Release5.0.1

ANVL-OSPFV3-24.4

MUST


Link-LSAsThe link-LSA"s Options field is set to reflect the router"scapabilities. On multi-access links, the Designated Router willlogically OR the link-LSA Options fields for all fully adjacentneighbors in Link L"s network-LSA.

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

ANVL-OSPFV3-24.5

MUST


Link-LSAsThe router inserts its link-local address on Link L into theLink-LSA.

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

ANVL-OSPFV3-24.6

MUST


Link-LSAsEach IPv6 address prefix that has been configured onLink L is added to the Link-LSA, by specifyingvalues for the PrefixLength, PrefixOptions, and Address Prefixfields.

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

of 106


OSPFV3 Results


Release2.0

Release3.0

Release2.0.2

Release3.0.2

Release3.0.3

Release4.0

Master2018-06-14

Release5.0

Release5.0.1

ANVL-OSPFV3-25.1

MUST

RFC 5340, s4.4.3.9 p36 Intra-Area-Prefix-LSAs

Intra-Area-Prefix-LSAsIntra-area-prefix-LSAs have area flooding scope.

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

ANVL-OSPFV3-25.2

MUST


Intra-Area-Prefix-LSAsIt either associates a list of IPv6 address prefixes with a transitnetwork link by referencing a network- LSA, or associates alist of IPv6 address prefixes with a router by referencinga router-LSA.

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

ANVL-OSPFV3-25.3

MUST

RFC 5340, s4.4.3.9 p32, p37 Intra-Area-Prefix-LSAs

Intra-Area-Prefix-LSAsIf the link-LSA"s Advertising Router is fully adjacent to the DesignatedRouter and the Link State ID matches the neighbor"s interface ID,the list of prefixes in the link-LSA is copied into the intra-area-prefix-LSA that is being built.

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

of 106


OSPFV3 Results


Release2.0

Release3.0

Release2.0.2

Release3.0.2

Release3.0.3

Release4.0

Master2018-06-14

Release5.0

Release5.0.1

ANVL-OSPFV3-25.4

MUST


Intra-Area-Prefix-LSAsMultiple prefixes having the same PrefixLength and AddressPrefix are considered to be duplicates; .....and a single instance of the duplicate prefix should be includedin the intra-area-prefix-LSA. The Metric field for all prefixes isset to 0.

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

ANVL-OSPFV3-25.5

MUST


Intra-Area-Prefix-LSAsA router builds an intra-area-prefix-LSA to advertise prefixes forits attached stub links.

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

ANVL-OSPFV3-25.6

MUST


Intra-Area-Prefix-LSAsIf RTX has one or more virtual links configured throughthe area, it includes one of its globalscope IPv6 interface addresses in the LSA (if it hasn"talready), setting the LA-bit in the PrefixOptions field,the PrefixLength to 128 andthe Metric to 0.

Ubuntu 16.04:FAIL

Ubuntu 16.04:FAIL

Ubuntu 16.04:FAIL

Ubuntu16.04: FAIL

Ubuntu16.04: FAIL

Ubuntu 16.04:FAIL

Ubuntu 16.04:FAIL

Ubuntu16.04: FAIL

Ubuntu 16.04:FAIL

FreeBSD 10.3:FAIL

FreeBSD 10.3:FAIL

FreeBSD 10.3:FAIL

FreeBSD10.3: FAIL

FreeBSD10.3: FAIL

FreeBSD 10.3:FAIL

FreeBSD 10.3:FAIL

FreeBSD10.3: FAIL

FreeBSD 10.3:FAIL

of 106


OSPFV3 Results


Release2.0

Release3.0

Release2.0.2

Release3.0.2

Release3.0.3

Release4.0

Master2018-06-14

Release5.0

Release5.0.1

ANVL-OSPFV3-25.7

MAY


Intra-Area-Prefix-LSAsWhen network conditions change, it may be necessary for a routerto move prefixes from one intra-area-prefix-LSA to another.

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

ANVL-OSPFV3-26.1

MUST

RFC 5340, s4.5 p40 FloodingRFC 2328, s13 p143 The Flooding Procedure

FloodingTo make the flooding procedure reliable, each LSA must beacknowledged separately. Acknowledgments are transmitted in LinkState Acknowledgment packets.

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

ANVL-OSPFV3-26.2

MUST


FloodingFor each LSA contained in a Link State Update packet, validate theLSA"s LS checksum. If the checksum turns out to be invalid,discard the LSA.

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

of 106


OSPFV3 Results


Release2.0

Release3.0

Release2.0.2

Release3.0.2

Release3.0.3

Release4.0

Master2018-06-14

Release5.0

Release5.0.1

ANVL-OSPFV3-26.3

MUST

RFC 5340, s4.5 p40 FloodingRFC 2328, s13 p144 The Flooding Procedure,

FloodingIf the LSA"s LS age is equal to MaxAge, and there is currently noinstance of the LSA in router"s link state database, and none ofrouter"s neighbors are in state Exchange or Loading send directAcknowledgment packet to the sending neighbor and discard the LSA.

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

FreeBSD 10.3:FAIL

FreeBSD 10.3:FAIL

FreeBSD 10.3:FAIL

FreeBSD10.3: FAIL

FreeBSD10.3: FAIL

FreeBSD 10.3:FAIL

FreeBSD 10.3:FAIL

FreeBSD10.3: FAIL

FreeBSD 10.3:FAIL

ANVL-OSPFV3-26.4

MUST


FloodingIf there is already a database copy, and if the database copywas received via flooding and installed less than MinLSArrivalseconds ago, discard the new LSA (without acknowledging it).

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

ANVL-OSPFV3-26.5

MUST


FloodingIf there is no database copy or the received LSA is more recentthan the database copy and the database copy was installed morethan MinLSArrival seconds ago, immediately flood the new LSA outsome subset of the router"s interfaces.

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

of 106


OSPFV3 Results


Release2.0

Release3.0

Release2.0.2

Release3.0.2

Release3.0.3

Release4.0

Master2018-06-14

Release5.0

Release5.0.1

ANVL-OSPFV3-26.6

MUST


FloodingWhen a new instance of a LSA is installed in database, a routerpossibly acknowledges the receipt of the LSA by sending a LinkState Acknowledgment packet on the receiving interface.


Ubuntu 16.04:FAIL

Ubuntu 16.04:FAIL

Ubuntu16.04: FAIL

Ubuntu16.04: FAIL

Ubuntu 16.04:FAIL

Ubuntu 16.04:FAIL

Ubuntu16.04: FAIL

Ubuntu 16.04:FAIL

FreeBSD 10.3:FAIL

FreeBSD 10.3:FAIL

FreeBSD 10.3:FAIL

FreeBSD10.3: FAIL

FreeBSD10.3: FAIL

FreeBSD 10.3:FAIL

FreeBSD 10.3:FAIL

FreeBSD10.3: FAIL

FreeBSD 10.3:FAIL

ANVL-OSPFV3-26.7

MUST


FloodingWhen the received LSA is at most as recent as the database copy ofthat LSA then if there is an instance of the LSA on the sendingneighbor"s Link State Request list, generate the neighbor eventBadLSReq.

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

ANVL-OSPFV3-26.8

SHOULD


FloodingIf the received LSA is the same instance as the database copyand is listed in the Link state retransmission list for thereceiving adjacency, the router itself is expecting anacknowledgment for this LSA. The router should remove the LSAfrom the Link state retransmission list.

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

of 106


OSPFV3 Results


Release2.0

Release3.0

Release2.0.2

Release3.0.2

Release3.0.3

Release4.0

Master2018-06-14

Release5.0

Release5.0.1

ANVL-OSPFV3-26.9

MUST


FloodingIf the database copy has LS age equal to MaxAge and LS sequencenumber equal to MaxSequenceNumber, simply discard the receivedLSA without acknowledging it.

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

FreeBSD 10.3:FAIL

FreeBSD 10.3:FAIL

FreeBSD 10.3:FAIL

FreeBSD10.3: FAIL

FreeBSD10.3: FAIL

FreeBSD 10.3:FAIL

FreeBSD 10.3:FAIL

FreeBSD10.3: FAIL

FreeBSD 10.3:FAIL

ANVL-OSPFV3-26.10

MUST

RFC 5340, s4.5 p40 FloodingRFC 2328, s13.4 p151 Receiving self-originated LSAs

FloodingA self-originated LSA is detected when the LSA"s AdvertisingRouter is equal to the router"s own Router ID and in most cases(....), the router must then advance the LSA"s LS sequencenumber one past the received LS sequence number, and originate anew instance of the LSA.

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

ANVL-OSPFV3-26.11

SHOULD


FloodingIf the received self-originated LSA is a summary-LSA and therouter no longer has an (advertisable) route to the destinationinstead of updating the LSA, the LSA should be flushed from therouting domain by incrementing the received LSA"s LS age toMaxAge and reflooding.(Summary-LSA has been renamed as Inter-Area-Prefix/Router LSA.)

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

of 106


OSPFV3 Results


Release2.0

Release3.0

Release2.0.2

Release3.0.2

Release3.0.3

Release4.0

Master2018-06-14

Release5.0

Release5.0.1

ANVL-OSPFV3-26.12

SHOULD


FloodingIf the received self-originated LSA is an AS-external-LSA andthe router no longer has an (advertisable) route to thedestination instead of updating the LSA, the LSA should beflushed from the routing domain by incrementing the receivedLSA"s LS age to MaxAge and reflooding.

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

ANVL-OSPFV3-26.13

SHOULD


FloodingIf the received self-originated LSA is a network-LSA but therouter is no longer Designated Router for the network, instead ofupdating the LSA, the LSA should be flushed from the routingdomain by incrementing the received LSA"s LS age to MaxAge andreflooding.

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

ANVL-OSPFV3-27.1

MUST

RFC 5340, s4.5.1 p41 Receiving Link State Update packets

Receiving Link State Update PacketsDiscard the LSA and get the next one from the Link StateUpdate packet if the interface area has been configured asa stub or NSSA area and the LS type indicates "AS flooding scope"(This is to test stub area)

Ubuntu 16.04:FAIL

Ubuntu 16.04:FAIL

Ubuntu 16.04:FAIL

Ubuntu16.04: FAIL

Ubuntu16.04: FAIL

Ubuntu 16.04:FAIL

Ubuntu 16.04:FAIL

Ubuntu16.04: FAIL

Ubuntu 16.04:FAIL

FreeBSD 10.3:FAIL

FreeBSD 10.3:FAIL

FreeBSD 10.3:FAIL

FreeBSD10.3: FAIL

FreeBSD10.3: FAIL

FreeBSD 10.3:FAIL

FreeBSD 10.3:FAIL

FreeBSD10.3: FAIL

FreeBSD 10.3:FAIL

of 106


OSPFV3 Results


Release2.0

Release3.0

Release2.0.2

Release3.0.2

Release3.0.3

Release4.0

Master2018-06-14

Release5.0

Release5.0.1

ANVL-OSPFV3-27.2

MUST

RFC 5340, s4.5.1 p41 Receiving Link State Update packets

Receiving Link State Update Packetsif the flooding scope of the LSA"s LS type is set to"reserved", discard the LSA

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

ANVL-OSPFV3-28.1

MUST

RFC 5340, s4.5.2 p41 Sending Link State Update packetsRFC 2328, s13.3 p149 Next step in the Flooding Procedure

Sending Link State Update PacketsIf the adjacency is not yet full and there is an instance ofnew LSA in Link State request list and if the new LSA is morerecent delete the LSA from the Link state request list.

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

ANVL-OSPFV3-28.2

MUST

RFC 5340, s4.5.2 p41 Sending Link State Update packetsRFC 2328, s13.3 p150 Sending protocol packets

Sending Link State Update PacketsOn broadcast network, the Link State Update packets are multicastbut Link State Update packets carrying retransmissions arealways sent directly to the neighbor.

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

of 106


OSPFV3 Results


Release2.0

Release3.0

Release2.0.2

Release3.0.2

Release3.0.3

Release4.0

Master2018-06-14

Release5.0

Release5.0.1

ANVL-OSPFV3-28.3

MUST

RFC 5340, s4.5.2 p42 Sending Link State Update packets

Sending Link State Update PacketsIf the flooding scope is "AS flooding scope", theeligible interfaces are all router interfaces excepting virtuallinks.

Ubuntu 16.04:FAIL

Ubuntu 16.04:FAIL

Ubuntu 16.04:FAIL

Ubuntu16.04: FAIL

Ubuntu16.04: FAIL

Ubuntu 16.04:FAIL

Ubuntu 16.04:FAIL

Ubuntu16.04: FAIL

Ubuntu 16.04:FAIL

FreeBSD 10.3:FAIL

FreeBSD 10.3:FAIL

FreeBSD 10.3:FAIL

FreeBSD10.3: FAIL

FreeBSD10.3: FAIL

FreeBSD 10.3:FAIL

FreeBSD 10.3:FAIL

FreeBSD10.3: FAIL

FreeBSD 10.3:FAIL

ANVL-OSPFV3-28.4

MUST


Sending Link State Update PacketsIf the flooding scope is "area flooding scope", theeligible interfaces are those interfaces connecting to theLSA"s associated area.

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

ANVL-OSPFV3-28.5

MUST

NEGATIVERFC 5340, s4.5.2 p42 Sending Link State Update packets

Sending Link State Update PacketsIf the flooding scope is "area flooding scope", theeligible interfaces are those interfaces connecting to theLSA"s associated area.

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

of 106


OSPFV3 Results


Release2.0

Release3.0

Release2.0.2

Release3.0.2

Release3.0.3

Release4.0

Master2018-06-14

Release5.0

Release5.0.1

ANVL-OSPFV3-28.6

MUST


Sending Link State Update PacketsIf the flooding scope is "link-local flooding scope", then thereis a single eligible interface, the one connecting to the LSA"sassociated link

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

ANVL-OSPFV3-28.7

MUST

NEGATIVERFC 5340, s4.5.2 p42 Sending Link State Update packets

Sending Link State Update PacketsIf the flooding scope is "link-local flooding scope", then thereis a single eligible interface, the one connecting to the LSA"sassociated link

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

ANVL-OSPFV3-28.8

MUST


Sending Link State Update PacketsThe LS type is unrecognized, and the U-bit in the LS Type is setto 1 (store and flood the LSA, as if type understood).......

Ubuntu 16.04:FAIL

Ubuntu 16.04:FAIL

Ubuntu 16.04:FAIL

Ubuntu16.04: FAIL

Ubuntu16.04: FAIL

Ubuntu 16.04:FAIL

Ubuntu 16.04:FAIL

Ubuntu16.04: FAIL

Ubuntu 16.04:FAIL

FreeBSD 10.3:FAIL

FreeBSD 10.3:FAIL

FreeBSD 10.3:FAIL

FreeBSD10.3: FAIL

FreeBSD10.3: FAIL

FreeBSD 10.3:FAIL

FreeBSD 10.3:FAIL

FreeBSD10.3: FAIL

FreeBSD 10.3:FAIL

of 106


OSPFV3 Results


Release2.0

Release3.0

Release2.0.2

Release3.0.2

Release3.0.3

Release4.0

Master2018-06-14

Release5.0

Release5.0.1

ANVL-OSPFV3-28.9

MUST


Sending Link State Update PacketsThe LS type is unrecognized, and the U-bit in the LS Type is setto 1 (store and flood the LSA, as if type understood).......

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

ANVL-OSPFV3-30.1

MUST

RFC 5340, s4.7 p44 Virtual linksRFC 2328, s15 p158 Virtual Links

Virtual LinksWhen an adjacency is established over a virtual link, then OSPFpackets pertaining to the backbone area will flow over theadjacency.

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

ANVL-OSPFV3-30.2

MUST


Virtual LinksAS-external-LSAs are NEVER flooded over virtual adjacencies.

Ubuntu 16.04:FAIL

Ubuntu 16.04:FAIL

Ubuntu 16.04:FAIL

Ubuntu16.04: FAIL

Ubuntu16.04: FAIL

Ubuntu 16.04:FAIL

Ubuntu 16.04:FAIL

Ubuntu16.04: FAIL

Ubuntu 16.04:FAIL

FreeBSD 10.3:FAIL

FreeBSD 10.3:FAIL

FreeBSD 10.3:FAIL

FreeBSD10.3: FAIL

FreeBSD10.3: FAIL

FreeBSD 10.3:FAIL

FreeBSD 10.3:FAIL

FreeBSD10.3: FAIL

FreeBSD 10.3:FAIL

of 106


OSPFV3 Results


Release2.0

Release3.0

Release2.0.2

Release3.0.2

Release3.0.3

Release4.0

Master2018-06-14

Release5.0

Release5.0.1

ANVL-OSPFV3-30.3

MUST


Virtual LinksThe cost of a virtual link is NOT configured.It is defined to bethe cost of the intra-area path between the two defining areaborder routers.

Ubuntu 16.04:FAIL

Ubuntu 16.04:FAIL

Ubuntu 16.04:FAIL

Ubuntu16.04: FAIL

Ubuntu16.04: FAIL

Ubuntu 16.04:FAIL

Ubuntu 16.04:FAIL

Ubuntu16.04: FAIL

Ubuntu 16.04:FAIL

FreeBSD 10.3:FAIL

FreeBSD 10.3:FAIL

FreeBSD 10.3:FAIL

FreeBSD10.3: FAIL

FreeBSD10.3: FAIL

FreeBSD 10.3:FAIL

FreeBSD 10.3:FAIL

FreeBSD10.3: FAIL

FreeBSD 10.3:FAIL

ANVL-OSPFV3-30.4

SHOULD


Virtual LinksWhen the cost of a virtual link changes, a new router-LSA shouldbe originated for the backbone area.

Ubuntu 16.04:FAIL

Ubuntu 16.04:FAIL

Ubuntu 16.04:FAIL

Ubuntu16.04: FAIL

Ubuntu16.04: FAIL

Ubuntu 16.04:FAIL

Ubuntu 16.04:FAIL

Ubuntu16.04: FAIL

Ubuntu 16.04:FAIL

FreeBSD 10.3:FAIL

FreeBSD 10.3:FAIL

FreeBSD 10.3:FAIL

FreeBSD10.3: FAIL

FreeBSD10.3: FAIL

FreeBSD 10.3:FAIL

FreeBSD 10.3:FAIL

FreeBSD10.3: FAIL

FreeBSD 10.3:FAIL

ANVL-OSPFV3-30.5

MUST


Virtual LinksThe time between link state retransmissions, RxmtInterval, isconfigured for a virtual link.

Ubuntu 16.04:FAIL

Ubuntu 16.04:FAIL

Ubuntu 16.04:FAIL

Ubuntu16.04: FAIL

Ubuntu16.04: FAIL

Ubuntu 16.04:FAIL

Ubuntu 16.04:FAIL

Ubuntu16.04: FAIL

Ubuntu 16.04:FAIL

FreeBSD 10.3:FAIL

FreeBSD 10.3:FAIL

FreeBSD 10.3:FAIL

FreeBSD10.3: FAIL

FreeBSD10.3: FAIL

FreeBSD 10.3:FAIL

FreeBSD 10.3:FAIL

FreeBSD10.3: FAIL

FreeBSD 10.3:FAIL

of 106


OSPFV3 Results


Release2.0

Release3.0

Release2.0.2

Release3.0.2

Release3.0.3

Release4.0

Master2018-06-14

Release5.0

Release5.0.1

ANVL-OSPFV3-30.6

MUST

RFC 5340, s4.7 p44 Virtual links

Virtual LinksLSAs having AS flooding scope are never flooded over virtualadjacencies, nor are LSAs with AS flooding scope summarized overvirtual adjacencies during the Database Exchange process.This isa generalization of the IPv4 treatment of AS-external-LSAs.

Ubuntu 16.04:FAIL

Ubuntu 16.04:FAIL

Ubuntu 16.04:FAIL

Ubuntu16.04: FAIL

Ubuntu16.04: FAIL

Ubuntu 16.04:FAIL

Ubuntu 16.04:FAIL

Ubuntu16.04: FAIL

Ubuntu 16.04:FAIL

FreeBSD 10.3:FAIL

FreeBSD 10.3:FAIL

FreeBSD 10.3:FAIL

FreeBSD10.3: FAIL

FreeBSD10.3: FAIL

FreeBSD 10.3:FAIL

FreeBSD 10.3:FAIL

FreeBSD10.3: FAIL

FreeBSD 10.3:FAIL

ANVL-OSPFV3-30.7

MUST

RFC 5340, s4.7 p44 Virtual links

Virtual LinksLike all other IPv6 OSPF interfaces, virtual links are assignedunique (within the router) Interface IDs.These are advertised inHellos sent over the virtual link and in the router"srouter-LSAs.

Ubuntu 16.04:FAIL

Ubuntu 16.04:FAIL

Ubuntu 16.04:FAIL

Ubuntu16.04: FAIL

Ubuntu16.04: FAIL

Ubuntu 16.04:FAIL

Ubuntu 16.04:FAIL

Ubuntu16.04: FAIL

Ubuntu 16.04:FAIL

FreeBSD 10.3:FAIL

FreeBSD 10.3:FAIL

FreeBSD 10.3:FAIL

FreeBSD10.3: FAIL

FreeBSD10.3: FAIL

FreeBSD 10.3:FAIL

FreeBSD 10.3:FAIL

FreeBSD10.3: FAIL

FreeBSD 10.3:FAIL

ANVL-OSPFV3-31.1

MUST

RFC 5340, s4.8.3 p47 Calculating the Inter-Area RoutesRFC 2328, s16.2 p168 Calculating the inter-area routes

Calculating the Inter-Area RoutesIf the router has active attachments to multiple areas, onlybackbone summary-LSAs are examined.(Type 3 Summary LSA has been renamed as Inter-Area-Prefix-LSA)

Ubuntu 16.04:FAIL

Ubuntu 16.04:FAIL

Ubuntu 16.04:FAIL

Ubuntu16.04: FAIL

Ubuntu16.04: FAIL

Ubuntu 16.04:FAIL

Ubuntu 16.04:FAIL

Ubuntu16.04: FAIL

Ubuntu 16.04:FAIL

FreeBSD 10.3:FAIL

FreeBSD 10.3:FAIL

FreeBSD 10.3:FAIL

FreeBSD10.3: FAIL

FreeBSD10.3: FAIL

FreeBSD 10.3:FAIL

FreeBSD 10.3:FAIL

FreeBSD10.3: FAIL

FreeBSD 10.3:FAIL

of 106


OSPFV3 Results


Release2.0

Release3.0

Release2.0.2

Release3.0.2

Release3.0.3

Release4.0

Master2018-06-14

Release5.0

Release5.0.1

ANVL-OSPFV3-31.2

SHOULD

RFC 5340, s4.8.3 p47 Calculating the Inter-Area Routes

Calculating the Inter-Area RoutesPrefixes having the NU-bit set in their Prefix Options fieldshould be ignored by the inter-area route calculation.

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

ANVL-OSPFV3-32.1

MUST

RFC 5340, s4.8.5 p48 Calculating AS External and NSSA Routes

Calculating AS External RoutesThe default route in AS-external-LSAs or NSSA-LSAs is advertisedby a zero-length prefix.(This is to test AS-external-LSA)

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

ANVL-OSPFV3-33.1

SHOULD

RFC 5340, sA.1 p57 Encapsulation of OSPF Packets

Encapsulation of OSPF PacketsAs such, the multicast addresses have been chosen withlink-local scope, and packets sent to these addresses should havetheir IPv6 Hop Limit set to 1.

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

of 106


OSPFV3 Results


Release2.0

Release3.0

Release2.0.2

Release3.0.2

Release3.0.3

Release4.0

Master2018-06-14

Release5.0

Release5.0.1

ANVL-OSPFV3-33.2

SHOULD


Encapsulation of OSPF PacketsAs such, the multicast addresses have been chosen withlink-local scope, and packets sent to these addresses should havetheir IPv6 Hop Limit set to 1.(This test is for OSPF-DD> packet)

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

ANVL-OSPFV3-33.3

SHOULD

NEGATIVERFC 5340, sA.1 p57 Encapsulation of OSPF Packets

Encapsulation of OSPF PacketsAs such, the multicast addresses have been chosen withlink-local scope, and packets sent to these addresses should havetheir IPv6 Hop Limit set to 1.(This test is for OSPF-LSR> packet)

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

ANVL-OSPFV3-33.4

SHOULD


Encapsulation of OSPF PacketsAs such, the multicast addresses have been chosen withlink-local scope, and packets sent to these addresses should havetheir IPv6 Hop Limit set to 1.(This test is for OSPF-LSU> packet)

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

of 106


OSPFV3 Results


Release2.0

Release3.0

Release2.0.2

Release3.0.2

Release3.0.3

Release4.0

Master2018-06-14

Release5.0

Release5.0.1

ANVL-OSPFV3-33.5

SHOULD


Encapsulation of OSPF PacketsAs such, the multicast addresses have been chosen withlink-local scope, and packets sent to these addresses should havetheir IPv6 Hop Limit set to 1.(This test is for OSPF-LSA> packet)

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

ANVL-OSPFV3-33.12

SHOULD


Encapsulation of OSPF PacketsThis multicast address has been assigned the value FF02::5. Allrouters running OSPF should be prepared to receive packetssent to this address.

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

ANVL-OSPFV3-33.13

MUST


Encapsulation of OSPF PacketsHello packets are always sent to this destination(AllSPFRouters).

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

of 106


OSPFV3 Results


Release2.0

Release3.0

Release2.0.2

Release3.0.2

Release3.0.3

Release4.0

Master2018-06-14

Release5.0

Release5.0.1

ANVL-OSPFV3-33.14

MUST


Encapsulation of OSPF PacketsThis multicast address has been assigned the value FF02::6. Boththe Designated Router and Backup Designated Router must beprepared to receive packets destined to this address.(This test is for Designated Router.)

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

FreeBSD 10.3:unpredict

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

ANVL-OSPFV3-33.15

MUST


Encapsulation of OSPF PacketsThis multicast address has been assigned the value FF02::6. Boththe Designated Router and Backup Designated Router must beprepared to receive packets destined to this address.(DUT is in state DROther)

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

ANVL-OSPFV3-33.16

MUST


Encapsulation of OSPF PacketsThis multicast address has been assigned the value FF02::6. Boththe Designated Router and Backup Designated Router must beprepared to receive packets destined to this address.(This test is for Backup Designated Router.)

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

of 106


OSPFV3 Results


Release2.0

Release3.0

Release2.0.2

Release3.0.2

Release3.0.3

Release4.0

Master2018-06-14

Release5.0

Release5.0.1

ANVL-OSPFV3-34.1

SHOULD

RFC 5340, sA.2 p59 The Options Field

The Options FieldV6-bitIf this bit is clear, the router/link should be excluded fromIPv6 routing calculations.

Ubuntu 16.04:FAIL

Ubuntu 16.04:FAIL

Ubuntu 16.04:FAIL

Ubuntu16.04: FAIL

Ubuntu16.04: FAIL

Ubuntu 16.04:FAIL

Ubuntu 16.04:FAIL

Ubuntu16.04: FAIL

Ubuntu 16.04:FAIL

FreeBSD 10.3:FAIL

FreeBSD 10.3:FAIL

FreeBSD 10.3:FAIL

FreeBSD10.3: FAIL

FreeBSD10.3: FAIL

FreeBSD 10.3:FAIL

FreeBSD 10.3:FAIL

FreeBSD10.3: FAIL

FreeBSD 10.3:FAIL

ANVL-OSPFV3-34.2

SHOULD

RFC 5340, sA.2 p59 The Options FieldRFC 2328, s12.1.2 p117 Options

The Options FieldThe E-bit represents OSPF"s ExternalRoutingCapability. This bitshould be set in all LSAs associated with the backbone.

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

ANVL-OSPFV3-34.3

SHOULD


The Options FieldThe E-bit represents OSPF"s ExternalRoutingCapability. This bitshould be set in all LSAs associated with (non-backbone)non-stub areas.(This test checks for Network-LSA)

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

of 106


OSPFV3 Results


Release2.0

Release3.0

Release2.0.2

Release3.0.2

Release3.0.3

Release4.0

Master2018-06-14

Release5.0

Release5.0.1

ANVL-OSPFV3-34.4

SHOULD


The Options FieldThe E-bit represents OSPF"s ExternalRoutingCapability. This bitshould be set in all LSAs associated with (non-backbone)non-stub areas.(This test checks for Inter-Area-Router-LSA)

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

ANVL-OSPFV3-34.5

SHOULD


The Options FieldE-bit should be reset (set to 0) in all router-LSAs associatedwith a stub area.

Ubuntu 16.04:FAIL

Ubuntu 16.04:FAIL

Ubuntu 16.04:FAIL

Ubuntu16.04: FAIL

Ubuntu16.04: FAIL

Ubuntu 16.04:FAIL

Ubuntu 16.04:FAIL

Ubuntu16.04: FAIL

Ubuntu 16.04:FAIL

FreeBSD 10.3:FAIL

FreeBSD 10.3:FAIL

FreeBSD 10.3:FAIL

FreeBSD10.3: FAIL

FreeBSD10.3: FAIL

FreeBSD 10.3:FAIL

FreeBSD 10.3:FAIL

FreeBSD10.3: FAIL

FreeBSD 10.3:FAIL

ANVL-OSPFV3-34.6

SHOULD


The Options FieldE-bit should be reset (set to 0) in all router-LSAs associatedwith a stub area.

Ubuntu 16.04:FAIL

Ubuntu 16.04:FAIL

Ubuntu 16.04:FAIL

Ubuntu16.04: FAIL

Ubuntu16.04: FAIL

Ubuntu 16.04:FAIL

Ubuntu 16.04:FAIL

Ubuntu16.04: FAIL

Ubuntu 16.04:FAIL

FreeBSD 10.3:FAIL

FreeBSD 10.3:FAIL

FreeBSD 10.3:FAIL

FreeBSD10.3: FAIL

FreeBSD10.3: FAIL

FreeBSD 10.3:FAIL

FreeBSD 10.3:FAIL

FreeBSD10.3: FAIL

FreeBSD 10.3:FAIL

of 106


OSPFV3 Results


Release2.0

Release3.0

Release2.0.2

Release3.0.2

Release3.0.3

Release4.0

Master2018-06-14

Release5.0

Release5.0.1

ANVL-OSPFV3-34.7

SHOULD


The Options FieldE-bit should be reset (set to 0) in all network-LSAs associatedwith a stub area.

Ubuntu 16.04:FAIL

Ubuntu 16.04:FAIL

Ubuntu 16.04:FAIL

Ubuntu16.04: FAIL

Ubuntu16.04: FAIL

Ubuntu 16.04:FAIL

Ubuntu 16.04:FAIL

Ubuntu16.04: FAIL

Ubuntu 16.04:FAIL

FreeBSD 10.3:FAIL

FreeBSD 10.3:FAIL

FreeBSD 10.3:FAIL

FreeBSD10.3: FAIL

FreeBSD10.3: FAIL

FreeBSD 10.3:FAIL

FreeBSD 10.3:FAIL

FreeBSD10.3: FAIL

FreeBSD 10.3:FAIL

ANVL-OSPFV3-34.8

MUST

RFC 5340, sA.2 p59 The Options Field

The Options FieldR-bit This bit (the `Router" bit) indicates whether the originatoris an active router. ... Clearing the router bit would beappropriate for a multi-homed host that wants toparticipate in routing, but does not want to forwardnon-locally addressed packets.

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

ANVL-OSPFV3-35.1

MUST

RFC 5340, sA.3.1 p61 The OSPF packet header

The OSPF Packet HeaderPackets traversing a virtual link are labeledwith the backbone Area ID of 0.

Ubuntu 16.04:FAIL

Ubuntu 16.04:FAIL

Ubuntu 16.04:FAIL

Ubuntu16.04: FAIL

Ubuntu16.04: FAIL

Ubuntu 16.04:FAIL

Ubuntu 16.04:FAIL

Ubuntu16.04: FAIL

Ubuntu 16.04:FAIL

FreeBSD 10.3:FAIL

FreeBSD 10.3:FAIL

FreeBSD 10.3:FAIL

FreeBSD10.3: FAIL

FreeBSD10.3: FAIL

FreeBSD 10.3:FAIL

FreeBSD 10.3:FAIL

FreeBSD10.3: FAIL

FreeBSD 10.3:FAIL

of 106


OSPFV3 Results


Release2.0

Release3.0

Release2.0.2

Release3.0.2

Release3.0.3

Release4.0

Master2018-06-14

Release5.0

Release5.0.1

ANVL-OSPFV3-35.2

MUST

NEGATIVERFC 5340, sA.3.1 p61 The OSPF packet header

The OSPF Packet HeaderPackets traversing a virtual link are labeledwith the backbone Area ID of 0.

Ubuntu 16.04:FAIL

Ubuntu 16.04:FAIL

Ubuntu 16.04:FAIL

Ubuntu16.04: FAIL

Ubuntu16.04: FAIL

Ubuntu 16.04:FAIL

Ubuntu 16.04:FAIL

Ubuntu16.04: FAIL

Ubuntu 16.04:FAIL

FreeBSD 10.3:FAIL

FreeBSD 10.3:FAIL

FreeBSD 10.3:FAIL

FreeBSD10.3: FAIL

FreeBSD10.3: FAIL

FreeBSD 10.3:FAIL

FreeBSD 10.3:FAIL

FreeBSD10.3: FAIL

FreeBSD 10.3:FAIL

ANVL-OSPFV3-35.3

MUST

RFC 5340, sA.3.1 p62 The OSPF packet header

The OSPF Packet Header+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+| Checksum | Instance ID | 0 |+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+0 These fields are reserved. They must be 0.(NOTE: Here we are testing that the field following theInstance ID field is set to 0 in the OSPFv3 Packet Header)

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

ANVL-OSPFV3-36.1

MUST

RFC 5340, sA.3.2 p62 The Hello Packet

The Hello PacketAll routers connected to a common link must agree on certainparameters (HelloInterval and RouterDeadInterval). Thes eparameters are included in Hello packets allowing differencescan inhibit the forming of neighbor relationships.(This test is for HelloInterval.)

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

of 106


OSPFV3 Results


Release2.0

Release3.0

Release2.0.2

Release3.0.2

Release3.0.3

Release4.0

Master2018-06-14

Release5.0

Release5.0.1

ANVL-OSPFV3-36.2

MUST

RFC 5340, sA.3.2 p62 The Hello Packet

The Hello PacketAll routers connected to a common link must agree on certainparameters (HelloInterval and RouterDeadInterval). Theseparameters are included in Hello packets allowing differencescan inhibit the forming of neighbor relationships.(This test is for RouterDeadInterval.)

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

ANVL-OSPFV3-37.1

SHOULD

RFC 5340, sA.4.1.1 p70 Prefix Options

Prefix OptionsNU-bitThe "no unicast" capability bit. If set, the prefix should beexcluded from IPv6 unicast calculations

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

ANVL-OSPFV3-38.1

MUST

RFC 5340, sA.4.3 p75 Router-LSAs

Router-LSAsbit VWhen set, the router is an endpoint of one or more fullyadjacent virtual links having the described area as Transitarea (V is for virtual link endpoint).

Ubuntu 16.04:FAIL

Ubuntu 16.04:FAIL

Ubuntu 16.04:FAIL

Ubuntu16.04: FAIL

Ubuntu16.04: FAIL

Ubuntu 16.04:FAIL

Ubuntu 16.04:FAIL

Ubuntu16.04: FAIL

Ubuntu 16.04:FAIL

FreeBSD 10.3:FAIL

FreeBSD 10.3:FAIL

FreeBSD 10.3:FAIL

FreeBSD10.3: FAIL

FreeBSD10.3: FAIL

FreeBSD 10.3:FAIL

FreeBSD 10.3:FAIL

FreeBSD10.3: FAIL

FreeBSD 10.3:FAIL

of 106


OSPFV3 Results


Release2.0

Release3.0

Release2.0.2

Release3.0.2

Release3.0.3

Release4.0

Master2018-06-14

Release5.0

Release5.0.1

ANVL-OSPFV3-39.1

MUST

RFC 5340, sA.4.5 p77 Inter-Area-Prefix-LSAs

Inter-Area-Prefix-LSAsDefault summary routes are used in stub areas instead offlooding a complete set of external routes. When describing adefault summary route, the inter-area-prefix-LSA"s PrefixLengthis set to 0.

Ubuntu 16.04:FAIL

Ubuntu 16.04:FAIL

Ubuntu 16.04:FAIL

Ubuntu16.04: FAIL

Ubuntu16.04: FAIL

Ubuntu 16.04:FAIL

Ubuntu 16.04:FAIL

Ubuntu16.04: FAIL

Ubuntu 16.04:FAIL

FreeBSD 10.3:FAIL

FreeBSD 10.3:FAIL

FreeBSD 10.3:FAIL

FreeBSD10.3: FAIL

FreeBSD10.3: FAIL

FreeBSD 10.3:FAIL

FreeBSD 10.3:FAIL

FreeBSD10.3: FAIL

FreeBSD 10.3:FAIL

ANVL-OSPFV3-39.2

MUST

RFC 5340, sA.4.5 p78 Inter-Area-Prefix-LSAs

Inter-Area-Prefix-LSAsWhen the Inter-Area-Prefix-LSA is describing a route to a rangeof addresses (see Section C.2) the cost is set to the maximumcost to any reachable component of the address range.(Note: we are testing that the metric of nter-Area-Prefix-LSAfrom DUT will be greater than the Advertised Value)

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

ANVL-OSPFV3-40.1

SHOULD

RFC 5340, sA.4.10 p85 Intra-Area-Prefix-LSAs

Intra-Area-Prefix-LSAsIf Referenced LS type is 0x2001, the prefixes are associated with arouter-LSA, Referenced Link State ID should be 0 and ReferencedAdvertising Router should be the originating router"sRouter ID.

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

of 106


OSPFV3 Results


Release2.0

Release3.0

Release2.0.2

Release3.0.2

Release3.0.3

Release4.0

Master2018-06-14

Release5.0

Release5.0.1

ANVL-OSPFV3-40.2

SHOULD

RFC 5340, sA.4.10 p85 Intra-Area-Prefix-LSAs

Intra-Area-Prefix-LSAsIf Referenced LS type is 0x2002, the prefixes are associated with anetwork-LSA, Referenced Link State ID should be the Interface IDof the link"s Designated Router and Referenced AdvertisingRouter should be the Designated Router"s Router ID.

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

ANVL-OSPFV3-41.2

MUST

RFC 5340, sB p86 Architectural ConstantsRFC 2328, sB p218 Architectural Constants

Architectural ConstantsLSInfinity is the metric value indicating that the destinationdescribed by an LSA is unreachable. Used in summary-LSAs as analternative to premature aging. It is defined to be the 24-bitbinary value of all ones: 0xffffff.(Type 3 Summary-LSA has been renamed as Inter-Area-Prefix-LSA)

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

FreeBSD 10.3:FAIL

FreeBSD 10.3:FAIL

FreeBSD 10.3:FAIL

FreeBSD10.3: FAIL

FreeBSD10.3: FAIL

FreeBSD 10.3:FAIL

FreeBSD 10.3:FAIL

FreeBSD10.3: FAIL

FreeBSD 10.3:FAIL

ANVL-OSPFV3-41.3

MUST

RFC 5340, sB p86 Architectural ConstantsRFC 2328, sB p218 Architectural Constants

Architectural ConstantsLSInfinity is the metric value indicating that the destinationdescribed by an LSA is unreachable. Used in AS-external-LSAs as analternative to premature aging. It is defined to be the 24-bitbinary value of all ones: 0xffffff.

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

FreeBSD 10.3:FAIL

FreeBSD 10.3:FAIL

FreeBSD 10.3:FAIL

FreeBSD10.3: FAIL

FreeBSD10.3: FAIL

FreeBSD 10.3:FAIL

FreeBSD 10.3:FAIL

FreeBSD10.3: FAIL

FreeBSD 10.3:FAIL

of 106


OSPFV3 Results


Release2.0

Release3.0

Release2.0.2

Release3.0.2

Release3.0.3

Release4.0

Master2018-06-14

Release5.0

Release5.0.1

ANVL-OSPFV3-42.1

MUST

RFC 5340, sC.3 p89 Router Interface Parameters

Router Interface ParametersInstance IDThe OSPF protocol instance associated with this OSPF interface.Defaults to 0.

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

ANVL-OSPFV3-43.1

MUST

RFC 2328, s2.3 p23 Use of external routing information

RFC 2328 CompatibilityExternal routing information is flooded unaltered throughout theAS.

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

ANVL-OSPFV3-43.2

MUST

RFC 2328, s10 p81 The neighbor Data Structure

RFC 2328 CompatibilityThe initialize(I), more (M) and master(MS) bits, Options field,and DD sequence number contained in the last DatabaseDescription packet received from the neighbor are used todetermine whether the next Database Description packet receivedfrom the neighbor is a duplicate.

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

of 106


OSPFV3 Results


Release2.0

Release3.0

Release2.0.2

Release3.0.2

Release3.0.3

Release4.0

Master2018-06-14

Release5.0

Release5.0.1

ANVL-OSPFV3-43.3

MUST

NEGATIVERFC 2328, s10 p81 The neighbor Data Structure

RFC 2328 CompatibilityThe initialize(I), more (M) and master(MS) bits, Options field,and DD sequence number contained in the last DatabaseDescription packet received from the neighbor are used todetermine whether the next Database Description packet receivedfrom the neighbor is a duplicate.

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

ANVL-OSPFV3-43.4

MUST

RFC 2328, s12.2 p122 The link state database

RFC 2328 CompatibilityAn LSA is deleted from a router"s database when the routeroriginates a newer instance of one of its self-originated LSAs.(This test checks for Router-LSA)

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

ANVL-OSPFV3-43.5

MUST


RFC 2328 CompatibilityAn LSA is deleted from a router"s database when the routeroriginates a newer instance of one of its self-originated LSAs.(This test checks for Network-LSA)

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

of 106


OSPFV3 Results


Release2.0

Release3.0

Release2.0.2

Release3.0.2

Release3.0.3

Release4.0

Master2018-06-14

Release5.0

Release5.0.1

ANVL-OSPFV3-43.6

MUST


RFC 2328 CompatibilityAn LSA is deleted from a router"s database when the routeroriginates a newer instance of one of its self-originated LSAs.(This test checks for Inter-Area-Prefix-LSA)

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

ANVL-OSPFV3-43.7

MUST


RFC 2328 CompatibilityAn LSA is deleted from a router"s database when the routeroriginates a newer instance of one of its self-originated LSAs.(This test checks for Inter-Area-Router-LSA)

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

ANVL-OSPFV3-43.8

MUST


RFC 2328 CompatibilityAn LSA is deleted from a router"s database when the LSA ages out andis flushed from the routing domain.(This test is for Router-LSA)

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

of 106


OSPFV3 Results


Release2.0

Release3.0

Release2.0.2

Release3.0.2

Release3.0.3

Release4.0

Master2018-06-14

Release5.0

Release5.0.1

ANVL-OSPFV3-43.9

MUST


RFC 2328 CompatibilityAn LSA is deleted from a router"s database when the LSA agesout and is flushed from the routing domain.(This test is for Network-LSA)

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

ANVL-OSPFV3-43.10

MUST


RFC 2328 CompatibilityAn LSA is deleted from a router"s database when the LSA ages out andis flushed from the routing domain.(This test is for Inter-Area-Prefix-LSA)

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

ANVL-OSPFV3-43.11

MUST


RFC 2328 CompatibilityAn LSA is deleted from a router"s database when the LSAages out and is flushed from the routing domain.(This test is for Inter-Area-Router-LSA)

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

of 106


OSPFV3 Results


Release2.0

Release3.0

Release2.0.2

Release3.0.2

Release3.0.3

Release4.0

Master2018-06-14

Release5.0

Release5.0.1

ANVL-OSPFV3-43.12

MUST


RFC 2328 CompatibilityAn LSA is deleted from a router"s database when the LSAages out and is flushed from the routing domain.(This test is for AS-External-LSA)

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

ANVL-OSPFV3-43.13

MUST

RFC 2328, sA.3.2 p194 The Hello packet

RFC 2328 CompatibilityIf Router Priority set to 0, the router will be ineligible tobecome Backup Designated Router.(This test checks the case when router itself has RouterPriority 0)

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

ANVL-OSPFV3-43.14

MUST


RFC 2328 CompatibilityIf Router Priority set to 0, the router will be ineligible tobecome Backup Designated Router(This test checks the case when a neighbor has Router Priority 0)

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

of 106


OSPFV3 Results


Release2.0

Release3.0

Release2.0.2

Release3.0.2

Release3.0.3

Release4.0

Master2018-06-14

Release5.0

Release5.0.1

ANVL-OSPFV3-43.15

MUST


RFC 2328 CompatibilityIf Router Priority set to 0, the router will be ineligible tobecome Designated Router(This test checks the case when router itself has RouterPriority 0)

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

ANVL-OSPFV3-43.16

MUST


RFC 2328 CompatibilityIf Router Priority set to 0, the router will be ineligible tobecome Designated Router.(This test checks the case when a neighbor has Router Priority 0)

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

ANVL-OSPFV3-43.17

MUST


RFC 2328 CompatibilityIf Router Priority set to 0, the router will be ineligible tobecome Designated Router.(This test checks the case when two router has Router Priority 0)

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

of 106


OSPFV3 Results


Release2.0

Release3.0

Release2.0.2

Release3.0.2

Release3.0.3

Release4.0

Master2018-06-14

Release5.0

Release5.0.1

ANVL-OSPFV3-43.18

MUST

RFC 2328, sA.3.6 p201 The Link State Acknowledgment packet

RFC 2328 CompatibilityA Link State Acknowledgment packet is sent either to the multicastaddress AllSPFRouters, to the multicast address AllDRouters, or asa unicast(NOTE: This test is for multicast address AllSPFRouters)

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

ANVL-OSPFV3-43.19

MUST


RFC 2328 CompatibilityA Link State Acknowledgment packet is sent either to the multicastaddress AllSPFRouters, to the multicast address AllDRouters, or asa unicast(NOTE: This test is for multicast address AllDRouters)

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

Ubuntu 16.04:pass

Ubuntu16.04: pass

Ubuntu 16.04:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

FreeBSD 10.3:pass

FreeBSD10.3: pass

FreeBSD 10.3:pass

ANVL-OSPFV3-43.20

MUST


RFC 2328 CompatibilityA Link State Acknowledgment packet is sent either to the multicastaddress AllSPFRouters, to the multicast address AllDRouters, or asa unicast(NOTE: This test is for unicast address)

Ubuntu 16.04:FAIL

Ubuntu 16.04:FAIL

Ubuntu 16.04:FAIL

Ubuntu16.04: FAIL

Ubuntu16.04: FAIL

Ubuntu 16.04:FAIL

Ubuntu 16.04:FAIL

Ubuntu16.04: FAIL

Ubuntu 16.04:FAIL

FreeBSD 10.3:FAIL

FreeBSD 10.3:FAIL

FreeBSD 10.3:FAIL

FreeBSD10.3: FAIL

FreeBSD10.3: FAIL

FreeBSD 10.3:FAIL

FreeBSD 10.3:FAIL

FreeBSD10.3: FAIL

FreeBSD 10.3:FAIL

of 106


OSPFV3 Results


rfc compliance test report ospfv3 results - … · 2018-07-10 · ospf now supports the ability to...

Documents