Title: 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.
Publication Year: 2018
Publication Date: 2018-11-01
Language: en
Type: article
Indexed In: ['crossref']
Access and Citation
Cited By Count: 1
AI Researcher Chatbot
Get quick answers to your questions about the article from our AI researcher chatbot