Research on protocol modelling method based on behavior trees and its application.

To solve the problem that the existing protocol modelling method is difficult to validate and test sequence generation algorithm has high complexity and long test sequence, this paper put forward a new protocol modelling method based on behaviour trees (BT). Sequence and selection were taken as two basic control structures to model the control flow of protocol, this paper proposed a protocol verifying method based on BT, then gave the test sequence generation method based on behavior tree. A monitoring protocol was taken as an example for modeling and verifying. Firstly, it modelled the protocol by BT. Secondly, it translated the BT model into communication sequential processes (CSP) model. Thirdly, it used a process analysis toolkit (PAT) to verify the deadlock and reachability of the model. It finishied contrast analysis of test sequences at last. The results show that protocol modeling and verification can be conveniently completed by the method of this paper and it can reduce the computation complexity and the length of the test sequence. [ABSTRACT FROM AUTHOR]