Method and system for realizing white box testing of computer software

A technology of white-box testing and implementation methods, applied in the field of computer software, can solve problems such as undiscovered independent pair sets, and achieve the effects of avoiding test cases, high efficiency, and reducing costs
CN101710305AActive Publication Date: 2010-05-19INST OF COMPUTING TECH CHINESE ACAD OF SCI
0 Cites 10 Cited by

Patent Information

Authority / Receiving Office
CN ยท China
Current Assignee / Owner
INST OF COMPUTING TECH CHINESE ACAD OF SCI
Publication Date
2010-05-19

Smart Images

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

Abstract

The invention relates to a method and a system for realizing the white box testing of computer softwares. The realization method comprises the following steps: (1) resolving and judging the independent pair of each condition in a Boolean expression; (2) resolving and judging minimum independent pair ensemble based on the independent pairs corresponding to each condition and resolving and judging a reference case ensemble formed by the minimum independent pair sets; (3) selecting one minimum independent pair ensemble in the reference case ensemble and generating a test case ensemble corresponding to the minimum independent pair case ensemble, wherein the test case ensemble is a minimum test ensemble; and (4) carrying out modification condition / decision coverage test on a source program by the minimum test ensemble. The invention can reduce the cost of the modification condition / decision coverage (MC / DC) test and avoid the processes of generating a large number of test cases and simplifying the test cases.
Need to check novelty before this filing date? Find Prior Art

Description

technical field

[0001] The invention relates to the field of computer software, in particular to a method and system for realizing white-box testing of computer software. Background technique

[0002] Software testing is an important link in software engineering. Due to different testing objectives, there are different testing standards. Modified Condition / Decision Coverage (MC / DC for short) is a test standard in logic coverage testing technology in the field of software white box testing. This standard was first proposed in 1994 by two engineers, John Joseph Chilenski and Steven P. Miller, in the DO-178B standard. The DO-178B standard was formulated by the Aeronautical Radio Technology Association, and the US Federal Aviation Administration uses it to test all newly developed aviation software. Today, it has become a widely used test standard in aviation software and software testing in key safety fields. The meaning of MC / DC is clarified in DO-178B: For critical real-tim...

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