Are you looking for sharp improvements in the quality of your static analysis code? Congratulations, you have just found the missing part of the puzzle!
Become more productive and skilled through PRQA static analysis solutions!
Since its launching 30 years ago, the company has been established as a worldwide leader in software quality. We are specialised in static analysis products and services, promoting safe coding standards practices.
Our customers are top class development teams, aiming at high quality and productivity during the software development process. Moreover, QA•C, one of the main company`s products, is the most adopted commercial tool in the software industry. PRQA`s solutions are non-subversive, reliable, user-friendly, ensuring safety-critical needs of a wide range of industries in compliance with ISO 26262, DO-178B, IEC 61508, EN 50128, IEC 60880 and IEC 62304.
The company is strongly committed with C and C++ coding standards. Furthermore, PRQA is a founding member of MISRA.
Our products are heavily focused on bug detection by identifying coding vulnerabilities and non-compliance issues. We are proud to announce the following successful increasing developer`s productivity products:
In-depth static analysis tool of the C language, ensuring sophisticated software defects detection, thanks to our advanced dataflow solver engine. Besides, QA•C is highly effective bug detection analyzer, certified by SGS-TÜV Saar for the main safety-critical standards: ISO 26262, IEC 62303, IEC 60880, IEC 61508 and EN 50128.
This source code analysis solution is the most sophisticated one for the Modern C++ language. Indeed, the product has been certified as ‘usable in the development of safety related software’ by SGS-TÜV Saar for the key safety-critical standards.
Centralized, collaborative and strong metrics... That`s right, QA•Verify is all that and even more! Standing beyond the traditional software quality management systems, it is a smart extending of the parsing technology from QA•C and QA•C++, including also Structure 101 and many others integration opportunities.
It provides detailed visualization of complicated C and C++ coding projects by leveraging the strong efficiencies from QA•C and QA•C++. Structure 101 is a unique tool for the developer teams, because it allows simpler code-base, defined architecture, reducing the spiralling complexity and saving time.
Dubious coding structures can kill your code. That`s why there are coding standards, which define a set of rules, aiming at eliminating software defects and providing good practices for all to follow. This programming frame is fundamental for several industries, adopted by manufacturer2s over the supply chain.
Our company insures tools for all coding standards. Some of our main focuses are:
PRQA`s consultants are experts in process integration, language comprehension and development environments. Furthermore, they are professional trainers, who help the customers with education, integration and customization of all the company`s solutions, supporting them from the beginning:
- Assistance during the purchase decisions through close monitoring of the evaluation
- Initial installation support and supervising, both on-site and remote
- Immediate assistance in a case of problematical service (email or telephone)
The company also performs a wide range of consultancy services, enabling customers to optimize the usage of our products and solutions, including:
- Custom integrations – multi platform, compiler and IDE support
- Code audits
- Coding standard development
- Training both for language and our products
We provide MISRA as well as ISO 26262 compliance products and services to developer teams, involved in the automotive industry software quality.
Aerospace and Defense
Our solutions cover compliance with DO-178B: an airborne software guidance, identifying a number of lifecycle process.
Medical Device Industry
Our medical industry`s customers can confirm that they have been guaranteed with the right approach towards facing regulatory and legislative requirements such as IEC 62304.
Certified by SGS-TÜV Saar as ‘usable in the development of safety related software’, PRQA helps the customers to develop customised C and C++ coding stardards
PRQA / Programming Research Ltd
Ashley Park House
42-50 Hersham Road
Walton on Thames
Surrey KT12 1RZ
Tel: +44 1932 888 080
Fax: +44 1932 888 081