Conformance testing of the STP-ISS protocol implementation by means of temporal logic

Abstract

The paper considers a process of conformance testing by means of computational tree temporal logic. Authors present a Kripke structure, which is STP-ISS-13 protocol implementation under test and a compilation example of temporal logic formula for a protocol requirement. Finally, the paper gives an example of error detection.

Keywords

• Conformance testing
• transport protocol
• Kripke structure
• temporal logic
• STP-ISS