Software testing method based on model

A software testing method and model technology, applied in the testing field, to reduce redundancy, improve automation level, and be easy to maintain

Active Publication Date: 2014-01-22
XIDIAN UNIV
View PDF2 Cites 38 Cited by
  • Summary
  • Abstract
  • Description
  • Claims
  • Application Information

AI Technical Summary

Problems solved by technology

But they have their own shortcomings, and they cannot be solved by perfecting the method internally. Moreover, in the object-oriented context, the software design ideas and software structure have changed greatly compared with the traditional process-oriented software. Traditional software testing methods cannot adapt to such changes

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 testing method based on model
  • Software testing method based on model
  • Software testing method based on model

Examples

Experimental program
Comparison scheme
Effect test

Embodiment Construction

[0042] The present invention will be further described in detail below in conjunction with the drawings and embodiments.

[0043] Such as figure 1 As shown, the present invention is a model-based software testing method, and the method includes the following steps:

[0044] S1: Fully understand software requirements specifications and design documents, user manuals, understand the system under test, and determine the component under test and its functional characteristics according to the test objective. Analyze the software under test, and determine the test object and test characteristics according to the test purpose;

[0045] S2: Select and construct a UML model, which expresses all possible behaviors expressed by the requirements; through the system characteristics of the software and the characteristics of each model, select and establish a suitable model as a model for test case generation.

[0046] S3: Model verification:

[0047] Based on the modeling idea of ​​combining forma...

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

A software testing method based on a model includes the following steps that S1, software to be tested is analyzed, and a test object and test characteristics are determined; S2, a UML model is selected and constructed; S3, verification is performed on the UML model, and correctness of the UML model is guaranteed; S4, traversal is performed on the UML model through a depth-first search algorithm, a test case is automatically generated, a relevant coverage rate is calculated according to sufficiency criteria such as a statement coverage criterion, a judgment coverage criterion, a condition coverage criterion and a route coverage criterion, so that assessment of the test case is finished; S5, a test script is generated according to a program to be tested and the test case obtained through the UML model, the test script is automatically executed, and an actual output result obtained through execution of the test script is stored; S6, according to comparison between actual output and anticipated output of the test case, a test result is obtained, and then according to the test object and a preset stopping criterion, whether the model or the program to be tested needs to be modified or not is determined.

Description

Technical field [0001] The invention relates to the technical field of testing, and specifically is a model-based software testing method. Background technique [0002] In recent years, with the rapid development of computer software and hardware technology, a variety of software systems have emerged, and all walks of life in society have become more and more dependent on software systems, and the scale of software systems has become larger and more complex. It is also getting higher and higher, and the quality requirements for software systems are becoming more important. Software testing and verification are the most basic and important means to ensure software correctness and improve software reliability. In order to minimize the time and energy spent on software product testing, a large number of research institutions have begun to invest in software testing methods and testing tools. At present, a key and extremely difficult problem in the field of software testing is how ...

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 XIDIAN UNIV
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