Static Analysis Auxiliary System

A static analysis and auxiliary system technology, applied in the fields of instruments, electrical digital data processing, computing, etc., can solve the problems of increasing the workload of evaluation, existing redundant reading information, rules not applicable to user coding requirements, etc., to save time and cost and labor costs, improve the quality of testing work, and reduce the effect of software quality risks

Inactive Publication Date: 2019-02-26
北京京航计算通讯研究所
View PDF1 Cites 0 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 System
  • Static Analysis Auxiliary System

Examples

Experimental program
Comparison scheme
Effect test

Embodiment 1

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

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

[0049] 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;

[0050] 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;

[0051] 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:

[0052] 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

[0058] 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.

[0059] 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 system, comprising a static analysis result extraction module for extracting the static analysis test result of a static analysis tool; a static analysis result collating module used for analyzing the static analysis test result after static analysis, and mapping the static analysis test result to the standard requirement in the safety subset rule GJB8114 to form the static analysis test result after mapping collating; a report generation module used for generatinga test report according to the report template from the static analysis test results after mapping and collation. 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 static analysis of software testing, and in particular relates to a static analysis auxiliary system. 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. Cannot 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
IPC IPC(8): G06F11/36
CPCG06F11/3604
Inventor 张磊孙文靖马少辉杨硕刘昕照于铁军杨春霞侯艳钗谷妤嫔邹丽罗淑琼曾丽婷韩壮南亚茹肖笑笑洪楠
Owner 北京京航计算通讯研究所
Who we serve
  • R&D Engineer
  • R&D Manager
  • IP Professional
Why Eureka
  • Industry Leading Data Capabilities
  • Powerful AI technology
  • Patent DNA Extraction
Social media
Try Eureka
PatSnap group products

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

© 2024 PatSnap. All rights reserved.Legal|Privacy policy|Modern Slavery Act Transparency Statement|Sitemap