QPR Technologies

BEST SOFTWARE-QUALITY THROUGH HIGH-PRECISION STATIC CODE ANALYSIS QPR Technologies develops applications to detect software errors reliably and visualize their causes in order to make them easily comprehensible. Developers and software testers alike, especially for safety- and security-critical embedded software, can thus achieve highest software quality, reduce time-­to-­market, and avoid high cost caused, e.g. by product recalls. PRECISE AUTOMATIC ANALYSIS REPORTS. CONCRETE ERROR TRACES. Our innovative verification approach is based on an exact static code analysis with highest precision. In comparison to other available tools it features precise automatic analysis reports as well as exact error traces, and is therefore particularly suitable for safety-critical embedded software and their certification e.g. according to ISO 26262. In comparison to traditional test and simulation approaches, we achieve 100% test coverage, without requiring construction of individual test cases. We also enable a better understanding of source code with our innovative techniques for generating program traces and visualizing program executions. Compared to other tools for static software analysis, we achieve unambiguous error detection with the help of our high-precision program analysis tools. Our customers can thus obtain maximum software quality in less time, resulting in substantial cost savings. We are looking forward to hearing from you: QPR-Technologies Am Fasanengarten 5 76131 Karlsruhe Germany Telefon: +49 (0) 721 608-47322 Telefax: +49 (0) 721 608-44211 E-Mail: info@qpr-technologies.de Web: www.qpr-technologies.de