BUGSENG selected ACE's SuperTest
ACE Press Release
BUGSENG selected ACE's SuperTest to validate its ECLAIR Software Verification Platform
Validation of Verification tools proves value
Amsterdam, June 1st, 2012. BUGSENG, a highly skilled business in program verification, based in Parma, Italy, has selected and acquired a license for the SuperTest™ compiler test and validation suite from ACE Associated Compiler Experts, the Dutch compiler and system software technology company. The SuperTest product is used to enhance engineering and validation of BUGSENG’s new ECLAIR verification platform.
Software quality and security are big issues in today’s software market and BUGSENG’s advanced tools help development teams to automatically verify their work. “The quality of our own tools is essential to our customers. The sheer completeness and depth of the SuperTest compiler test and validation product has been effective in demonstrating the top quality of our tools and their complete language support.” says Roberto Bagnara, CEO of BUGSENG.
“SuperTest is broadly used by compiler and tool developers and their users to safeguard the quality of their compilers.” says Marco Roodzant, VP Marketing & Sales, “We are pleased to see that BUGSENG has demonstrated that our SuperTest product has proven its essential value in testing the tools in the rapidly emerging C/C++ analysis and verification market.”
ACE and BUGSENG have agreed to cooperate further in achieving better standards in software quality, security and reliability capitalizing on the power of their combined know-how and technologies.
BUGSENG srl (Parma, Italy) is a new company with a long tradition in automated software verification. The founders, who work in the field since more than 15 years, made important contributions to the theory and practice of program verification.
ECLAIR is a powerful, flexible and extensible platform for the analysis of C and C++ (and soon Java) source-code. It supports both syntactic analyses and semantic analyses based on the latest developments of abstract interpretation, model-checking and constraint-based reasoning. Applications include: validation of coding rules (either user-defined or taken from popular coding standards: MISRA, CERT, NASA/JPL, ESA/BSCC, JSF, High-Integrity, Netrino, ...); automatic test-case generation for coverage and triggering of run-time anomalies or proof of their absence; semantic matching and patching.
More information on BUGSENG and its products and services is available at bugseng.com.
ACE Associated Compiler Experts bv (a wholly owned subsidiary of ACE Associated Computer Experts bv, Amsterdam, the Netherlands) is world leader in tools and services for professional compiler development.
SuperTest™ is the most comprehensive test and validation suite for compilers. Based upon 35+ years of ACE experience in compiler construction and validation, SuperTest provides a unique level of compiler test coverage and will find difficult problem cases in a compiler. SuperTest starts where other suites end.
ACE’s CoSy® compiler development system and its derivative CoSy Express™, give compiler developers the ability to achieve a leading edge position in the construction of better and faster optimizing compilers for a broad range of architectures and programming languages.
More information on ACE and its products and services is available at www.ace.nl.
© Copyright 2012 ACE Associated Computer Experts bv, Amsterdam, the Netherlands.
© Copyright 2012 BUGSENG srl, Parma, Italy.
SuperTest™ is a trademark of ACE Associated Computer Experts bv.
CoSy® is registered trademark of ACE Associated Computer Experts bv.
CoSy Express™ is a trademark of ACE Associated Computer Experts bv.
All other trademarks are the property of their respective owners.