Formal language Event-B-based software test method for demand retrieval library

A software testing method and retrieval library technology, applied in software testing/debugging, error detection/correction, instruments, etc., can solve problems such as difficult reuse of test cases, large differences in requirements of different software projects, and non-universal test cases, etc., to achieve The effects of reducing software testing work, reducing intensity, and improving testing capabilities

Active Publication Date: 2018-05-29
CHINA HELICOPTER RES & DEV INST
View PDF3 Cites 2 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
  • Formal language Event-B-based software test method for demand retrieval library

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 invention relates to the technical field of software testing, in particular to a formal language Event-B-based software test method for a demand retrieval library. The method comprises the following steps of decomposing software development demands into atomic demands; establishing a set of standard sentence pattern used for describing the atomic demands by using the language Event-B; when newsoftware test demands are obtained, rewriting the new demands into normal forms of an abstract machine and a context, and performing a search in a demand relationship library; and sorting test cases,and establishing the many-to-one demand relationship library of the test cases and the demands. According to the formal language Event-B-based software test method for the demand retrieval library, the software development demands are decomposed into the atomic demands, and the test cases of the demands searched in the demand relationship library are directly used, so that the reuse of the test cases is achieved; the test work intensity is reduced; and along with the development of test work, the test ability of test personnel is improved and the test experience is 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 Applications(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