Feeds

DARPA seeks game players to join bug-hunt

No prize, but you get to play for free

Boost IT visibility and business value

DARPA, which last week launched a multi-million-dollar bug hunt, is also trying out the notion of using games to help track down bugs in commercial software.

However, while last week's bounty is targeting hackers, the Crowd Sourced Formal Verification project is hoping to use mug punters to find bugs in commercial-style software – rather like every software vendor on earth, but instead of us having to suffer BSODs or crashing applications, DARPA wants to make it fun.

Hence Verigames, which the agency wants to use to translate the “hard math” of formal software verification into something that the untrained can accomplish by playing games.

As DARPA puts it: “The CSFV games translate players’ actions into program annotations and generate mathematical proofs to verify the absence of important classes of flaws in software written in the C and Java programming languages. CSFV aims to investigate whether large numbers of non-experts playing formal verification games can perform formal verification faster and more cost-effectively than conventional processes.”

DARPA program manager Drew Dean said: “We’re seeing if we can take really hard math problems and map them onto interesting, attractive puzzle games that online players will solve for fun.”

The program has been launched with five games – CircuitBot (run a team of robots), Flow Jam (adjusting a cable network to maximise its flow), Ghost Map (find a path through a brain network), StormBound (discover symbols in a windstorm) and Xylem (use maths to catalogue plant species).

Under the hood, the agency says, the games “translate players' actions into program annotations that help formal verification”. In this instance, the gameplay is testing C and Java code present in common open-source software.

If harmful bugs are discovered, DARPA says it will notify the organisation responsible for the software. ®

Build a business case: developing custom apps

More from The Register

next story
KDE releases ice-cream coloured Plasma 5 just in time for summer
Melty but refreshing - popular rival to Mint's Cinnamon's still a work in progress
Leaked Windows Phone 8.1 Update specs tease details of Nokia's next mobes
New screen sizes, dual SIMs, voice over LTE, and more
Mozilla keeps its Beard, hopes anti-gay marriage troubles are now over
Plenty on new CEO's todo list – starting with Firefox's slipping grasp
Apple: We'll unleash OS X Yosemite beta on the MASSES on 24 July
Starting today, regular fanbois will be guinea pigs, it tells Reg
Another day, another Firefox: Version 31 is upon us ALREADY
Web devs, Mozilla really wants you to like this one
Secure microkernel that uses maths to be 'bug free' goes open source
Hacker-repelling, drone-protecting code will soon be yours to tweak as you see fit
Cloudy CoreOS Linux distro declares itself production-ready
Lightweight, container-happy Linux gets first Stable release
prev story

Whitepapers

Implementing global e-invoicing with guaranteed legal certainty
Explaining the role local tax compliance plays in successful supply chain management and e-business and how leading global brands are addressing this.
Boost IT visibility and business value
How building a great service catalog relieves pressure points and demonstrates the value of IT service management.
Why and how to choose the right cloud vendor
The benefits of cloud-based storage in your processes. Eliminate onsite, disk-based backup and archiving in favor of cloud-based data protection.
The Essential Guide to IT Transformation
ServiceNow discusses three IT transformations that can help CIO's automate IT services to transform IT and the enterprise.
Maximize storage efficiency across the enterprise
The HP StoreOnce backup solution offers highly flexible, centrally managed, and highly efficient data protection for any enterprise.