...Start-up aims to reduce software defects by a factor of five and rework by a factor of four...
Verum Consultants, a European start-up, today launched a mathematical approach to software development, developed in conjunction with the University of Oxford, which will iron out inherent flaws in the most critical of software applications. The consultancy service will enable software projects to be delivered to budget, within a predictable timescale, with a known defect rate.
Verum has developed a technique called Analytical Software Design (ASD) that enables behaviourally-complex software specifications to be described and verified mathematically prior to development.
ASD ensures that a software specification is mathematically correct at the outset of a project, so reducing the number of errors introduced throughout the project, and ensuring that the code can be accurately verified for correctness at the end of this project.
"You wouldn't start building an aeroplane or a skyscraper without first proving the design mathematically. Yet this happens every day in the software development industry as coders sit down in front of workstations. And as a result software failure and unpredictability is a norm. Verum wants to change this," said Robert Howe, Chief Executive Officer, Verum Consultants.
Verum believes that ASD will ultimately enable software development projects to be delivered within a predictable timescale, at a fixed budget, with a known level of errors.
Mathematics is used to verify a design at the outset of a project and throughout its development in almost every other area of engineering. But software engineers traditionally go direct from a written specification to code development.
Under existing software development models Verum believes that testing as a means to removing software defects is flawed: because no design verification is possible, software testing involves finding and removing not only implementation defects, but all defects introduced through the development lifecycle, and the inherently non-deterministic nature of complex behavioural software means that it is essentially untestable.
Verum's consultants work with clients throughout the lifecycle of a development project to produce verifiable code, in precisely the same way that a structural engineer works in the civil engineering industry.
Guy Broadfoot, Verum's Chief Technical Officer, has spent the last 30 years as a software development manager and engineer. He developed Verum's Analytical Software Design (ASD) approach after studying software engineering, specialising in formal methods at the University of Oxford.
Based on completed assignments, Verum estimates that the application of ASD throughout a software development project reduces software defects by a factor of five, and more crucially, rework by a factor of four. Rework, the unpredictable component of a software development project usually accounts for an additional 40 to 50 per cent of a project's effort.
"The software development industry is adolescent at best. The application of mathematical models to the software development process, which is common to every other area of engineering, is part of the process of growing up," said Guy Broadfoot, Chief Technical Officer, Verum Consultants.
- ends -
Verum was founded in 2003 by Guy Broadfoot and Robert Howe two veterans of the software delopment industry. The company specialises in the mathematical design and verification of complex software for the original equipment (OEM), automotive, medical and telecoms markets.
Verum has developed a technique called Analytical Software Design (ASD) that enables software specifications to be described and verified mathematically prior to development. In addition ASD produces data sets that can be used for statistical testing of the end result.
Verum adds this element to a client's own engineering process by working closely with the client's software architects and designers. For further information, see: www.verum.com.
020 7494 6570
Palladium House, One Argyll Street
London W1F 7TA
DD: +44 20 7494 6579
T: +44 20 7494 6570
M: +44 7941 470 406
Published on: 12:00AM on 6th May 2004