EFSM performable test sequence generating method based on predicate dependency graph

A test sequence and dependency graph technology, applied in software testing/debugging, etc., can solve problems such as inability to guarantee test data, inability to guarantee that candidate test sequences can be executed, etc.

Active Publication Date: 2014-10-01
和宇健康科技股份有限公司
View PDF2 Cites 18 Cited by
  • Summary
  • Abstract
  • Description
  • Claims
  • Application Information

AI Technical Summary

Problems solved by technology

However, GA has its inherent disadvantages, that is, it cannot guarantee that candidate test sequences are executable; in addition, GA cannot guarantee that it can generate test data that triggers candidate test sequences to be executable.

Method used

the structure of the environmentally friendly knitted fabric provided by the present invention; figure 2 Flow chart of the yarn wrapping machine for environmentally friendly knitted fabrics and storage devices; image 3 Is the parameter map of the yarn covering machine
View more

Image

Smart Image Click on the blue labels to locate them in the text.
Viewing Examples
Smart Image
  • EFSM performable test sequence generating method based on predicate dependency graph
  • EFSM performable test sequence generating method based on predicate dependency graph
  • EFSM performable test sequence generating method based on predicate dependency graph

Examples

Experimental program
Comparison scheme
Effect test

Embodiment Construction

[0038] In order to describe the present invention more specifically, the technical solutions of the present invention will be described in detail below in conjunction with the accompanying drawings and specific embodiments.

[0039] The method for generating a guided test sequence based on an executable analysis tree in the present invention fully takes into account the relationship between transitions, rather than searching blindly.

[0040] In this embodiment, first, the transition characteristics in the EFSM model are analyzed, and a predicate dependency graph of the EFSM model is constructed. image 3 Shows figure 2 Predicate dependency graph for the shown EFSM model.

[0041] A predicate dependency graph is represented by a tuple PDS, where PDS=. In this tuple, SN represents the set of nodes in the predicate dependency graph, and TN represents the set of edges in the predicate dependency graph. exist image 3 In , each node corresponds to a transition in the EFSM mod...

the structure of the environmentally friendly knitted fabric provided by the present invention; figure 2 Flow chart of the yarn wrapping machine for environmentally friendly knitted fabrics and storage devices; image 3 Is the parameter map of the yarn covering machine
Login to view more

PUM

No PUM Login to view more

Abstract

The invention discloses an EFSM performable test sequence generating method based on a predicate dependency graph. According to the method, known performable parse tree methods are analyzed and improved, and the concept of guiding to generate a test sequence is added on the basis of an original method. According to the method, the dependency relation of transitions in an EFSM model is dug deeply, mutual influences of performability between visual display model transitions of the predicate dependency graph of the EFSM model are constructed, the searching process of performable parse trees is guided through quantification of transitions of performability prediction values, and accordingly the performable test sequence is guided and generated. The problem of state explosion can be effectively avoided, and generation stability of the test sequence is greatly improved.

Description

technical field [0001] The invention belongs to the technical field of program testing, in particular to an EFSM executable test sequence generation method based on a predicate dependency graph. Background technique [0002] Model-based protocol testing methods often generate test cases by constructing a formal protocol model, and these test cases are used to detect the consistency between protocol implementation and protocol specification, providing effective guarantee for communication quality. This type of testing is called protocol conformance testing. [0003] According to statistics, protocol testing accounts for 50% to 70% of the workload in the entire protocol development process. Therefore, how to improve the automation of protocol conformance testing has become a key issue. In recent years, the research on automatic generation method of protocol conformance test sequence has become a research hotspot in industry and academia. In the model-based protocol conforma...

Claims

the structure of the environmentally friendly knitted fabric provided by the present invention; figure 2 Flow chart of the yarn wrapping machine for environmentally friendly knitted fabrics and storage devices; image 3 Is the parameter map of the yarn covering machine
Login to view more

Application Information

Patent Timeline
no application Login to view more
Patent Type & Authority Applications(China)
IPC IPC(8): G06F11/36
Inventor 舒挺杨光辉夏劲松叶甜甜顾芒芒
Owner 和宇健康科技股份有限公司
Who we serve
  • R&D Engineer
  • R&D Manager
  • IP Professional
Why Eureka
  • Industry Leading Data Capabilities
  • Powerful AI technology
  • Patent DNA Extraction
Social media
Try Eureka
PatSnap group products

Browse by: Latest US Patents, China's latest patents, Technical Efficacy Thesaurus, Application Domain, Technology Topic.

© 2024 PatSnap. All rights reserved.Legal|Privacy policy|Modern Slavery Act Transparency Statement|Sitemap