Software:Axivion Suite
Original author(s) | Axivion Bauhaus Project |
---|---|
Developer(s) | Qt Quality Assurance |
Initial release | July 24, 2004 |
Stable release | 7.7.5
/ April 16, 2024 |
Operating system | Linux, Microsoft Windows, and macOS |
Type | Static Code Analysis, Software Architecture Analysis Tool |
License | Proprietary commercial software |
Website | www |
Type | Subsidiary |
---|---|
Industry | static program analysis |
Fate | Acquired by Qt Group in August 2022 |
Founded | November 2006 |
Headquarters | formerly Stuttgart, Germany |
Products | Axivion Suite, Bauhaus Suite |
Number of employees | 30+ |
Parent | Qt Group |
Website | www |
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
References
- ↑ "Axivion Suite at axivion.com". https://www.axivion.com/en/products/axivion-suite/.
- ↑ "ISTE University of Stuttgart". https://www.iste.uni-stuttgart.de/de/ps/forschung/projekte/.
- ↑ "Press release 'Qt acquires Axivion GmbH'". https://www.qt.io/stock/qt-acquires-axivion-gmbh-to-further-strengthen-its-marketleading-offering-in-quality-assurance-1660229100000-3140057?page=1.
- ↑ "Axivion Suite as part of Qt's quality assurance offering". https://www.qt.io/product/quality-assurance/axivion-suite.
- ↑ "Software Erosion: A Critical Survey on the Scientific State of the Art". ESE. 2018. https://www.microconsult.de/files/fachinfo_ese_erosion_uni-bremen_koschke.pdf. Retrieved 23 April 2024.
- ↑ "SGS TÜV Saar Certificate FS/71/220/24/1341 for Axivion Suite SCA 7.7". 2024-04-02. https://www.axivion.com/wp-content/uploads/2024/04/Axivion_TUEVcertificate_7.7-726x1024.jpg.
- ↑ "Axivion Suite's static code analysis achieves certification for functional safety". 2021-06-23. https://www.electronics-usa.com/news/42687-axivion-suite’s-static-code-analysis-achieves-certification-for-functional-safety.
- ↑ "Axivion Suite for software in autonomous vehicles". 2021-05-20. https://www.electronicspecifier.com/products/design-automation/axivion-suite-for-software-in-autonomous-vehicles.
- ↑ Merkle, Bernhard (2010). "Stop the Software Architecture Erosion: Building better software systems". OOPSLA. doi:10.1145/1869542.1869563. https://dl.acm.org/doi/pdf/10.1145/1869542.1869563. Retrieved 23 April 2024.
- ↑ Annunen, Juho (2024). An expert evaluation of a Qt based digital twin interface (PDF) (MSc thesis). University of Oulu. Retrieved 23 April 2024.
- ↑ Krings, Sebastian (2021). "Testing, Model Checking and Static Analysis: Dream Team or Rivals?". Embedded World. https://krin.gs/publication/krings-dreamteam-ew21/krings-dreamteam-ew21.pdf. Retrieved 23 April 2024.
- ↑ "Controlling Software Complexity with Architectural Design". ESE. 2017. https://www.microconsult.de/files/fachinfo_ese_architektur+design_controlling_safety_complexity_with_architectural_design_elektrobit_automotive+axivion_neukirchner+cordon+gaiser.pdf. Retrieved 23 April 2024.
- ↑ "Setting up Architectural SW Health Builds in a New Product Line Generation". ECSA. 2016. doi:10.1145/2993412.3003392. https://dl.acm.org/doi/pdf/10.1145/2993412.3003392. Retrieved 23 April 2024.
- ↑ Koschke, Rainer (2018). "Industrial Experience on Code Clean-Up Using Architectural Conformance Checking". ECSA. doi:10.1145/3241403.3241453. https://dl.acm.org/doi/pdf/10.1145/3241403.3241453. Retrieved 23 April 2024.
- ↑ "Langfristig sauber anpassen" (in German). 2016-12-06. https://www.elektroniknet.de/embedded/software/langfristig-sauber-anpassen.136680.html. Retrieved 23 April 2024.
- ↑ "Automatischer Einklang von Architektur und Implementierung" (in German). ESE. 2018. https://www.microconsult.de/files/fachinfo_ese_einklang_tr-electronic_dittmar.pdf. Retrieved 23 April 2024.
- ↑ "Axivion Suite is in use at Siemens Healthineers". 2021-09-21. https://www.industryemea.com/news/46337-axivion-suite-is-in-use-at-siemens-healthineers. Retrieved 23 April 2024.
- ↑ "Regelkonformer Code und einheitliche Architektur für Zahnmedizintechnik" (in German). 2017-10-26. https://www.all-electronics.de/elektronik-entwicklung/regelkonformer-code-und-einheitliche-architektur-fuer-zahnmedizintechnik.html. Retrieved 23 April 2024.
External links
![]() | Original source: https://en.wikipedia.org/wiki/Axivion Suite.
Read more |