TY - GEN
T1 - A protocol reverse test scenario choreography method for CPS
AU - Li, Hongman
AU - Yang, Dongli
AU - Gou, Xiaodong
AU - Yang, Shunkun
N1 - Publisher Copyright:
© ESREL2020-PSAM15 Organizers.Published by Research Publishing, Singapore.
PY - 2020
Y1 - 2020
N2 - Cyber-Physical Systems are gradually being applied to various industries in society. Due to their large scale and complex structure, it is necessary to conduct sufficient tests before formal deployment to ensure system reliability. However, due to the complexity of the system, the protocols and operational environments that different communication entities must follow when communicating are complex and diverse, so the convenient scheduling of test scenarios becomes more important. This paper proposes a visual test scenario choreography method based on protocol reverse construction, which can obtain information by recording basic operations, and then graphically arrange actions according to the acquired data to generate more complex test scenarios to be tested. Visual test scenario choreography can also improve test efficiency. The system is thoroughly tested. We conducted experiments on the Raspberry PI 3B+ smart car. We obtained the initial test file of raspberry PI 3B+ smart car through protocol reverse technology based on instructions, and generated a new test file through visual scenario choreography. The experimental results show that our method can play a role in the scenario where the protocol of the system under test is unknown, and the graphical test scenario choreography can also speed up the test. The method provides useful insights for researchers in related fields to help them deploy their own tests.
AB - Cyber-Physical Systems are gradually being applied to various industries in society. Due to their large scale and complex structure, it is necessary to conduct sufficient tests before formal deployment to ensure system reliability. However, due to the complexity of the system, the protocols and operational environments that different communication entities must follow when communicating are complex and diverse, so the convenient scheduling of test scenarios becomes more important. This paper proposes a visual test scenario choreography method based on protocol reverse construction, which can obtain information by recording basic operations, and then graphically arrange actions according to the acquired data to generate more complex test scenarios to be tested. Visual test scenario choreography can also improve test efficiency. The system is thoroughly tested. We conducted experiments on the Raspberry PI 3B+ smart car. We obtained the initial test file of raspberry PI 3B+ smart car through protocol reverse technology based on instructions, and generated a new test file through visual scenario choreography. The experimental results show that our method can play a role in the scenario where the protocol of the system under test is unknown, and the graphical test scenario choreography can also speed up the test. The method provides useful insights for researchers in related fields to help them deploy their own tests.
KW - Cyber-Physical System
KW - Protocol reverse construction
KW - Raspberry PI 3B+ smart car
KW - Scenario choreography
KW - System reliability
KW - Visual
UR - https://www.scopus.com/pages/publications/85107261661
U2 - 10.3850/978-981-14-8593-0_4434-cd
DO - 10.3850/978-981-14-8593-0_4434-cd
M3 - 会议稿件
AN - SCOPUS:85107261661
SN - 9789811485930
T3 - Proceedings of the 30th European Safety and Reliability Conference and the 15th Probabilistic Safety Assessment and Management Conference
SP - 333
EP - 340
BT - Proceedings of the 30th European Safety and Reliability Conference and the 15th Probabilistic Safety Assessment and Management Conference
A2 - Baraldi, Piero
A2 - Di Maio, Francesco
A2 - Zio, Enrico
PB - Research Publishing, Singapore
T2 - 30th European Safety and Reliability Conference, ESREL 2020 and 15th Probabilistic Safety Assessment and Management Conference, PSAM15 2020
Y2 - 1 November 2020 through 5 November 2020
ER -