Feeds

DARPA gamifies open-source software testing

But can you use it to test game software? Eh?

Secure remote control for conventional and virtual desktops

Secret-squirrel military tech bureau DARPA has designed a series of computer games which can help to verify open source software.

It is working on the games under the auspices of its Crowd Sourced Formal Verification programme.

The idea is to perform the soft of software verification which is generally conducted by technical experts.

“There are not enough human experts or available time to demonstrate that software is secure and reliable – so what we’ve done is repackage what human experts would normally do and produce tens of thousands of game levels for players on the internet to play games for us,” Matthew Barry, who is principal investigator at Kestrel Technology, the firm working with DARPA to develop the games, told Military.com.

One of the games is called Circuit Bot and involves running missions to asteroids.

“Along the way they are assembling teams of robots that have different assignments. If you assemble the robot team in the correct order you get a certain amount of points. The results of those assemblies contribute toward the verification of open source software,” Barry continued. “We’re enhancing what a human expert has to do by using the internet crowd to play games.”

Five games are available to be played on the website Verigames and some of the software verified by gamers may even end up being used by DARPA itself and other government organisations. ®

Top 5 reasons to deploy VMware with Tegile

More from The Register

next story
New 'Cosmos' browser surfs the net by TXT alone
No data plan? No WiFi? No worries ... except sluggish download speed
iOS 8 release: WebGL now runs everywhere. Hurrah for 3D graphics!
HTML 5's pretty neat ... when your browser supports it
Mathematica hits the Web
Wolfram embraces the cloud, promies private cloud cut of its number-cruncher
Mozilla shutters Labs, tells nobody it's been dead for five months
Staffer's blog reveals all as projects languish on GitHub
'People have forgotten just how late the first iPhone arrived ...'
Plus: 'Google's IDEALISM is an injudicious justification for inappropriate biz practices'
SUSE Linux owner Attachmate gobbled by Micro Focus for $2.3bn
Merger will lead to mainframe and COBOL powerhouse
iOS 8 Healthkit gets a bug SO Apple KILLS it. That's real healthcare!
Not fit for purpose on day of launch, says Cupertino
Netscape plugins about to stop working in Chrome for Mac
Google kills off 32-bit Chrome, only on Mac
prev story

Whitepapers

Secure remote control for conventional and virtual desktops
Balancing user privacy and privileged access, in accordance with compliance frameworks and legislation. Evaluating any potential remote control choice.
Intelligent flash storage arrays
Tegile Intelligent Storage Arrays with IntelliFlash helps IT boost storage utilization and effciency while delivering unmatched storage savings and performance.
WIN a very cool portable ZX Spectrum
Win a one-off portable Spectrum built by legendary hardware hacker Ben Heck
High Performance for All
While HPC is not new, it has traditionally been seen as a specialist area – is it now geared up to meet more mainstream requirements?
Beginner's guide to SSL certificates
De-mystify the technology involved and give you the information you need to make the best decision when considering your online security options.