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

Path-based method and system for verifying software implementation and design uniformity

A technology for software implementation and verification methods, applied in software testing/debugging and other directions to improve the efficiency of consistency verification and enrich software testing methods

Inactive Publication Date: 2015-01-28
牟永敏 +1
View PDF3 Cites 5 Cited by
  • Summary
  • Abstract
  • Description
  • Claims
  • Application Information

AI Technical Summary

Problems solved by technology

[0005] The technical problem to be solved by the present invention is to provide a path-based software implementation and design consistency verification method and system for solving the technical problems of software implementation and design consistency verification

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
  • Path-based method and system for verifying software implementation and design uniformity
  • Path-based method and system for verifying software implementation and design uniformity
  • Path-based method and system for verifying software implementation and design uniformity

Examples

Experimental program
Comparison scheme
Effect test

Embodiment Construction

[0019] The principles and features of the present invention are described below in conjunction with the accompanying drawings, and the examples given are only used to explain the present invention, and are not intended to limit the scope of the present invention.

[0020] The invention establishes a model based on the function call path, and considers that a function call path in software implementation realizes a function of the software system. Based on this idea, first redefine the function call relationship diagram with function description and the function call path with function description, that is, define the system function relationship diagram and system function path.

[0021] System function relationship diagram: each function in the system performs a certain function, and the call relationship between functions indicates the relationship between function points in the system. The system function relationship can be expressed as a directed graph G=, Among them, V i...

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 path-based method and system for verifying software implementation and design uniformity. The method includes: generating a design function calling relation diagram according to a software design instruction, generating a design function calling path according to the design function calling relation diagram, establishing a design function cluster model of a software system under testing according to the design function calling path, generating an actual function calling relation graph on basis of a source code, generating an actual function calling path according to the actual function calling relation graph, extracting functions from the source code on basis of function features, refilling the actual function calling path, establishing an actual function cluster model of the software system under testing according to the actual function calling path, comparing the design function cluster model with the actual function cluster model, and verifying whether or not the functions of the software system under testing meet the demands in the software design instruction.

Description

technical field [0001] The invention relates to the technical field of software testing, in particular to a path-based method and system for verifying the consistency of software implementation and design. Background technique [0002] In the past few decades, the number of software has increased sharply. At the same time, the amount of code and code complexity of software have continued to increase, and the complexity of software testing has also continued to increase. A large number of software products have led to the need for efficient completion of software testing and automation. Advanced testing tools have become an urgent need for software testing. The consistency verification of software implementation and design refers to verifying whether the function realization of the completed software system is completed according to the requirements of the software design specification, which is a very important test work. Black-box testing can only ensure that the software ...

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
Inventor 牟永敏
Owner 牟永敏
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