10 Million USD Research Project to Guarantee Bug-Free Software
No, this is not one of those “Fake Software Tester’s Diary” entries. This one is for real. We just heard a group of computer scientists launched a campaign to guarantee bug-free software. A team led by Princeton computer scientist Andrew Appel aims to exterminate software “bugs,” the maddening but unintended programming errors that can open our lives to hackers and thieves, mess up our cellphones, our cars and the growing list of electronic devices that we rely on in our daily lives, and cause inaccuracies in computers performing critical tasks such as tracking and tabulating election returns.
This is supposed to be a 5 years long research project with 10 million US dollars in funding. The researchers at the University of Pennsylvania, Yale University and the Massachusetts Institute of Technology plan to develop integrated tools to eliminate uncertainty from the complex task of software development.
The official name of the project is Expeditions in Computing: The Science of Deep Specification (DeepSpec). The researchers’ initial challenge will be to dissect the overwhelming complexity of modern hardware and software to uncover the factors that determine how various computer components work together. The next step is to develop “deep specifications” — gritty, precise descriptions of the behavior of software based on formal logic (deductive reasoning, the use of syllogisms and mathematics) — that will enable engineers not only to build bug-free programs but to verify that their programs behave exactly as they should. DeepSpec is funded by the National Science Foundation.
You can read the full report here.
No doubt, this is an ambitious project. A very very ambitious research project. We remember, in the past several attempts have been made to produce similar outcomes. One such significant product was Moolya’s Super Glue, which promised bug free software from any kinds of software. The product was so popular, it was overbooked and next booking available only in 2050 A.D. Hope this DeepSpec stuff comes out real quick, so (we don’t have to wait till 2050 A.D.) we all software testers can go for long vacation.
Do you have a cheaper option to guarantee bug-free software?
Ajoy Kumar Singha
Latest posts by Ajoy Kumar Singha (see all)
- Project Balto – Some Key Lessons in Test Planning - February 25, 2016
- Testing Circus – December 2015 Edition - January 10, 2016
- 10 Million USD Research Project to Guarantee Bug-Free Software - January 8, 2016