Supercharge Your Innovation With Domain-Expert AI Agents!

Specification and program domain analysis based software test method

A software testing method and domain analysis technology, applied in the field of software testing, can solve problems such as object-oriented software cannot provide support, achieve good use value, simplify source programs, and improve analysis efficiency

Inactive Publication Date: 2016-05-11
LANGCHAO ELECTRONIC INFORMATION IND CO LTD
View PDF0 Cites 1 Cited by
  • Summary
  • Abstract
  • Description
  • Claims
  • Application Information

AI Technical Summary

Problems solved by technology

Because the object-oriented programming language provides mechanisms such as data abstraction, inheritance, polymorphism and dynamic binding, traditional software testing methods and testing tools can no longer provide good support for object-oriented software H[amrld92, Kung93]

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

Examples

Experimental program
Comparison scheme
Effect test

Embodiment Construction

[0010] A specification-based and program domain analysis-based software testing method of the present invention will be described in detail below.

[0011] The software testing method based on specification and program domain analysis of the present invention determines the input variable operation domain by performing data flow analysis and correlation analysis on the source program. Using program slicing technology to perform static program slicing based on input variables, and eliminate statements and functions that have nothing to do with input variables, which simplifies source programs and improves analysis efficiency. At the same time, for some special expressions (expressions that are related to input variables and have special value requirements, such as expressions as divisors or as actual parameters of some standard functions sqrt(), log(), acos(), asin() etc., require the input variables to take values ​​within a certain range. The C program running domain automati...

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 provides a specification and program domain analysis based software test method. By performing data flow analysis and correlative analysis on a source program, an operational domain of an input variable is determined; by adopting a program slicing technology, input variable based static program slicing is performed, and statements and functions unrelated to the input variable are deleted, so that the source program is simplified and the analysis efficiency is improved; and for certain special expressions, namely, the expressions related to the input variable and having special value-taking requirements, the value of the input variable is required to be taken in a certain range. Compared with the prior art, the method has extensive applicability and is indeed feasible. The realization of a system lays a foundation for subsequent research of the invention.

Description

technical field [0001] The invention relates to the technical field of software testing, in particular to a software testing method based on specification and program domain analysis. Background technique [0002] The analysis and design methods of object-oriented software are helpful to construct a good software system structure, and its programming language is conducive to improving the reusability, scalability, interoperability and feasibility of software, but how to improve software quality is still a software problem. A major problem in engineering. Since the object-oriented programming language provides mechanisms such as data abstraction, inheritance, polymorphism and dynamic binding, traditional software testing methods and testing tools cannot provide good support for object-oriented software H[amrld92, Kung93]. There is an urgent need to develop an object-oriented software testing method suitable for classes, inheritance and dynamic binding. Aiming at the charact...

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
IPC IPC(8): G06F11/36
CPCG06F11/3608
Inventor 牛圆圆
Owner LANGCHAO ELECTRONIC INFORMATION IND CO LTD
Features
  • R&D
  • Intellectual Property
  • Life Sciences
  • Materials
  • Tech Scout
Why Patsnap Eureka
  • Unparalleled Data Quality
  • Higher Quality Content
  • 60% Fewer Hallucinations
Social media
Patsnap Eureka Blog
Learn More

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

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