Static-analysis tool checks benchmarking software

A microprocessor benchmarking consortium is using a static-analysis software tool to help ensure the highest level of quality for its benchmark software.Green Hills Software, a specialist in device software optimisation (DSO) and real-time operating systems (RTOS), has announced that the embedded microprocessor Benchmark Consortium has adopted the Green Hills Software DoubleCheck static-analysis tool to help ensure the highest level of quality for EEMBC benchmark software. 'DoubleCheck has performed as well as other significantly more expensive source code-analyser products on the market', says Shay Gal-On, Chief Software Engineer, EEMBC. 'We were impressed with DoubleCheck's ability to detect a wide range of software flaws, its low false positive rate, its execution-time performance, and the intuitive format and usability of its reports'.

EEMBC is running DoubleCheck on its software benchmark suite consisting of more than one million source lines of code, and, in addition, is using DoubleCheck to help ensure the quality of new benchmark software being developed, including EEMBC's latest multicore benchmark framework.

'The ability to predict and prevent flaws before the software is even executed is a key part of Green Hills Software's multi-tiered strategy to ensure reliability and security of electronic devices and systems', comments David Kleidermacher, Chief Technology Officer, Green Hills Software.