Network protocols are divided into stateless and stateful. Stateful network protocols have complex communication interactions and state transitions. However, the existing network protocol fuzzing does not support stat...Network protocols are divided into stateless and stateful. Stateful network protocols have complex communication interactions and state transitions. However, the existing network protocol fuzzing does not support state transitions very well. This paper focuses on this issue and proposes the Semi-valid Fuzzing for the Stateful Network Protocol （SFSNP）. The SFSNP analyzes protocol interactions and builds an extended finite state machine with a path marker for the network protocol; then it obtains test sequences of the extended finite state machine, and further performs the mutation operation using the semi-valid algorithm for each state transition in the test sequences; finally, it obtains fuzzing sequences. Moreover, because different test sequences may have the same state transitions, the SFSNP uses the state transition marking algorithm to reduce redundant test cases. By using the stateful rule tree of the protocol, the SFSNP extracts the constraints in the protocol specifications to construct semi-valid fuzz testing cases within the sub-protocol domain, and finally forms fuzzing sequences. Experimental results indicate that the SFSNP is reasonably effective at reducing the quantity of generated test cases and improving the quality of fuzz testing cases. The SFSNP can reduce redundancy and shorten testing time.展开更多
本文针对小型启停式冷水机组建立了变水流量条件下的半物理模型,并对相关参数进行了辨识。该模型可根据蒸发器冷冻水进口水温、流经蒸发器的冷冻水流量、冷凝器冷却水进口水温、流经冷凝器的冷却水流量,对压缩机输入功率、制冷量、冷冻...本文针对小型启停式冷水机组建立了变水流量条件下的半物理模型,并对相关参数进行了辨识。该模型可根据蒸发器冷冻水进口水温、流经蒸发器的冷冻水流量、冷凝器冷却水进口水温、流经冷凝器的冷却水流量,对压缩机输入功率、制冷量、冷冻水出口水温、冷却水出口水温进行模拟。模型预测的机组功率平均相对误差为1.02%。冷却水出水温度平均误差为0.16℃,冷冻水出水温度平均误差为0.10℃,制冷量平均误差为0.21 k W,相对误差为1.58%。展开更多
基金supported by the National Key R&D Program of China(No.2016YFB0800700)
文摘Network protocols are divided into stateless and stateful. Stateful network protocols have complex communication interactions and state transitions. However, the existing network protocol fuzzing does not support state transitions very well. This paper focuses on this issue and proposes the Semi-valid Fuzzing for the Stateful Network Protocol （SFSNP）. The SFSNP analyzes protocol interactions and builds an extended finite state machine with a path marker for the network protocol; then it obtains test sequences of the extended finite state machine, and further performs the mutation operation using the semi-valid algorithm for each state transition in the test sequences; finally, it obtains fuzzing sequences. Moreover, because different test sequences may have the same state transitions, the SFSNP uses the state transition marking algorithm to reduce redundant test cases. By using the stateful rule tree of the protocol, the SFSNP extracts the constraints in the protocol specifications to construct semi-valid fuzz testing cases within the sub-protocol domain, and finally forms fuzzing sequences. Experimental results indicate that the SFSNP is reasonably effective at reducing the quantity of generated test cases and improving the quality of fuzz testing cases. The SFSNP can reduce redundancy and shorten testing time.
文摘本文针对小型启停式冷水机组建立了变水流量条件下的半物理模型,并对相关参数进行了辨识。该模型可根据蒸发器冷冻水进口水温、流经蒸发器的冷冻水流量、冷凝器冷却水进口水温、流经冷凝器的冷却水流量,对压缩机输入功率、制冷量、冷冻水出口水温、冷却水出口水温进行模拟。模型预测的机组功率平均相对误差为1.02%。冷却水出水温度平均误差为0.16℃,冷冻水出水温度平均误差为0.10℃,制冷量平均误差为0.21 k W,相对误差为1.58%。
