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

Static analysis auxiliary method

A technology of static analysis and static analysis tools, applied in the direction of instrumentation, electrical digital data processing, calculation, etc., can solve the problems of increased evaluation workload, redundant reading information, and rules that do not apply to user coding requirements, etc., to save time cost and labor cost, improve the quality of testing work, and reduce the effect of software quality risk

Inactive Publication Date: 2019-02-26
北京京航计算通讯研究所
View PDF1 Cites 2 Cited by
  • Summary
  • Abstract
  • Description
  • Claims
  • Application Information

AI Technical Summary

Problems solved by technology

[0005] 2) The static analysis tools Klocwork, QAC, and TestBed are all developed by foreign companies, and the rule sets basically adopt the MISRA standard, and there are a large number of rules that do not apply to the user's coding requirements
As a result, there will be redundant reading information in the static analysis results of each static analysis tool, which is not conducive to improving test efficiency
[0006] 3) At present, software testing generally needs to use multiple software for static analysis at the same time, which leads to both repeated parts and independent parts between the static analysis results of different tools. Software evaluation personnel need to read when analyzing the static analysis results All analysis results are manually checked and screened, which not only increases the workload of evaluation, but also introduces manual risks due to the subjective factors of testers
[0007] 4) Some evaluation tools display results in English, and users need to translate and read the tool results by themselves later, which not only wastes time, but also brings quality risks due to inaccurate translation

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
  • Static analysis auxiliary method
  • Static analysis auxiliary method

Examples

Experimental program
Comparison scheme
Effect test

Embodiment 1

[0063] This embodiment provides a static analysis auxiliary system, including:

[0064] The static analysis result extraction module is used to extract the test results of different static analysis tools;

[0065] Static analysis result sorting module, which is used to analyze and sort out static analysis results and map the tool analysis results to the GJB8114 standard requirements;

[0066] The report generation module is used to generate a test report based on the report template for the static analysis results after analysis and arrangement;

[0067] Construct the static analysis result extraction module, study the static analysis data analysis mode of Klocwork, QAC, and Testbed tools, and design the result extraction scheme according to the data mode of each tool. The static analysis result extraction module includes:

[0068] The QAC Source Code Analyzer interface is used to extract the test results of the static analysis tool QAC Source CodeAnalyser (hereinafter refer...

Embodiment 2

[0074] This embodiment provides a software static analysis auxiliary platform, its layered structure is as follows figure 1 shown. The data integration process of the software static analysis auxiliary platform is as follows: the tester selects the corresponding static analysis tool for static analysis at the user interface interaction layer---selects the storage path of the static analysis results---the software static analysis auxiliary platform calls the data integration scheduling layer, Filter the static analysis tool rules through the comparison table, filter and integrate the files under the storage path of the static analysis results through keyword search, and find the corresponding statements in the analysis results of different static analysis tools corresponding to each criterion of GJB8114---generate and save Integrated static analysis report---users read and analyze the static analysis results.

[0075] At present, the platform has been practically applied in th...

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 belongs to the technical field of static analysis of software testing, in particular to a static analysis auxiliary method, which comprises the following steps: a static analysis resultextraction module extracts the static analysis test result of a static analysis tool. A static analysis result collation module parses the static analysis test result after static analysis, and maps the static analysis test result to the standard requirement in the safety subset rule GJB8114 to form the static analysis test result after mapping collation. A report generation module generates a test report according to the report template after mapping and collating the static analysis test results. Compared with the prior art, the technical scheme of the invention can effectively improve the static analysis efficiency, reduce the test human cost, improve the test work quality, reduce the software quality risk, and save the time cost and the human cost by adopting the technical measures. The static analysis tools studied in this project can provide guidance for automated testing.

Description

technical field [0001] The invention belongs to the technical field of software testing static analysis, and in particular relates to a static analysis auxiliary method. Background technique [0002] Some industries have extremely high requirements for software quality and security. In order to ensure the quality of software testing, each evaluation center has selected more and more static testing tools to cover the adequacy of testing. These multiple tools are analyzed one by one. , the method of item-by-item verification of test results has doubled the workload of the original test; at the same time, as the number of software in current business applications has shown a huge growth rate, the growth rate of testers in various evaluation agencies has followed. Unable to match the growth rate of testing workload. In order to ensure test quality and improve test efficiency, the current static analysis method needs to be optimized urgently. [0003] At present, the static ana...

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
CPCG06F11/3604
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

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