e!COCKPIT Static Analysis; Tek Lisans


In addition to the compiler check, the e!COCKPIT Static Analysis add-on checks the source code based on defined rules and naming conventions. This add-on displays potential development problems, allowing errors to be detected and corrected before field testing. More than 100 partly parameterizable rules have already been implemented that can be combined into individual rule sets. The add-on functions are seamlessly integrated into the e!COCKPIT development environment.

Advantages:

• Avoid errors during program creation
• Save time-consuming troubleshooting during application development
• Ensure that the program code conforms to the defined rules and is easily readable

Main functions:

• Check the application explicitly via menu command
• Alternatively: automatic verification during code generation
• Control pre-processor instructions, and determine which parts of the code will be analyzed

Rules and naming conventions:

Within the e!COCKPIT project settings, a standard set of programming rules and naming conventions can be configured in the standard version:

• Unused variables
• Overlapping memory areas
• Simultaneous access
• Multiple write access to output
• Multiple use of the name

Additionally, the following analytics can be performed with e!COCKPIT Static Analysis:

• Discover unaccessible codes
• Find empty objects
• Find empty instructions
• Find useless declarations
• Conversions
• Write access to input variables
• Rules for operators
• Rules for FOR and CASE instructions
• Strict testing of IEC rules

Result of the analysis:

The result of the analysis is displayed in the message window. Each violation has a unique number and can be uniquely assigned to the configured rules and naming conventions.

Metrics:

Various metrics, such as the number of code lines, memory consumption or the evaluation of software complexity, as well as the upper and lower limits to be observed, can be configured to evaluate the code quality.

The results of the applied metrics can be displayed in tabular and graphical form as a Kiviat diagram.