Software:Axivion Suite: Difference between revisions
Importwiki (talk | contribs) (import) |
Importwiki (talk | contribs) (import) |
||
Line 26: | Line 26: | ||
}} | }} | ||
'''Axivion Suite''' is a | '''Axivion Suite''' is a software suite that includes [[Static program analysis|static code analysis]] and automated [[Software architecture|software architecture]] analysis tools. It was originally developed by the German company Axivion GmbH.<ref>{{cite web|url=https://www.axivion.com/en/products/axivion-suite/|title=Axivion Suite at axivion.com}}</ref>. Axivion GmbH was acquired by [[Company:The Qt Company|Qt Group]] in August 2022. | ||
== History == | |||
Axivion GmbH was founded in 2006 and was headquartered in [[Place:Stuttgart|Stuttgart]]. The Axivion Suite was a commercial spin-off of the [[Bauhaus Project (computing)|Axivion Bauhaus Project]]. Research was conducted at Axivion, the Institute of Software Technology, Department of Programming Languages at the University of Stuttgart<ref>{{cite web|url=https://www.iste.uni-stuttgart.de/de/ps/forschung/projekte/|title=ISTE University of Stuttgart}}</ref>, and the Software Engineering Group of the Faculty 03 at the [[Organization:University of Bremen|University of Bremen]]. | |||
On August 11, 2022, the [[Company:The Qt Company|Qt Group]] acquired Axivion GmbH<ref>{{cite web|url=https://www.qt.io/stock/qt-acquires-axivion-gmbh-to-further-strengthen-its-marketleading-offering-in-quality-assurance-1660229100000-3140057?page=1|title=Press release 'Qt acquires Axivion GmbH'}}</ref>. Since the acquisition, the Axivion Suite has been further developed and distributed by Qt as part of its [[Quality assurance|quality assurance]] offerings<ref>{{cite web|url=https://www.qt.io/product/quality-assurance/axivion-suite|title=Axivion Suite as part of Qt's quality assurance offering}}</ref>. | |||
The Axivion Suite is advertised as helping prevent software erosion,<ref>{{cite conference|title=Software Erosion: A Critical Survey on the Scientific State of the Art|conference=ESE|date=2018|url=https://www.microconsult.de/files/fachinfo_ese_erosion_uni-bremen_koschke.pdf|accessdate=23 April 2024}}</ref> also known as [[Technical debt|technical debt]] or [[Software rot|software rot]]. | |||
== Components of Axivion Suite == | == Components of Axivion Suite == | ||
'''Axivion Static Code Analysis (SCA)''' is a | '''Axivion Static Code Analysis (SCA)''' is a configurable static code analysis tool. | ||
It uses [[Static program analysis|static code analysis techniques]] to identify [[Coding conventions|coding guideline]] violations by, e.g., [[MISRA C|MISRA]], Autosar or [[CERT Coding Standards|CERT]] checks, security-related issues, [[Software metric|metrics]] violations, [[Duplicate code|clones]], [[Circular dependency|cycles]] and [[Unreachable code|unreachable code]] for software written in [[C (programming language)|C]], C++ or [[C Sharp (programming language)|C#]]. | |||
SCA is certified for use in the development of safety systems by SGS-TÜV Saar GmbH for the following safety-relevant standards<ref>{{cite web|url=https://www.axivion.com/wp-content/uploads/2024/04/Axivion_TUEVcertificate_7.7-726x1024.jpg|title=SGS TÜV Saar Certificate FS/71/220/24/1341 for Axivion Suite SCA 7.7|date=2024-04-02|access-date=23 April 2024}}</ref><ref>{{cite web|url=https://www.electronics-usa.com/news/42687-axivion-suite’s-static-code-analysis-achieves-certification-for-functional-safety|title=Axivion Suite's static code analysis achieves certification for functional safety|date=2021-06-23|access-date=23 April 2024}}</ref><ref>{{cite web|url=https://www.electronicspecifier.com/products/design-automation/axivion-suite-for-software-in-autonomous-vehicles|title=Axivion Suite for software in autonomous vehicles|date=2021-05-20|access-date=23 April 2024}}</ref> | SCA is certified for use in the development of safety systems by SGS-TÜV Saar GmbH for the following safety-relevant standards<ref>{{cite web|url=https://www.axivion.com/wp-content/uploads/2024/04/Axivion_TUEVcertificate_7.7-726x1024.jpg|title=SGS TÜV Saar Certificate FS/71/220/24/1341 for Axivion Suite SCA 7.7|date=2024-04-02|access-date=23 April 2024}}</ref><ref>{{cite web|url=https://www.electronics-usa.com/news/42687-axivion-suite’s-static-code-analysis-achieves-certification-for-functional-safety|title=Axivion Suite's static code analysis achieves certification for functional safety|date=2021-06-23|access-date=23 April 2024}}</ref><ref>{{cite web|url=https://www.electronicspecifier.com/products/design-automation/axivion-suite-for-software-in-autonomous-vehicles|title=Axivion Suite for software in autonomous vehicles|date=2021-05-20|access-date=23 April 2024}}</ref> | ||
* ISO 26262 up to ASIL D | * ISO 26262 up to ASIL D | ||
* IEC 61508 up to SIL 4 | * IEC 61508 up to SIL 4 | ||
Line 49: | Line 47: | ||
* EN 50657 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|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., [[Software:Enterprise Architect|Enterprise Architect]]. AV detects potential issues such as [[Circular dependency|circular dependencies]], violations of layering rules, and other architectural inconsistencies. It targets the same programming languages as SCA. | |||
''' | Axivion suite provides wrappers for [[Compiler|compilers]] and target platforms, together with integrations into [[Version control|version control systems]]. It can be used as part of a [[Continuous integration|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 [[Integrated development environment|IDE]]. | |||
Axivion Suite provides plugins for the following IDEs. | |||
The results can also be inspected | |||
* [[Astronomy:Eclipse|Eclipse]] and proprietary extensions of it, e.g., [[Software:Code Composer Studio|Code Composer Studio]] | * [[Astronomy:Eclipse|Eclipse]] and proprietary extensions of it, e.g., [[Software:Code Composer Studio|Code Composer Studio]] | ||
* [[Software:Visual Studio|Visual Studio]] | * [[Software:Visual Studio|Visual Studio]] | ||
Line 65: | Line 59: | ||
* [[Company:JetBrains#CLion|CLion]] | * [[Company:JetBrains#CLion|CLion]] | ||
Axivion Suite also provides a [[Python (programming language)|Python]]-based [[API]] | Axivion Suite also provides a [[Python (programming language)|Python]]-based [[API]]. The API allows access to common [[Program analysis|program analysis]] data structures like [[Abstract syntax tree|ASTs]], [[Control-flow graph|control flow]] or [[Data-flow analysis|data flow graphs]], as well as reachability and numerical information of the analyzed software. | ||
== Applications == | == Applications == | ||
Axivion Suite is used by software developers in | Axivion Suite is used by software developers in various industries, e.g., | ||
[[Engineering:Automation|automation]] technology<ref>{{cite conference|last=Merkle|first=Bernhard|title=Stop the Software Architecture Erosion: Building better software systems|conference=OOPSLA|date=2010|doi=10.1145/1869542.1869563 |url=https://dl.acm.org/doi/pdf/10.1145/1869542.1869563|accessdate=23 April 2024}}</ref><ref>{{cite thesis |last=Annunen|first=Juho|date=2024|title=An expert evaluation of a Qt based digital twin interface|degree=MSc|publisher=University of Oulu|accessdate=23 April 2024|url=https://oulurepo.oulu.fi/bitstream/handle/10024/47783/nbnfioulu-202402131735.pdf}}</ref>, | [[Engineering:Automation|automation]] technology<ref>{{cite conference|last=Merkle|first=Bernhard|title=Stop the Software Architecture Erosion: Building better software systems|conference=OOPSLA|date=2010|doi=10.1145/1869542.1869563 |url=https://dl.acm.org/doi/pdf/10.1145/1869542.1869563|accessdate=23 April 2024}}</ref><ref>{{cite thesis |last=Annunen|first=Juho|date=2024|title=An expert evaluation of a Qt based digital twin interface|degree=MSc|publisher=University of Oulu|accessdate=23 April 2024|url=https://oulurepo.oulu.fi/bitstream/handle/10024/47783/nbnfioulu-202402131735.pdf}}</ref>, | ||
automotive<ref>{{cite conference|last=Krings|first=Sebastian|title=Testing, Model Checking and Static Analysis: Dream Team or Rivals?|conference=Embedded World|date=2021|url=https://krin.gs/publication/krings-dreamteam-ew21/krings-dreamteam-ew21.pdf|accessdate=23 April 2024}}</ref><ref>{{cite conference|title=Controlling Software Complexity with Architectural Design|conference=ESE|date=2017|url=https://www.microconsult.de/files/fachinfo_ese_architektur+design_controlling_safety_complexity_with_architectural_design_elektrobit_automotive+axivion_neukirchner+cordon+gaiser.pdf|accessdate=23 April 2024}}</ref><ref>{{cite conference|title=Setting up Architectural SW Health Builds in a New Product Line Generation|conference=ECSA|date=2016|doi=10.1145/2993412.3003392 |url=https://dl.acm.org/doi/pdf/10.1145/2993412.3003392|accessdate=23 April 2024}}</ref>, | automotive<ref>{{cite conference|last=Krings|first=Sebastian|title=Testing, Model Checking and Static Analysis: Dream Team or Rivals?|conference=Embedded World|date=2021|url=https://krin.gs/publication/krings-dreamteam-ew21/krings-dreamteam-ew21.pdf|accessdate=23 April 2024}}</ref><ref>{{cite conference|title=Controlling Software Complexity with Architectural Design|conference=ESE|date=2017|url=https://www.microconsult.de/files/fachinfo_ese_architektur+design_controlling_safety_complexity_with_architectural_design_elektrobit_automotive+axivion_neukirchner+cordon+gaiser.pdf|accessdate=23 April 2024}}</ref><ref>{{cite conference|title=Setting up Architectural SW Health Builds in a New Product Line Generation|conference=ECSA|date=2016|doi=10.1145/2993412.3003392 |url=https://dl.acm.org/doi/pdf/10.1145/2993412.3003392|accessdate=23 April 2024}}</ref>, | ||
[[Engineering:Information technology consulting|consulting and engineering services]]<ref>{{cite conference|last=Koschke|first=Rainer|title=Industrial Experience on Code Clean-Up Using Architectural Conformance Checking|conference=ECSA|date=2018|doi=10.1145/3241403.3241453 |url=https://dl.acm.org/doi/pdf/10.1145/3241403.3241453|accessdate=23 April 2024}}</ref>, | [[Engineering:Information technology consulting|consulting and engineering services]]<ref>{{cite conference|last=Koschke|first=Rainer|title=Industrial Experience on Code Clean-Up Using Architectural Conformance Checking|conference=ECSA|date=2018|doi=10.1145/3241403.3241453 |url=https://dl.acm.org/doi/pdf/10.1145/3241403.3241453|accessdate=23 April 2024}}</ref>, | ||
[[Engineering:Electronics|electronics]]<ref>{{cite web|url=https://www.elektroniknet.de/embedded/software/langfristig-sauber-anpassen.136680.html|title=Langfristig sauber anpassen|date=2016-12-06|accessdate=23 April 2024|language=German}}</ref>, | [[Engineering:Electronics|electronics]]<ref>{{cite web|url=https://www.elektroniknet.de/embedded/software/langfristig-sauber-anpassen.136680.html|title=Langfristig sauber anpassen|date=2016-12-06|accessdate=23 April 2024|language=German}}</ref>, | ||
[[Engineering:Mechanical engineering|mechanical engineering]]<ref>{{cite conference|title=Automatischer Einklang von Architektur und Implementierung|conference=ESE|date=2018|url=https://www.microconsult.de/files/fachinfo_ese_einklang_tr-electronic_dittmar.pdf|accessdate=23 April 2024|language=German}}</ref>, and | |||
[[Engineering:Mechanical engineering|mechanical engineering]]<ref>{{cite conference|title=Automatischer Einklang von Architektur und Implementierung|conference=ESE|date=2018|url=https://www.microconsult.de/files/fachinfo_ese_einklang_tr-electronic_dittmar.pdf|accessdate=23 April 2024|language=German}}</ref>, | [[Engineering:Health technology|medical technology]]<ref>{{cite web|url=https://www.industryemea.com/news/46337-axivion-suite-is-in-use-at-siemens-healthineers|title=Axivion Suite is in use at Siemens Healthineers|date=2021-09-21|accessdate=23 April 2024}}</ref><ref>{{cite web|url=https://www.all-electronics.de/elektronik-entwicklung/regelkonformer-code-und-einheitliche-architektur-fuer-zahnmedizintechnik.html|language=German|title=Regelkonformer Code und einheitliche Architektur für Zahnmedizintechnik|date=2017-10-26|accessdate=23 April 2024}}</ref>. | ||
[[Engineering:Health technology|medical technology]]<ref>{{cite web|url=https://www.industryemea.com/news/46337-axivion-suite-is-in-use-at-siemens-healthineers|title=Axivion Suite is in use at Siemens Healthineers|date=2021-09-21|accessdate=23 April 2024}}</ref><ref>{{cite web|url=https://www.all-electronics.de/elektronik-entwicklung/regelkonformer-code-und-einheitliche-architektur-fuer-zahnmedizintechnik.html|language=German|title=Regelkonformer Code und einheitliche Architektur für Zahnmedizintechnik|date=2017-10-26|accessdate=23 April 2024}}</ref> | |||
== See also == | == See also == | ||
Line 89: | Line 78: | ||
== External links == | == External links == | ||
* [https://www.qt.io/product/quality-assurance/axivion-suite Official website] | * [https://www.qt.io/product/quality-assurance/axivion-suite Official website] | ||
{{Draft categories| | {{Draft categories| | ||
[[Category:Static program analysis tools]] | [[:Category:Static program analysis tools]] | ||
}} | }} | ||
{{Sourceattribution|Axivion Suite}} | {{Sourceattribution|Axivion Suite}} |
Latest revision as of 03:13, 29 September 2024
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 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
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
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.
- 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. 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 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
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 |