检索结果-南通市图书馆

Semi-valid Fuzz Testing Case Generation for stateful Network Protocol

Tsinghua Science and Technology 2017年第5期22卷 458-468页

作者： Rui Ma Shuaimin Ren Ke Ma Changzhen Hu Jingfeng Xue the Beiiing Key Laboratory of Software Security Engineering Technology School of SoftwareBeijing Institute of TechnologyBering 100081China the Internet Center Institute of Communication Standard Research.China Academy of Information and Communication TechnologyBering 100191China

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.

关键词： network protocol fuzzing extended finite state machine test sequence state transition markingalgorithm semi-valid algorithm

来源：

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

An EFSM-Based Test Data Generation Approach in Model-Based Testing

引用

Computers, Materials & Continua 2022年第6期71卷 4337-4354页

作者： Muhammad Luqman Mohd-Shafie Wan Mohd Nasir Wan Kadir Muhammad Khatibsyarbini Mohd Adham Isa Israr Ghani Husni Ruslai Department of Software Engineering School of ComputingFaculty of EngineeringUniversiti Teknologi Malaysia81310Johor BahruJohorMalaysia GATES IT Solution Sdn Bhd WISMA GATESJalan Perdana 4Taman Sri Pulai Perdana 281300SkudaiJohorMalaysia

Testing is an integral part of software *** fastpaced system developments have rendered traditional testing techniques ***,automated testing techniques are needed to adapt to such system developments ***-based testing(MBT)is a technique that uses system models to generate and execute test cases *** was identified that the test data generation(TDG)in many existing model-based test case generation(MB-TCG)approaches were still *** automatic and effective TDG can further reduce testing cost while detecting more *** study proposes an automated TDG approach in MB-TCG using the extended finite state machine model(EFSM).The proposed approach integrates MBT with combinatorial *** information available in an EFSM model and the boundary value analysis strategy are used to automate the domain input classifications which were done manually by the existing *** results showed that the proposed approach was able to detect 6.62 percent more faults than the conventionalMB-TCG but at the same time generated 43 more *** proposed approach effectively detects faults,but a further treatment to the generated tests such as test case prioritization should be done to increase the effectiveness and efficiency of testing.

关键词： Model-based testing test case generation test data generation combinatorial testing extended finite state machine

来源：

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

欢迎您,

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

在线全文

在线全文

请选择保存的检索档案：

请选择收藏分类：

通借通还

欢迎您,

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

在线全文

在线全文

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：