The Axivion Bauhaus tool suite, available now in release 6.2, targets safety-relevant software in automotive and medical environments. Supporting the MISRA C:2012 standard, the tool tests embedded software and provides information to the programmer as to in which lines its code deviates from the rules as set by the relevant standards. It also provides hints to the programmer which program statements need to be corrected or at least described in a comment.
The selection of programing languages supported has been enhanced with a view to GUI design in industrial environments. As a result, the tool enables users to perform in-depth static analysis of C# code. Thanks to the increased degree of integration, the results of the analysis are accessible directly in the Microsoft Visual Studio development environment which also supports C++.
Developers involved in large projects can benefit from the newly added 64-bit support for all operating systems. Axivion Bauhaus suite 6.2 automatically performs static analysis on large amounts of code at high speed, facilitating quality assurance in embedded software development. This feature also improves quality and serviceability of the software. For instance, it tracks instances with identical software statements; if one of them is modified, it automatically applies this modification to all other instances. The static analysis can be carried out on software written in Ada, C/C++, C# and Java. The analysis identifies style violations, dead code, metrics deviations and "cloned" code as well as cyclical dependencies and architecture violations and thus prevents what the company describes as "software erosion".
The tool suite is available for popular platforms such as Microsoft Windows or GNU/Linux and supports programming languages Ada83, Ada95, C/C++, C#/.NET and Java. Customer-specific adaptions to development environments, compiler and version control systems are possible.