基于改进变异树的工控协议模糊测试用例生成方法

针对现有应用层工控协议在模糊测试过程中用例冗余度高、测试效率低和随机性强等问题,提出一种基于改进变异树的测试用例生成方法。该方法将协议样本数据序列进行树结构化,同时提取协议规约中字段优先级信息,并利用其有效地控制树中各节点属性值的变异程度,从而达到降低测试成本、提高测试效率以及增大发掘漏洞几率的目的。实验结果表明,该测试用例生成方法对提高协议模糊测试性能具有显著的优化效果和漏洞检测能力。     

TA2/1060/5083数值模拟及试验

TA2与5083爆炸焊接界面易生成脆性金属间化合物、氧化物、连续熔化区等缺陷,焊接窗口狭窄,最佳焊接参数难以准确获得。本文重构了动态弯折角β和碰撞速度Vf的β-Vf模型,使用SPH-FEM耦合算法,首次运用Steinberg-Guinan材料本构模型进行了炸药厚度为10mm、15mm、20mm,复板厚度为1.5mm的TA2/1060/5083爆炸焊接数值模拟;并采用数值模拟获得的参数开展了爆炸焊接试验。数值模拟和试验结果高度吻合并一致表明：药厚10mm时,TA2/1060和1060/5083界面均呈优质平直状结合,药厚15mm时,1060/5083界面呈波状形貌结合,两种药厚条件下的钛-铝过渡界面均未检测到脆性金属间化合物缺陷生成;药厚20mm时,基复板材料发生破坏,不能实现复合。运用计算优化的参数成功制备了大面积TA2/1060/5083复合材料,本文为理化性能差异较大异种金属等爆炸复合问题提供了一种新的可靠算法。