Looking for breakthrough ideas for innovation challenges? Try Patsnap Eureka!

Method and system for realizing white box testing of computer software

A technology of white-box testing and implementation method, applied in the field of computer software, can solve the problem of undiscovered independent pair collection, etc., and achieve the effect of avoiding test cases, high efficiency, and cost reduction

Active Publication Date: 2012-04-18
INST OF COMPUTING TECH CHINESE ACAD OF SCI
View PDF0 Cites 0 Cited by
  • Summary
  • Abstract
  • Description
  • Claims
  • Application Information

AI Technical Summary

Problems solved by technology

There is no direct solution to such a minimal (or optimal) set of independent pairs

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
  • Method and system for realizing white box testing of computer software
  • Method and system for realizing white box testing of computer software
  • Method and system for realizing white box testing of computer software

Examples

Experimental program
Comparison scheme
Effect test

Embodiment Construction

[0052] The present invention will be described in further detail below in conjunction with the accompanying drawings.

[0053] In a decision, no matter what solution method is used, the number of independent pairs of each condition may be relatively large in the final result (especially when the masking method is used to solve), as shown in the attached figure 1 (A pair of numbers in parentheses correspond to the index values ​​in the judgment truth table, each index value represents a combination of Boolean values ​​for each condition, called a use case (case), which is consistent with the actual generated different test cases). As mentioned above, in the MC / DC test, test cases are generated according to the solution results of independent pairs, but since generating test cases itself is a complicated process, and there are many results of independent pairs, if two pairs of independent pairs are generated for each independent pair test cases, it is bound to greatly increase ...

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

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

Application Information

Patent Timeline
no application Login to View More
Patent Type & Authority Patents(China)
IPC IPC(8): G06F11/36
Inventor 陈聪明李丰冯晓兵霍玮
Owner INST OF COMPUTING TECH CHINESE ACAD OF SCI
Who we serve
  • R&D Engineer
  • R&D Manager
  • IP Professional
Why Patsnap Eureka
  • Industry Leading Data Capabilities
  • Powerful AI technology
  • Patent DNA Extraction
Social media
Patsnap Eureka Blog
Learn More
PatSnap group products

Browse by: Latest US Patents, China's latest patents, Technical Efficacy Thesaurus, Application Domain, Technology Topic, Popular Technical Reports.

© 2024 PatSnap. All rights reserved.Legal|Privacy policy|Modern Slavery Act Transparency Statement|Sitemap|About US| Contact US: help@patsnap.com