IPv6/IPsec Conformance Test Management System with Formal Description Technique

摘要

To ensure the correctness of IPv6/IPsec implementations, it is very necessary to introduce the technique of "protocol testing". Secure IPsec protocol on IPv6 are possible through proper use of the Encapsulating Security Payload(ESP) header and the Authenticated Header(AH). IPv6/IPsec test tools must be able to perform a wide variety of functions to adequately test its conformance on standard and validate mechanism on IPv6 devices. In this study, we developed advanced conformance test management system on FreeBSD 4.8/5.0 with KAME kit based on the compatibility function with TAHI project. Proposed system adopts Formal Description Technique for proving its correctness on overall testing sequences and suites.