Axivion Bauhaus Suite: The Software Erosion protection solution
The Axivion Bauhaus Suite offers you a sophisticated range of tools for automated static code analysis. It supports your software system developers in ensuring high quality and long-term ease of maintenance of the code they create, thereby actively preventing insidious Software Erosion. Our suite is optimised for the programming languages C/C++, C#/.NET, Java and Ada 83/Ada 95 and is available for the standard platforms Microsoft Windows and GNU/Linux. It integrates seamlessly into the development environments you are familiar with, such as Microsoft® Visual Studio®, compilers such as IAR Embedded Workbench® and version control systems such as Subversion.
Static code analysis
By means of static analysis of the source code, our tool suite is able to specifically track down error-prone code locations, style violations, cloned or dead code and cyclic dependencies. This static code analysis lays foundations which allow your developers to halt Software Erosion in the long term.
Our solution performs in-depth analyses to check whether the code complies with the architectural requirements, as well as detecting hidden dependencies. Your developers and architects can then monitor, correct or adapt any deviations on a case-by-case basis, thereby improving the code’s quality and ease of maintenance as well as enhancing the working relationship between developers and architects.
Clones & clone management
Our suite’s clone detection algorithms reliably identify lexical and syntactic duplicates in the source code. In the process, the suite also uses simple copy-and-paste clones to detect locations which are drifting apart due to changes. Clone management ensures the long-term prevention of the copying and pasting of errors and inconsistencies in the ongoing development of your software.
Our tool suite contains a variety of standard metrics for object-oriented and non-object-oriented systems, among them the frequently called for HIS metrics. Thanks to reports monitoring company-specific indicators, your developers are able to provide proof of the required quality of the system and are able to take timely action to combat violations.
Our solution reliably monitors compliance with the prevailing requirements laid down in recognised programming standards and customer-specific coding guidelines. The guidelines that require checking can easily be adapted and extended as required to the relevant company and project context via an open API.
MISRA C and C++
As the industry’s only MISRA checker, our suite covers 100 per cent of the automatically checkable MISRA rules for MISRA C:2004, MISRA C:2012 and MISRA C++:2008. That way, not only do we safeguard the quality of your software but can also demonstrate it – particularly for automotive engineering, medical and industrial applications.
Our tool suite automatically detects code no longer needed by your current software. Your developers can remove this dead code easily, thus ridding your software of resource-consuming code which may trigger errors.
Our Axivion Bauhaus Suite identifies cyclic dependencies among a plethora of different source code elements and at various levels of abstraction. Particularly when developing embedded systems, this specifically helps your developers in preventing errors from arising in the first place.