Conformance Testing of the STP-ISS Protocol Implementation by Means of Temporal Logic

被引：0
|
作者：
Chumakova, Nadezhda [1 ]
Olenev, Valentin [1 ]
Lavrovskaya, Irina [1 ]
机构：
[1] St Petersburg State Univ Aerosp Instrumentat, St Petersburg, Russia
来源：
PROCEEDINGS OF THE 2017 21ST CONFERENCE OF OPEN INNOVATIONS ASSOCIATION (FRUCT) | 2017年
关键词：
D O I：
暂无
中图分类号：
TP3 [计算技术、计算机技术];
学科分类号：
0812 ;
摘要：
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.
引用
收藏
页码：71 / 78
页数：8
相关论文
共 11 条
  • [1] Conformance Tester for STP-ISS Protocol Implementation Based on Formal Model
    Chumakova, N. Y.
    Olenev, V. L.
    [J]. 2018 WAVE ELECTRONICS AND ITS APPLICATION IN INFORMATION AND TELECOMMUNICATION SYSTEMS (WECONF), 2018,
  • [2] STP-ISS Transport Protocol for Spacecraft On-board Networks
    Sheynin, Yuriy
    Lavrovskaya, Irina
    Olenev, Valentin
    Korobkov, Ilya
    Dymov, Dmitry
    Kochura, Sergey
    [J]. PROCEEDINGS OF THE 2014 6TH INTERNATIONAL SPACEWIRE CONFERENCE (SPACEWIRE), 2014,
  • [3] Scheduling-Table's Design for STP-ISS Transport Protocol
    Korobkov, I. L.
    Chumakova, N. Y.
    [J]. 2019 WAVE ELECTRONICS AND ITS APPLICATION IN INFORMATION AND TELECOMMUNICATION SYSTEMS (WECONF), 2019,
  • [4] STP-ISS Transport Protocol Application for SpaceFibre On-Board Networks
    Dymov, Dmitry
    Sheynin, Yuriy
    Olenev, Valentin
    [J]. 2020 7TH INTERNATIONAL CONFERENCE ON CONTROL, DECISION AND INFORMATION TECHNOLOGIES (CODIT'20), VOL 1, 2020, : 914 - 919
  • [5] Software-to-Hardware Tester for the STP-ISS transport protocol verification
    Olenev, Valentin
    Lavrovskaya, Irina
    Chumakova, Nadezhda
    [J]. 2015 ARTIFICIAL INTELLIGENCE AND NATURAL LANGUAGE AND INFORMATION EXTRACTION, SOCIAL MEDIA AND WEB SEARCH FRUCT CONFERENCE (AINL-ISMW FRUCT), 2015, : 60 - 66
  • [6] Second Revision of the STP-ISS Transport Protocol for On-Board SpaceWire Networks
    Sheynin, Yuriy
    Olenev, Valentin
    Lavrovskaya, Irina
    Korobkov, Ilya
    Kochura, Sergey
    Openko, Sergey
    Dymov, Dmitry
    [J]. PROCEEDINGS OF THE 17TH CONFERENCE OF OPEN INNOVATIONS ASSOCIATION FRUCT, 2015, : 192 - 200
  • [7] Implementation and-conformance testing of Bluetooth SDP Protocol
    Huang, CH
    Xiao, Y
    Zhou, DT
    [J]. 2002 IEEE REGION 10 CONFERENCE ON COMPUTERS, COMMUNICATIONS, CONTROL AND POWER ENGINEERING, VOLS I-III, PROCEEDINGS, 2002, : 1221 - 1224
  • [8] Testing an implementation of a temporal logic language
    Sánchez, MA
    Augusto, JC
    [J]. XX INTERNATIONAL CONFERENCE OF THE CHILEAN COMPUTER SCIENCE SOCIETY - PROCEEDINGS, 2000, : 68 - 73
  • [9] Design and implementation of system under test for LTE protocol conformance testing
    Chen, Yin
    Ding, Zhizhong
    Wang, Dingliang
    Huang, Teng
    [J]. Journal of Communications, 2015, 10 (02): : 145 - 153
  • [10] FINITE STATE MACHINE BASED FORMAL METHODS IN PROTOCOL CONFORMANCE TESTING - FROM THEORY TO IMPLEMENTATION
    BOSIK, BS
    UYAR, MU
    [J]. COMPUTER NETWORKS AND ISDN SYSTEMS, 1991, 22 (01): : 7 - 33
12