Feeds

DARPA gamifies open-source software testing

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

5 things you didn’t know about cloud backup

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

Secure remote control for conventional and virtual desktops

More from The Register

next story
Why has the web gone to hell? Market chaos and HUMAN NATURE
Tim Berners-Lee isn't happy, but we should be
Linux turns 23 and Linus Torvalds celebrates as only he can
No, not with swearing, but by controlling the release cycle
Apple promises to lift Curse of the Drained iPhone 5 Battery
Have you tried turning it off and...? Never mind, here's a replacement
Sin COS to tan Windows? Chinese operating system to debut in autumn – report
Development alliance working on desktop, mobe software
Eat up Martha! Microsoft slings handwriting recog into OneNote on Android
Freehand input on non-Windows kit for the first time
This is how I set about making a fortune with my own startup
Would you leave your well-paid job to chase your dream?
(Not so) Instagram now: Time-shifting Hyperlapse iPhone tool unleashed
Photos app now able to shoot fast-moving videos
prev story

Whitepapers

A new approach to endpoint data protection
What is the best way to ensure comprehensive visibility, management, and control of information on both company-owned and employee-owned devices?
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.
Maximize storage efficiency across the enterprise
The HP StoreOnce backup solution offers highly flexible, centrally managed, and highly efficient data protection for any enterprise.
How modern custom applications can spur business growth
Learn how to create, deploy and manage custom applications without consuming or expanding the need for scarce, expensive IT resources.
Next gen security for virtualised datacentres
Legacy security solutions are inefficient due to the architectural differences between physical and virtual environments.