Conformance testing of the STP-ISS protocol implementation by means of temporal logic
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 e...
| Main Authors: | , , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
FRUCT
2017-11-01
|
| Series: | Proceedings of the XXth Conference of Open Innovations Association FRUCT |
| Subjects: | |
| Online Access: | https://fruct.org/publications/fruct21/files/Chu.pdf
|