LONDON, 23 November 2021 / PRNewswire / – QA-MISRA is the tailor-made answer to the current and future demands of the static analysis market. This new tool is the product of a cooperation between QA Systems and AbsInt – partners who both have many years of expertise in the field.
The earlier software errors are identified in the development cycle, the less expensive it is to fix them. It is optimal if errors do not even occur or are detected immediately. This is an important experience that developers gain over and over again: the sooner, the better.
Therefore, QA Systems’ cooperative partner, AbsInt, has developed a static verifier for encoding rules. The tool is now distributed exclusively by QA Systems under the name QA-MISRA. “We know the market and the people involved,” says Andreas Sczepansky, Managing Director of QA Systems GmbH in Waiblingen, Germany.
QA-MISRA already checks over 900 potential software errors in the source code. Through static analysis with QA-MISRA, unsafe structures as well as safety, maintenance and carrying issues can be easily detected at an early stage. This is how developers reduce future costs.
QA-MISRA scans large and complex software packages very quickly, regardless of the size of the code base. This simplifies quality management and helps you comply with relevant safety standards. “After many years of involvement in the working groups of the MISRA consortium, we have created a practical tool for effective verification of coding guidelines, which has been maximally aligned with customer needs, with the help of experts. of QA Systems, ”says Dr-Ing. Christian Ferdinand, Managing Director of AbsInt GmbH in Saarbrücken.
QA-MISRA can be fully integrated with QA Systems’ CANTATA unit testing and integration tool.
QA-MISRA helps make program code more reliable, portable, and easier to maintain.
QA-MISRA automatically checks the compliance of your C or C ++ code with MISRA and AUTOSAR rules, as well as with security standards: SEI CERT C / C ++, Common Weakness Enumeration (CWE), ISO / IEC TS 17961, Hersteller Initiative Software ( HIS Metrics) and others.
QA-MISRA is exclusively distributed internationally by QA Systems: https://www.qa-systems.com/tools/qa-misra/.
AbsInt provides cutting-edge development tools for embedded systems with a focus on validation, verification and certification of security critical and security relevant software. Key products include static analysis tools to verify coding guidelines, for analysis of timing and stack usage, and to detect critical programming faults in C / C ++ code as well as Formally verified CompCert compiler.
Founded in 1998, AbsInt is a private company located in Saarbrücken, Germany. Our customers come from various industrial sectors, including aerospace, automotive, healthcare and energy, and are located in more than 40 countries around the world.
For more information, visit www.absint.com.
About quality assurance systems
For more than 25 years, QA Systems has been helping companies develop high-quality, standards-compliant software for embedded systems in the security and business-critical industry. QA Systems tools automate unit testing, code coverage, integration testing, and source code analysis in accordance with all common security-related software standards (MISRA, AUTOSAR, CERT, CWE, ISO 26262, etc.).
QA Systems was founded in 1996 by CEO and racing driver Andreas Sczepansky. With international locations, QA Systems operates worldwide directly as well as through a global network of resellers. Over 350 of the largest companies are on QA Systems’ customer list. In addition to tools, the QA Systems Academy shares its know-how and expertise with engineers around the world.
For more information, visit www.qa-systems.com.
SOURCE quality assurance systems