A Software Testing Method Based on Requirement Retrieval Library of Formal Language event-b

A software testing method and technology for retrieving libraries, applied in software testing/debugging, error detection/correction, instruments, etc., can solve problems such as difficulty in reusing test cases, inability to use test cases in general, and large differences in the requirements of different software projects. The effect of reducing the software testing work, reducing the intensity, and improving the testing ability

Active Publication Date: 2021-07-23
CHINA HELICOPTER RES & DEV INST
View PDF3 Cites 0 Cited by
  • Summary
  • Abstract
  • Description
  • Claims
  • Application Information

AI Technical Summary

Problems solved by technology

[0003] In the software testing process, the writing of test cases occupies a large part of the testing workload. After many projects, the testing ability of software testers has been improved, but the test cases have not been accumulated. The test cases written by personnel cannot be used universally, and the requirements of different software projects are also very different, which makes it difficult for the test cases of one project to be reused in other software test projects

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 Software Testing Method Based on Requirement Retrieval Library of Formal Language event-b

Examples

Experimental program
Comparison scheme
Effect test

Embodiment Construction

[0019] In order to make the objectives, technical solutions and advantages of the present invention clearer, the technical solutions in the embodiments of the present invention will be described in more detail below in conjunction with the drawings in the embodiments of the present invention. In the drawings, the same or similar reference numerals denote the same or similar elements or elements having the same or similar functions throughout. The described embodiments are some, but not all, embodiments of the invention. The embodiments described below by referring to the figures are exemplary and are intended to explain the present invention and should not be construed as limiting the present invention. Based on the embodiments of the present invention, all other embodiments obtained by persons of ordinary skill in the art without creative efforts fall within the protection scope of the present invention. Embodiments of the present invention will be described in detail below ...

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 present invention relates to the technical field of software testing, in particular to a software testing method based on a formal language Event-B requirement retrieval library, comprising the following steps: decomposing software development requirements into atomic requirements; using Event-B language to establish a set of A standard sentence pattern used to describe atomic requirements; when new software testing requirements are obtained, rewrite the new requirements into the paradigm of abstract machine and context, and search in the requirement relationship library; sort out test cases, establish test cases and A many-to-one demand relationship library. The software testing method of the demand retrieval library based on the formal language Event-B of the present invention decomposes the software development requirements into atomic requirements, and directly uses the test cases of the requirements searched in the demand relationship library, thereby achieving the reuse of test cases ; Reduced the intensity of the testing work; with the development of the testing work, not only the testing ability of the testers has been improved, but also the testing experience has been accumulated.

Description

technical field [0001] The invention relates to the technical field of software testing, in particular to a software testing method based on a formal language Event-B requirement retrieval library. Background technique [0002] The standard software testing process is that software testers decompose the requirements after receiving the software development requirements, and then write test cases according to the software requirements one by one, and start the software testing work. At present, domestic software testers follow this testing process to perform testing work. [0003] In the software testing process, the writing of test cases occupies a large part of the testing workload. After many projects, the testing ability of software testers has been improved, but the test cases have not been accumulated. The test cases written by personnel cannot be universal, and the requirements of different software projects are also very different, which makes it difficult for the te...

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 CHINA HELICOPTER RES & DEV INST
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