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 …
DARPA produces decent kit, hardware & code.
Advert-driven web-sites? Maybe not so much.
jake, did you actually look at the website - or just make assumptions?
Personally, i'd like to know how this works in more detail, but i suppose its easier just to write it off without looking at it.
What if there is a bug in the software ?
Wouldn't that also create a bug in the game ?
(also... what if there is a bug in the software of the game itself ?)
Darpa making games?
I guess you can justify any approach in the US military with the right argument and willing participants.
Shall we play a game?
How about Global Thermonuclear War
Re: Shall we play a game?
O.K., I baggsy being the Norks.
Wasn't this already covered?
Like, several months back?
Aha, looks like last time it was for "commercial software". Well I guess that makes all the difference.
I don't understand
...how this actually works.
Is this acceptance testing of certain classes of programs? I imagine one could "test" to a certain degree a missile targeting algorithm in a virtual environment by having players try to evade it in a virtual plane, but in general I don't see how to test software this way.
Re: I don't understand
I presume this is just smoke testing where you map a set of code variables to a set of in game equivalents then let the internet go through all the possible combinations. Not sure why that is more effecient than another route?
Re: I don't understand
I don't get it either.
I am pretty sure though, that DARPA employs people that are actually intelligent. I am convinced that they have their case covered and are ready.
I will be waiting for the report of a bug (or security hole) in the programs that are being "game-tested". That, in my mind, will prove whether or not this method has merit.
- Product round-up Six of the best gaming keyboard and mouse combos
- China building SUPERSONIC SUBMARINE that travels in a BUBBLE
- Boffins attempt to prove the UNIVERSE IS JUST A HOLOGRAM
- Review Raspberry Pi B+: PHWOAR, get a load of those pins
- Linux turns 23 and Linus Torvalds celebrates as only he can