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
CN103530228AActive Publication Date: 2014-01-22XIDIAN UNIV
2 Cites 38 Cited by

Patent Information

Authority / Receiving Office
CN · China
Patent Type
Applications(China)
Current Assignee / Owner
XIDIAN UNIV
Publication Date
2014-01-22

Smart Images

  • Figure 1
    Figure 1
  • Figure 2
    Figure 2
  • Figure 3
    Figure 3
Patent Text Reader

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.
Need to check novelty before this filing date? Find Prior Art

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