Review waiting, please be patient. This may take 3 months or more, since drafts are reviewed in no specific order. There are 2,449 pending submissions waiting for review. If the submission is accepted, then this page will be moved into the article space. If the submission is declined, then the reason will be posted here. In the meantime, you can continue to improve this submission by editing normally. Where to get help If you need help editing or submitting your draft, please ask us a question at the AfC Help Desk or get live help from experienced editors. These venues are only for help with editing and the submission process, not to get reviews. If you need feedback on your draft, or if the review is taking a lot of time, you can try asking for help on the talk page of a relevant WikiProject. Some WikiProjects are more active than others so a speedy reply is not guaranteed. How to improve a draft Wikipedia:Contributing to Wikipedia – a basic overview on how to edit Wikipedia. Help:Wikitext – how to use the markup Help:Referencing for beginners – how to include references Wikipedia:Article development – how to develop your article Wikipedia:Writing better articles – how to improve your article Wikipedia:Verifiability – make sure your article includes reliable third-party sources You can also browse Wikipedia:Featured articles and Wikipedia:Good articles to find examples of Wikipedia's best writing on topics similar to your proposed article. Improving your odds of a speedy review To improve your odds of a faster review, tag your draft with relevant WikiProject tags using the button below. This will let reviewers know a new draft has been submitted in their area of interest. For instance, if you wrote about a female astronomer, you would want to add the Biography, Astronomy, and Women scientists tags. Add tags to your draft Editor resources Find sources:  Google ( books · news · scholar · free images · WP refs) · FENS · JSTOR · TWL Easy tools: Citation bot ( help) | Advanced: Fix bare URLs Reviewer tools Instructions · What links here · Axivion Suite ( talk:  + · bio) · ( log) · Copyvios report · reFill · Citation Bot · (Search:  Google,  Bing,  Wikipedia) · Submitted 8 days ago by FtgDD ( talk:  D · +) · Last edited 5 days ago by Citation bot

Axivion Suite is a tool suite that contains static code analysis and automated software architecture analysis. It was originally developed by German-based Axivion GmbH ^[1], which was acquired by Qt Group in August 2022.

With a focus on static code analysis and a range of advanced features, Axivion Suite's goal is to identify potential problems early in the development process, to achieve time savings and reduce the risk of costly errors. Its software architecture check (Axivion Architecture Verification) aims at ensuring that the system’s structure matches the code.

History

Axivion was founded 2006 and is headquartered in Stuttgart. Axivion Suite was the commercial spin-off of Axivion Bauhaus Project. Research then was done at Axivion, the Institute of Software Technology, Department of Programming Languages at the University of Stuttgart ^[2] as well as at the Software Engineering Group of the Faculty 03 at the University of Bremen.

On August 11, 2022, the Qt Group acquired Axivion GmbH ^[3]. Since then, the Axivion Suite has been further developed and distributed by Qt as part of its quality assurance offering ^[4].

Components of Axivion Suite

Axivion Static Code Analysis (SCA) is a set of static code analysis tools that helps developers ensure the quality, security and maintainability of their complex software projects.

The tool uses static code analysis techniques to identify coding guideline violations by, e.g., MISRA, Autosar or CERT checks, security-related issues, metrics violations, clones, cycles and unreachable code for software written in C, C++ or C#.

By automating these quality checks, developers can focus on tasks that require human intelligence and creativity, while repetitive tasks are taken care of by the tool. This can help prevent software erosion ^[5], also known as technical debt, which can affect the functionality, security and safety of a software system over time.

SCA is certified for use in the development of safety systems by SGS-TÜV Saar GmbH for the following safety-relevant standards ^{[6] [7] [8]}:

• ISO 26262 up to ASIL D
• IEC 61508 up to SIL 4
• IEC 62304 up to Class C
• EN 50128 up to SIL 4
• EN 50657 up to SIL 4

Axivion Architecture Verification (AV) specializes in analyzing and verifying the architectural integrity of complex software systems. This tool is designed to ensure that code matches the software's pre-defined architecture and that systems conform with established architectural guidelines and best practices. To create the structural model of a software architecture, it can either be set up manually or imported from a UML model or from any other machine-readable graph structure.

AV can detect architectural violations early in the development process by identifying potential issues such as circular dependencies, violations of layering rules, and other architectural inconsistencies. It targets the same programming languages as SCA.

Axivion suite provides wrappers for most compilers and target platforms, together with integrations into most version control systems. These allow Axivion suite to be used as part of a continuous integration (CI) process where analysis results are connected to versions of the software under development. These analysis results are then send to a local server component, which can also be used to integrate the results of other analysis tools during the CI process. The server components computes metrics based on the results, allows developers to compare the evolution of results over multiple versions, and generates reports. It can also trigger further actions in the continuous integration process.

A web-based user interface component connects to the server component to allow developers to inspect the results of the analysis. The results can also be inspected directly in an IDE. Axivion Suite provides plugins for the following IDEs.

• Eclipse and proprietary extensions of it, e.g., Code Composer Studio
• Visual Studio
• Visual Studio Code
• CLion

Axivion Suite also provides a Python-based API that allows developers to write their own rules. The API allows access to common program analysis data structures like ASTs, control flow or data flow graphs, as well as reachability and numerical information of the analyzed software.

Applications

Axivion Suite is used by software developers in many industries, e.g., automation technology ^{[9] [10]}, automotive ^{[11] [12] [13]}, aviation, aerospace, consulting and engineering services ^[14], electronics ^[15], information technology, mechanical engineering ^[16], medical technology ^{[17] [18]}, pharmaceutical & laboratory technology, and railway technology.

See also

• List of tools for static code analysis

References

External links

• Official website