DARPA dreht sich zu Software-Schwachstellen in ein Spiel finden


Es gibt keinen Weg "rund um die Tatsache, dass Millionen von Zeilen Softwarecode für Schwachstellen scannen eine lästige Pflicht ist. Aber jetzt DARPA ist daran interessiert, freiwillige Helfer aus – durch verwandelte sie in ein Spiel.

DARPA neue Crowd Sourced formale Verifikation Initiative setzt freiwillige es Codeschwachstellen zu finden. Die fünf kostenlose Spiele online gespielt werden können – oder im XylemFall auf dem iPad. Computerwelt erklärt, wie die Spiele funktionieren:

Die Spiele sind so ausgelegt, dass wenn Benutzer Rätsel lösen, um auf die nächste Stufe des Spiels voraus, sie eigentlich Programm Anmerkungen generieren und mathematische, dass Beweise identifizieren kann oder beweisen die Abwesenheit von Fehlern in Software in C oder Java geschrieben. DARPA finanziert den spielen und dem Portal durch seine Masse bezogen formale Verifikation (KSPV) Programm...

Die Idee ist, Karte, was im Grunde wirklich schwer mathematische Probleme auf Puzzle-Spiele sind, die wäre lustig zu spielen, nach DARPA Materialien.

Wiederum dürfte es einige der Arbeitslast auf DARPA Analysten – um "mindestens eine Größenordnung" Wenn ihre Ansprüche sind, um es zu glauben. Die Ergebnisse von den Spielen ermöglichen DARPA Forscher darauf konzentrieren, "die kleine Code-Schnipsel, die weitere Analyse und verwandeln sie in den Parametern um ein Puzzle zu generieren" nach John Murray wurde, die am Projekt beteiligt.

Was wartest du noch? Gehen Sie, Spiele spielen und DARPA zur gleichen Zeit zu helfen. [Verigames über Computer-Welt]

Verwandte Artikel

Andy Murray dreht sich seine Aufmerksamkeit auf Davis-Cup-Spiel mit USA

• Britische No1 spielen könnte, Einzel und Doppel in San Diego • "Happy mit Fortschritt" der Lendenwirbelsäule bei Australian Open Andy Murray fliegt aus Melbourne am Sonntag geschlagen aber nicht entmutigen lassen. Er leitet für San Diego, wo e...

Ein Ehering dreht sich mehr wie ein Bumerang als eine Münze

Drehen Sie eine Münze auf einer flachen Oberfläche, und es Spiralen viel wie einen Planeten um einen Stern – zumindest bis es aus Dampf läuft und Rasseln zum Stillstand auf dem Tisch. Aber Spinnen einen Ehering genauso, und es wird eine überraschende abru...

Shiloh Jolie-Pitt dreht sich sechs! Eine Hommage an ihren einzigartigen Stil (Fotos)

Am Sonntag 27. Mary, Shiloh Jolie-Pitt dreht sich sechs! Das erste biologische Kind super-duper-A-Liste paar Angelina Jolie und Brad Pitt zierte die Welt mit ihrer Anwesenheit im Jahr 2006 geboren in dem afrikanischen Land Namibia. SHiloh hatte die Augen...

Vom Drogendealer zu Wurst Berühmtheit: wie eine Frau ihr Leben drehte sich um

Tracy Mackness erzählt Sharon Wright von Gefangenen wollte Unternehmer, und wie sie hilft junge Menschen, die auf der Strecke bleiben Die Welt ist voll von Business-Gurus behauptet, den Schlüssel zum weiblichen Erfolg zu halten. Tracy Mackness gegangen ei...

Die Ressentiments zwischen London und dem Rest von Großbritannien dreht sich in eine giftige politische Debatte

Diese Woche faulen Herrenhaus-Steuer Zeile zeigt, dass giftige Mythen über Arm und Reich immer mehr durchsetzt sind Es beginnt mit der heimlichen Surfen Eigenschaft Porno, late-Night Lust auf Rose bedeckten Hütten und baufälligen Bauernhäusern und Hektar...

Sich selbst zu lieben ist ein Geschenk an Ihre Tochter zu

Es ist kein Geheimnis, dass wir Frauen Schwierigkeiten haben, sich in unserer eigenen Haut wohl zu fühlen. Wenn wir in den Spiegel schauen, holen wir uns auseinander. Wenn wir den Fernseher einzuschalten oder das Haus verlassen, wir vergleichen uns mit de...

JWoww und ihrem Baby-Bauch? Nö! Alles dreht sich um die Welpen. (Fotos)

Während viele Prominente, die eine Brötchen im Ofen haben wie zu teilen, zu teilen und zu teilen etwas mehr von ihren Baby-Bauch (man denke zurück zu Kim Zolciak und Amber Rose), schwanger JWoww aka Jennifer Farley hat halten ihr Baby Beule unter Verschlu...

Blaue Augen zu rekapitulieren: Folge neun – rund und sie dreht sich das Messer

Wir sind für einen schaurigen Höhepunkt nächste Woche unterwegs. Alles was wir verlangen, dass Sofia und Simon, zwei Seelen verlorene in die psychopathische terroristische Gang gezogen wird machen es lebendig heraus Blue Eyes wurde von Anfang an, zwei Dra...

Wenn dein Leben dreht sich um Ihre Kinder, kann wie Ihre Ehe überleben?

Es gibt eine neue Religion mit Mitgliedern in Milliardenhöhe Nummerierung und es gewinnt jeden Tag mehr Bekehrte. Es nennt sich Elternschaft , aber anstelle von Jesus, wir haben unsere Kinder das Zentrum unseres Universums gemacht. Liebe Kolleginnen und K...

Ein Hack verwandelt sich den quadratische Kartenleser in ein Skimmer

Der Square-Leser hat dazu beigetragen, die Einstiegsschwelle für viele kleine Einzelhändler Karte Zahlungen übernehmen gerne zu senken. Nun zeigt aber neue Forschungsergebnisse, dass es möglich ist, einer der Leser in einem Schaumlöffel zu verwandeln. Sic...

Ashlee Simpson: Alles dreht sich um Bronx

Ashlee Simpson, Mutter Sohn Bronx Mowgli, 8 Monate alt, arbeitet an der neuen Melrose Place, die auf the CW ausgestrahlt wird. Ashlee ist Glück, ihr Baby auf die Reihe zu bringen und sagt, dreht sich alles um den Tot! Die Cast und Crew von Melrose Place s...

Happy Birthday Haunted Mansion! Disneyland klassische Fahrt dreht sich 43 – von damals bis heute

Es gibt bestimmte Fahrten, die auf der Oberseite der Liste der schönsten Erinnerungen in Disneyland sind. Reitet, dass Sie als Kind geliebt und Sie mit Ihren eigenen Kindern zu teilen. Fahrten, die einen besonderen in deinem Herzen und in der ihrigen...

Erdkern dreht sich schneller als Oberfläche, Studie bestätigt

Die riesige Kugel aus Eisen und Nickel, die Erdmittelpunkt Anker dreht sich schneller als die Oberfläche des Planeten, laut einer neuen Studie, die Wissenschaftler Erwartungen bestätigt. Die Feststellung basiert auf Analysen der Erdbeben-Paare, die in etw...

Mein Freund Schönheit drehte sich fast ihr Leben um. Nun sie ist in Rikers – und verlor in einem hoffnungslos defekten system

Schönheit kehrte im Dezember von den Straßen der Bronx Zuflucht in Oklahoma. Einen Monat später wurde sie gewaltsam zurück gebracht, und heute bleibt sie gefangen in einem unflexiblen und überwältigt Rechtssystem Teil 1: Kämpfen mit sucht, mein Freund Sch...