Software test case automatic generating method

A software testing and automatic generation technology, applied in software testing/debugging, program control devices, etc., can solve the problem that the model structure information has not established specific rules and standards, cannot comprehensively reflect the software quality, and the content has not been reflected in the test case set in time. And other issues

Inactive Publication Date: 2011-09-07
NANJING UNIV OF AERONAUTICS & ASTRONAUTICS
View PDF2 Cites 24 Cited by
  • Summary
  • Abstract
  • Description
  • Claims
  • Application Information

AI Technical Summary

Problems solved by technology

[0008] (3) The collection of structural information of the built model has not established specific rules and standards, which is not conducive to the analysis and verification of the model;
[0009] (4) There is no clear evaluation mechanism for the built model, that is, there is no way to evaluate the rationality of the model itself, which directly affects the effectiveness of test cases;
[0010] (5) There are too many steps of human participation, and more relevant professional knowledge is required to implement the corresponding method;
[0011] (6) The obtained test cases do not have a relatively complete evaluation mechanism
Under the new model, the test case coverage analysis mostly follows the traditional method, and the indicators are relatively single, which cannot fully reflect the quality of the software;
[0012] (7) The test case management mechanism is lacking, and the revised content based on the performance analysis of the test cases is not reflected in the test case collection in time, and the effect of gradual optimization cannot be achieved

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
  • Software test case automatic generating method
  • Software test case automatic generating method
  • Software test case automatic generating method

Examples

Experimental program
Comparison scheme
Effect test

test Embodiment 1

[0191] (1) The present invention proposes a strict formal method to automatically generate test cases. The Petri net used is a fully formalized language, using a graphical language with formal semantics. Compared with other non-formal and semi-formal methods, the consistency of the test cases generated is better, and it is more complete and systematic than the existing technology. A method for generating and managing software test cases.

[0192] (2) The present invention adopts a componentized method to build a model, so as to facilitate the collection of model structure information and the analysis of the model. At the same time, the method of node merging and detail masking is proposed to reduce the scale of the system.

[0193] (3) The present invention applies Petri net theory to model analysis and verification. Petri net theory has a complete analysis theory, such as deadlock, liveness, boundedness, accessibility, etc. Through the analysis of these model properties, pr...

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 a software test case automatic generating method, belonging to the technical field of software test automation. The method comprises the following steps: 1, in the first phase, establishing a component Petri network model on the basis of a tested object, wherein three objects, namely a structured language program, requirement or scene based description and a object oriented program are taken in the first phase); 2, in the second phase, collecting and storing fore-set and post-set of places and changes in a Petri net (PN) model and related information of initialized condition and other model structures by utilizing an appropriate data structure; 3, in the third phase, analyzing and verifying the model (deadlock, activity, boundedness, accessibility and the like) by adopting a proper algorithm according to the information collected in the second phase; 4, in the fourth phase, generating a test case; 5, in the fifth phase, analyzing the test case according to different coverage rate indexes; and 6, in the sixth phase, comprehensively analyzing according to the original requirement and quality requirement of a user so as to re-generate a test case set in accordance with the requirements.

Description

technical field [0001] The invention relates to a method for automatically generating software test cases based on Petri net, which belongs to the technical field of software test automation. Background technique [0002] Software testing is an important means to ensure the correctness of the software system. It finds errors in the software by running selected test cases, and makes the quality of the software meet the requirements by correcting the errors. The key problem of software testing is to construct a reasonable and limited set of test cases, which can cover the problem space of the software under test as much as possible. The generation of software test data occupies a large proportion in the time and cost of software system development. However, the manual selection method mainly used at present has a large workload, a long test cycle, is prone to omissions, and has low utility. Therefore, if there is a way to make this selection process It would be of great value...

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): G06F9/44G06F11/36
Inventor 刘久富孙琳杨振兴李金奎娄坚波王伟
Owner NANJING UNIV OF AERONAUTICS & ASTRONAUTICS
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