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

CN108089980BActive Publication Date: 2021-07-23CHINA HELICOPTER RES & DEV INST
3 Cites 0 Cited by

Patent Information

Authority / Receiving Office
CN · China
Patent Type
Patents(China)
Current Assignee / Owner
Publication Date
2021-07-23

Smart Images

  • Figure 1
    Figure 1
Patent Text Reader

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

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...

Examples

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 ...