Jump to content

Draft:Axivion Suite

From Wikipedia, the free encyclopedia


Axivion Suite
Original author(s)Axivion Bauhaus Project
Developer(s)Qt Quality Assurance
Initial releaseJuly 24, 2004; 20 years ago (2004-07-24)
Stable release
7.7.5 / April 16, 2024; 5 months ago (2024-04-16)
Operating systemLinux, Microsoft Windows, and macOS
TypeStatic Code Analysis, Software Architecture Analysis Tool
LicenseProprietary commercial software
Websitewww.qt.io/product/quality-assurance/axivion-suite
Axivion GmbH
Company typeSubsidiary
Industrystatic program analysis
FoundedNovember 2006 (2006-11)
FateAcquired by Qt Group in August 2022
Headquartersformerly Stuttgart, Germany
ProductsAxivion Suite, Bauhaus Suite
Number of employees
30+
ParentQt Group
Websitewww.axivion.com/en

Axivion Suite is a software suite that includes static code analysis and automated software architecture analysis tools. It was originally developed by the German company Axivion GmbH.[1]. Axivion GmbH was acquired by Qt Group in August 2022.

History

[edit]

Axivion GmbH was founded in 2006 and was headquartered in Stuttgart. The Axivion Suite was a commercial spin-off of the Axivion Bauhaus Project. Research was conducted at Axivion, the Institute of Software Technology, Department of Programming Languages at the University of Stuttgart[2], and 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 the acquisition, the Axivion Suite has been further developed and distributed by Qt as part of its quality assurance offerings[4].

The Axivion Suite is advertised as helping prevent software erosion,[5] also known as technical debt or software rot.

Components of Axivion Suite

[edit]

Axivion Static Code Analysis (SCA) is a configurable static code analysis tool.

It 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#.

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) is a tool that compares a structural model of a software architecture with its concrete implementation or analyzes the model directly. Such a structural model can either be modelled manually using a visual editor or imported from other modelling tools, e.g., Enterprise Architect. AV detects 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 compilers and target platforms, together with integrations into version control systems. It can be used as part of a continuous integration (CI) process where analysis results are connected to versions of the software. These analysis results are then send to a on-premise Dashboard server, which can also be used to integrate the results of other analysis tools during the CI process. The dashboard server computes the differences between analysis results of different software versions and generates reports. It can also trigger further actions in a continuous integration process.

The results can also be inspected in an IDE. Axivion Suite provides plugins for the following IDEs.

Axivion Suite also provides a Python-based API. 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

[edit]

Axivion Suite is used by software developers in various industries, e.g., automation technology[9][10], automotive[11][12][13], consulting and engineering services[14], electronics[15], mechanical engineering[16], and medical technology[17][18].

See also

[edit]

References

[edit]
  1. ^ "Axivion Suite at axivion.com".
  2. ^ "ISTE University of Stuttgart".
  3. ^ "Press release 'Qt acquires Axivion GmbH'".
  4. ^ "Axivion Suite as part of Qt's quality assurance offering".
  5. ^ Software Erosion: A Critical Survey on the Scientific State of the Art (PDF). ESE. 2018. Retrieved 23 April 2024.
  6. ^ "SGS TÜV Saar Certificate FS/71/220/24/1341 for Axivion Suite SCA 7.7". 2024-04-02. Retrieved 23 April 2024.
  7. ^ "Axivion Suite's static code analysis achieves certification for functional safety". 2021-06-23. Retrieved 23 April 2024.
  8. ^ "Axivion Suite for software in autonomous vehicles". 2021-05-20. Retrieved 23 April 2024.
  9. ^ Merkle, Bernhard (2010). Stop the Software Architecture Erosion: Building better software systems. OOPSLA. doi:10.1145/1869542.1869563. Retrieved 23 April 2024.
  10. ^ Annunen, Juho (2024). An expert evaluation of a Qt based digital twin interface (PDF) (MSc thesis). University of Oulu. Retrieved 23 April 2024.
  11. ^ Krings, Sebastian (2021). Testing, Model Checking and Static Analysis: Dream Team or Rivals? (PDF). Embedded World. Retrieved 23 April 2024.
  12. ^ Controlling Software Complexity with Architectural Design (PDF). ESE. 2017. Retrieved 23 April 2024.
  13. ^ Setting up Architectural SW Health Builds in a New Product Line Generation. ECSA. 2016. doi:10.1145/2993412.3003392. Retrieved 23 April 2024.
  14. ^ Koschke, Rainer (2018). Industrial Experience on Code Clean-Up Using Architectural Conformance Checking. ECSA. doi:10.1145/3241403.3241453. Retrieved 23 April 2024.
  15. ^ "Langfristig sauber anpassen" (in German). 2016-12-06. Retrieved 23 April 2024.
  16. ^ Automatischer Einklang von Architektur und Implementierung (PDF). ESE (in German). 2018. Retrieved 23 April 2024.
  17. ^ "Axivion Suite is in use at Siemens Healthineers". 2021-09-21. Retrieved 23 April 2024.
  18. ^ "Regelkonformer Code und einheitliche Architektur für Zahnmedizintechnik" (in German). 2017-10-26. Retrieved 23 April 2024.
[edit]