公开(公告)号：CN103346928A

公开(公告)日：2013-10-09

申请号：CN201310274508.6

申请日：2013-07-02

Applicant: 北京邮电大学

Inventor： 张华 ,  张钊 ,  费珊珊 ,  赵凯 ,  温巧燕

IPC: H04L12/26

Abstract: 本发明公开了一种支持Peach平台断点续测的方法，该方法包括：描述Peach平台（3.0.133版本）的运行机制以及自定义变异算子的方法；在原有功能基础上增加记录测试状态的功能；详细描述对Peach源码进行扩展的实现细节。在协议测试过程中，Peach会将进度信息记录到状态文件；每次启动测试时，Peach会从状态文件中获得上次的测试进度，从而实现断点续测的功能。本发明避免了大量测试用例的重复使用以及为达到本发明同样目的而手工修改PitFile的不便之处，从而达到了简化测试工作、节省时间并提高效率的目的，且方法简单有效，便于实施操作。

公开(公告)号：CN104517056A

公开(公告)日：2015-04-15

申请号：CN201410748856.7

申请日：2014-12-09

Applicant: 北京邮电大学

Inventor： 张华 ,  张钊 ,  赵凯 ,  温巧燕

IPC: G06F21/57

CPC classification number: H04L43/18 ,  H04L43/50

Abstract: 本发明公开了一种扩展Peach平台同时测试多个网络报文字段的方法，该方法：取消了原有Peach最多只能同时测试5个字段的限制；提出递增式的字段组合测试方法，即同时对1个字段、2个字段…n-1个字段、n个字段进行测试；针对组合过程中产生的大量测试用例与有限测试时间的矛盾，即“组合爆炸”问题，允许测试人员在PitFile中 标签里设置不同级别的测试用例生成条件，有效地限制其产生的数量，从而生成更具有针对性的测试用例，极大地提高了协议安全专家的测试效率。对于熟悉Peach平台的安全专家而言，本发明简单有效，便于实施操作。

公开(公告)号：CN103324573A

公开(公告)日：2013-09-25

申请号：CN201310274663.8

申请日：2013-07-02

Applicant: 北京邮电大学

Inventor： 张华 ,  张钊 ,  王浩 ,  赵凯 ,  温巧燕

IPC: G06F11/36

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