A method of test case generation based on vrm model

A test case generation and model technology, applied in software testing/debugging, error detection/correction, instrumentation, etc.

Active Publication Date: 2022-05-17
NANJING UNIV OF AERONAUTICS & ASTRONAUTICS
View PDF0 Cites 0 Cited by
  • Summary
  • Abstract
  • Description
  • Claims
  • Application Information

AI Technical Summary

Problems solved by technology

[0003] Aiming at the deficiencies in the prior art, the present invention provides a test case generation method based on the VRM model, which effectively makes up for the defect that the software test in the avionics field cannot meet the demand by generating the test case from the demand model

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
  • A method of test case generation based on vrm model
  • A method of test case generation based on vrm model
  • A method of test case generation based on vrm model

Examples

Experimental program
Comparison scheme
Effect test

Embodiment Construction

[0039] The present invention is described in further detail now in conjunction with accompanying drawing.

[0040] It should be noted that terms such as "upper", "lower", "left", "right", "front", and "rear" quoted in the invention are only for clarity of description, not for Limiting the practicable scope of the present invention, and the change or adjustment of the relative relationship shall also be regarded as the practicable scope of the present invention without substantive changes in the technical content.

[0041] combine figure 1 , the present invention mentions a kind of test case generation method based on VRM model, described test case generation method comprises the following steps:

[0042] S1, preprocessing the VRM model, further classifying according to content types, and extracting corresponding test information from the divided content.

[0043] S2, for each content type, extract the constraint path and the corresponding calculation assignment statement fro...

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 test case generation method based on a VRM model, comprising: preprocessing the VRM model, further dividing according to content types, and extracting corresponding test information from the divided content; for each content type , extract the constraint path and the corresponding calculation assignment statement from the extracted test information; analyze the error type according to the constraint path; extract the corresponding test cases according to the two error types of path error and calculation error respectively. The invention can generate test cases starting from the demand model, and effectively makes up for the defect that the software test in the avionics field cannot meet the demand.

Description

technical field [0001] The invention relates to the technical field of model-based software testing, in particular to a method for generating test cases based on a VRM model. Background technique [0002] Avionics systems are typical safety-critical systems with software as the core. According to statistics, more than 80% of the avionics system functions of modern civil aircraft and military aircraft are usually realized through various avionics software, and the coding scale and software complexity are increasing rapidly. Therefore, the development of modern avionics software is a time-consuming process that requires a lot of human and material resources. In the research and development of such software projects, software verification and software testing (V&V) work accounts for about 50%-70% of software development resources. Commonly used software verification techniques include various software analysis, review and testing techniques. Relatively speaking, software tes...

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 Patents(China)
IPC IPC(8): G06F11/36
CPCG06F11/3684G06F11/3688
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

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