Conformance Tester for STP-ISS Protocol Implementation Based on Formal Model

Abstract

This paper presents Software-to-hardware Tester, intended for conformance testing of STP-ISS-13 protocol implementation. This Tester is based on a formal model. As formal model authors used a Kripke structure. Paper considers a process of conformance testing by means of computational tree temporal logic and a compilation example of temporal logic formula for a protocol requirement.