Diese Website verwendet Cookies, um das Angebot nutzerfreundlicher und effektiver zu machen. Mit der Nutzung dieser Website stimmen Sie der Verwendung von Cookies zu.Weitere Informationen über die Verwendung von Cookies und die Möglichkeit der Verwendung von Cookies zu widersprechen, finden Sie hier.
BUGSENG provides, among others, services in the following areas:
We help our Customers assure the quality of the code created inside and outside of their organization and help them address quality and security requirements and coding standards. In particular, we have strong experience in the application of the MISRA coding standards to new as well as existing projects. BUGSENG engineers regularly conduct software audit reviews and coding standards compliance verification; they also provide support in the definition of refactory plans to gradually bring the source code base into compliance.
Verification of Customer Code
Various solutions are offered to Customers that prefer not to operate ECLAIR in their premises. These include the provision of detailed reports containing, besides the violations, expert advice on the best remediation techniques and, at the end of the process, a professionally-written compliance matrix.
Definition of Internal Coding Standards
Leveraging our extensive knowledge of language and coding standards, assistance is provided to Customers in the definition and improvement of internal coding standards.
Development of ECLAIR checkers for the automatic verification of conformance, with respect to rules and criteria defined by and for Customers.
Leider gibt es für diesen Aussteller kein deutsches Firmenprofil.
BUGSENG is a leading provider of solutions and services for static code analysis. Software verification is a complex task that requires deep specialization for which BUGSENG has designed a new generation of tools. These are based on sophisticated program verifiers that can handle the complexity of the task in a transparent way and effectively support the software engineering community in a continuous improvement process leading to truly reliable and practical mission- and safety-critical systems.
Our products are based on a solid understanding of modern software industry needs and requirements in which sound theoretical work has been coupled with the best software engineering practices. Built on more than 20 years of advanced research, our software verification platform ECLAIR embodies what probably is the most accurate MISRA-checking tool available on the market.
We offer a full range of services relating to software verification:consulting, training courses, tool integration, specific custom development, verification of customer code, definition of internal coding standards and software audit reviews.
In BUGSENG, we believe that high-quality software requires high-quality verification tools and services. That's why our motto is: no shortcuts, no compromises, no excuses: software verification done right.