LONDON PolySpace Technologies, which provides the automatic detection of run-time errors at compile time, has launched a software bug detection service in the UK. The PolySpace Bug Detection Service (BDS) provides software development teams with an independent verification service for their code before compilation and functional testing.
Ken Nathan, UK managing director of PolySpace, said, “The cost of fixing code increases exponentially according to the time from the start of the project. The sooner you catch the anomalies, the easier it is to fix and the less time it takes. In some industries such as aerospace and automotive, there can be no margin for error. Despite this, we believe that up to 70% of all software development still relies on post-compilation testing.”
Mike Ellims of Pi Technology, a designer of safety-related automotive systems and one of the first users of the service, said, “The PolySpace service allowed us to add manpower to a critical project, performing a specific verification task, while minimising the overheads associated with learning the application. Part of our project involved the use of code from a third party: the Polyspace service proved to be a very efficient way of finding potential errors in the third-party code.”
The PolySpace BDS is aimed at companies and development teams that need a fast turnaround on testing the validity of their software, but have not invested in a full suite of software validation tools. The service uses the PolySpace suite of static verification tools for Ada and C code to provide customers with a full report on their embedded code. Turnaround time and costs are dependent on the size of the application.
PolySpace Technologies uses a technique called static verification to analyse software at an early stage of development to ensure that it will work. It will detect and highlight faults such as referencing a variable that doesn’t exist or trying to divide another variable by zero.