Improvement of Peach Platform to Support GUI-Based Protocol State Modeling

This Article describes how to improve model-based testing on the Peach platform, and it could make protocol security experts and testers describe network protocol state machine models and carry on a model-based testing much easier than ever before. This paper describes:(1) the graphical user interface of protocol state machine and the process of modeling, (2) the algorithm converting protocol state machine in graphic format to SCXML format, (3) the algorithm converting protocol state machine in SCXML format to the Pit File format. The Pit File generated could be loads into Peach platform directly to test target software. The contribution of our work could ease protocol security experts from tedious and error-prone testing work: creative research work completed by them, and tedious Pit File syntax learning and debugging is accomplished by the computer. Therefore, it is possible to focus on the description of the protocol state machine, rather than the tedious Pit File syntax details, and improve their work efficiency. Besides, this method applies the SCXML as intermediate files between graphical user interface and Pit File, so that has a high flexibility.