Abstract
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.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a callDisclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.
