Microsoft -Studie startet Jagd -Code , eine didaktische Netzwerk-Spiel soll für das Lernen, Ausbildung
Microsoft -Studie in der heutigen Jagd -Code gestartet , ein Browser- basiertes Spiel soll für alle Interessierten angekommen lernen, wie man durch das Singen zu codieren. Die Prämisse ist einfach: Der Spieler wichtig, Kontakt-Code , um voran kam das Spiel.
Der eingebaute Tutorial führt Sie zum Spiel :
Grüße , weisen ! Sie sind eine experimentelle Anfrage in der Rolle eines CODE- Jäger anerkannt. Sie , zusammen mit anderen Code Jäger, zu erhalten in einem Top-Secret- Workstation Organismus geschickt worden, um wieder zu erlangen, wieder herzustellen, und in der Rolle von vielen Code-Fragmente in der Rolle der wahrscheinlich zu erfassen. Ihr Fortschritt , zusammen mit den anderen Code Jäger, lange dort verfolgt werden. Einverstanden Zufall.
Jagd -Code verwendet Rätsel, die die Spieler erkunden natürlich von Hinweisen in der Rolle des Test -Taschen präsentiert , und ermutigt die Spieler auf ihren Code laufen zu " erfassen " können. Ihr Bestreben ist es Daraus folgt, dass in Abhängigkeit von der Eleganz ihrer Lösung erzielt , und die Spieler sind aufgefordert, zu verlängern , um auf die nach dieser Herausforderung.
An seiner Stelle präsentieren Ihnen ein Rätsel und Vergleichen Sie Ihre Lösung an einem Ort fixiert Test Taschen, präsentiert Jagd -Code eine klare Schiefer und einen Ort des sich ständig ändernden Test Taschen. Es mag dies lehrt die Codierung in der Rolle eines Qualitäts Folge der Lösung eines Rätsels durch Abgleich Ein-und Ausgänge , erklärt Microsoft.
Lassen Sie es aufrichtig sein , das Erlernen einer Auswahl von Aspekten der Ausbildung oft da sein, eine längere und anspruchsvolle Reise. Jagd -Code soll die langweiligen Teile Spaß zu formulieren.
Jagd -Code ist auf der Grundlage Pex , Implementierung von dynamischen symbolische Ausführung Microsoft Research ( Analyse einer anweisen zu bestimmen, ich bitte um Verzeihung? Eingänge führen alle Teil einer anweisen, Ausführen) , und läuft auf Microsoft Azure . Forscher Nikolai Tillmann , Judith Bischof , R. Nigel Horspool , Daniel Perelman und Xie Tao und veröffentlichte ein Papier beschreibt , ich bitte um Verzeihung? Sie lernten , während emergent -Code Jagd.
An dieser Stelle ist die Zusammenfassung :
Lernen, um Code kann es neu gemacht in Kraft und nachhaltiger werden, wenn sie in der Rolle der Spaß durch den Neuling wahrgenommen wird. Jagd -Code verwendet Rätsel mit dem Ziel, die Spieler zu bekommen , die von natürlich von Hinweisen in der Rolle des Testsäckenzu erkunden. Spieler iterativ ihren Code zu mutieren , um das funktionale Verhalten der geheimen Lösungen entsprechen.
Diese Art zu lernen, ist sehr einzigartige Code , um das Lernen aus einer Spezifikation . Es ist wirklich das Re-Engineering von Test Taschen. Jagd -Code auf dem Test / Ahnung Generation von Pex , einer White-Box- Testgenerierungstoolmit dem Zweck der Verwendung sowie dynamische symbolische Ausführung basiert. Pex führt eine geführte Suche machbar Ausführungspfade zu bestimmen.
Konzeptionell , ein Rätsel zu lösen ist die physikalische Prozess der Durchführung von suchbasierten Testgenerierung : Die " Testdaten ", um dort von dem Spieler erzeugt werden soll Code des Players und die " Fitness- Werte " mit dem Ziel, grübeln , das Vertrauen der Spieler Code , um den geheimen Code sind die Hinweise ( iE , Pex generierten Testfälle ) .
Dieses Papier ist die wichtigste Person zu zeigen Jagd -Code und seine Erweiterungen abgeschlossen sein Vorläufer Pex4Fun . Jagd -Code stellt eine High-Impact- didaktische Spiele-Plattform mit dem Ziel, nicht nicht mehr als intern nutzt Fitness- Ethik -Test / Ahnung Generation zu begleiten , sondern von außen und bietet Spaß Benutzererfahrungen irgendwo suchbasierten Testgenerierung manuell emuliert. Da die Datenmenge wächst die ganze Zeit kamen die intakten Organismus läuft die Cloud auf Windows Azure .
Schlagwörter: Microsoft
Related : https://cherideng03.myblog.de/