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. ®

Application security programs and practises

More from The Register

next story
HIDDEN packet sniffer spy tech in MILLIONS of iPhones, iPads – expert
Don't panic though – Apple's backdoor is not wide open to all, guru tells us
Apple fanbois SCREAM as update BRICKS their Macbook Airs
Ragegasm spills over as firmware upgrade kills machines
NO MORE ALL CAPS and other pleasures of Visual Studio 14
Unpicking a packed preview that breaks down ASP.NET
Captain Kirk sets phaser to SLAUGHTER after trying new Facebook app
William Shatner less-than-impressed by Zuck's celebrity-only app
Do YOU work at Microsoft? Um. Are you SURE about that?
Nokia and marketing types first to get the bullet, says report
Microsoft takes on Chromebook with low-cost Windows laptops
Redmond's chief salesman: We're taking 'hard' decisions
Cheer up, Nokia fans. It can start making mobes again in 18 months
The real winner of the Nokia sale is *drumroll* ... Nokia
prev story

Whitepapers

Seven Steps to Software Security
Seven practical steps you can begin to take today to secure your applications and prevent the damages a successful cyber-attack can cause.
Consolidation: The Foundation for IT Business Transformation
In this whitepaper learn how effective consolidation of IT and business resources can enable multiple, meaningful business benefits.
Designing a Defense for Mobile Applications
Learn about the various considerations for defending mobile applications - from the application architecture itself to the myriad testing technologies.
Build a business case: developing custom apps
Learn how to maximize the value of custom applications by accelerating and simplifying their development.
Consolidation: the foundation for IT and business transformation
In this whitepaper learn how effective consolidation of IT and business resources can enable multiple, meaningful business benefits.