back to article DARPA gamifies open-source software testing

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 …

COMMENTS

This topic is closed for new posts.
Silver badge

Yawns.

DARPA produces decent kit, hardware & code.

Advert-driven web-sites? Maybe not so much.

0
0

Re: Yawns.

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.

0
0
Silver badge
Facepalm

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 ?)

0
0

Darpa making games?

I guess you can justify any approach in the US military with the right argument and willing participants.

0
0
Bronze badge

Shall we play a game?

How about Global Thermonuclear War

3
0
Silver badge
Mushroom

Re: Shall we play a game?

O.K., I baggsy being the Norks.

0
1
Silver badge

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.

0
0
Silver badge
Paris Hilton

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.

1
0
Silver badge

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?

1
0
Silver badge

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.

0
0
This topic is closed for new posts.

Forums