C + + Test customization method and aerospace model software code unit static analysis method

A technology of software code and static analysis, applied in software testing/debugging, instrumentation, electrical digital data processing, etc., can solve problems such as poor practicability and low efficiency, and achieve the goal of solving high cost, reducing cost, and reducing the number of test result items Effect

Pending Publication Date: 2020-11-20
江南机电设计研究所
View PDF0 Cites 2 Cited by
  • Summary
  • Abstract
  • Description
  • Claims
  • Application Information

AI Technical Summary

Problems solved by technology

[0004] In order to solve the technical problems existing in the prior art, the purpose of the present invention is to provide a C++Test customization method, which breaks through the poor practicability of specific static analysis tools for static analysis of aerospace model software code specifications Due to the limitation of low efficiency, according to the characteristics of aerospace model software, combined with the quality requirements of aerospace model software, based on the existing code specification rule set, the customization of C++Test code specification rule set is realized for aerospace model software, thereby improving C++ The practicability of +Test in the application of code specification static analysis of aerospace model software and the efficiency of code specification static analysis

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
  • C + + Test customization method and aerospace model software code unit static analysis method
  • C + + Test customization method and aerospace model software code unit static analysis method
  • C + + Test customization method and aerospace model software code unit static analysis method

Examples

Experimental program
Comparison scheme
Effect test

Embodiment Construction

[0026] Example embodiments will now be described more fully with reference to the accompanying drawings. Example embodiments may, however, be embodied in many forms and should not be construed as limited to the examples set forth herein; rather, these embodiments are provided so that this disclosure will be thorough and complete and fully convey the concept of example embodiments to those skilled in the art.

[0027] The C++Test customization method provided by this application includes the following steps:

[0028] Step S01: Cut out the coding rule sets in C++Test that are not applicable to the static analysis of aerospace model software code units; these rule sets in C++Test include CWE-SANS Top 25 Most Dangerous Programming Errors, Ellemtel, ISO 26262 Recommended Rules, OWASP Top 10 Security Vulnerabilities, Payment Card Industry Data Security Standard, Parasofts Recommended Rules, Parasoft's Recommended FDA C++ Phase 1, Parasoft's Recommended FDA C++ Phase2, SAMATE Annex ...

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 discloses a C + + Test customization method and a spaceflight model software code unit static analysis method. The customization method comprises the steps that S01, a coding rule set which is not suitable for spaceflight model software code unit static analysis in C + + Test is cut; and S02, rules in the plurality of coding rule sets which are cut in the step S01 and are suitable for static analysis of the aerospace model software code unit are cut to obtain C + + Test suitable for static analysis of the aerospace model software code unit. According to the method, the coding rule set which is not suitable for aerospace model software code unit static analysis in the C + + Test and the rules in the multiple coding rule sets are cut, so that the practicability of the C + + Test in aerospace model software code specification static analysis application and the code specification static analysis efficiency are improved.

Description

technical field [0001] The invention relates to a C++Test customization method and an aerospace model software code unit static analysis method. Background technique [0002] Software unit testing is a very efficient testing method that finds more problems at the minimum cost among various existing software testing methods. Software static analysis is one of the effective methods of software unit testing. Static analysis, or static testing, is to test the software code without running the software code to check whether the software code meets the relevant programming standards. [0003] The most effective way to implement software static analysis is to use static analysis tools. Static analysis tools that are widely used in domestic military enterprises include LDRA Testbed, Klocwork, and C++Test. Flow analysis and other aspects have shown certain advantages, so C++Test has become a hot spot in the application of static analysis in military enterprises. However, C++Test ha...

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/3628
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