Testing tools
This is home to the leading software verification products Cantata++, AdaTEST 95 and Klocwork. Tools offering unrivalled facilities for software testing and analysis and used by developers of high-quality systems worldwide.
|
- | for C / C++ and Java |
|
- | for Ada |
|
- | for C, C++ and Java |
IPL's testing tools have been at the forefront of software verification since their introduction in early 1990s. Their use has featured in many high profile projects ranging from telecommunications, medical instruments, air-traffic control, avionics, rail transport, automotive, space, defence, nuclear energy, financial and digital broadcast systems. The common factor in all of these areas is the imperative to produce software which reliably “does what it should do” in a cost-effective manner. See an overview here.