一种基于GUI协议状态机建模的Peach平台扩展方法

摘要

本发明公开了一种扩展Peach平台中基于模型测试的方法，该方法：描述协议状态机的图形用户界面以及建模过程；图形格式的协议状态机到SCXML格式的状态机之间的转换；SCXML格式的状态机到Peach内部PitFile状态机之间的转换。本发明分离了协议测试过程中不同性质的工作：创造性的研究工作由协议安全专家完成，繁琐的PitFile语法学以及机械的PitFile文件编写工作由计算机实现，从而极大的提高了协议安全专家的工作效率。此外，由于本方法采用SCXML作为中间文件关联图形用户界面与PitFile，因此具有很强的扩展性，该方法简单有效，便于实施操作。

主权项

基于GUI协议状态机建模的Peach平台扩展方法，其特征在于，包括：提供用于描述协议状态机的图形用户界面，该界面定义了状态迁移的触发条件以及每个状态的约束和属性等；触发条件是指收到或发出的特定报文，每个报文存储成单独的XML文件，文件名是报文名称，文件内容与wireshark风格类似，支持嵌套和并列结构；提供图形格式的状态机到SCXML语法描述状态机的转换算法；提供SCXML描述状态机和XML描述网络报文到Peach内部PitFile状态机的转换算法。根据用户在图形界面下描述的协议状态机以及各状态的约束和属性，自动生成等价的PitFile文件。协议安全专家可以用生成的PitFile文件直接在Peach平台上对网络软件进行基于模型的测试，从而避免了直接编写PitFile文件的繁琐工作。