000307957 001__ 307957
000307957 005__ 20240928181432.0
000307957 0247_ $$aG:(GEPRIS)22176865$$d22176865
000307957 035__ $$aG:(GEPRIS)22176865
000307957 040__ $$aGEPRIS$$chttp://gepris.its.kfa-juelich.de
000307957 150__ $$aTypbasierte Programmanalyse für Skriptsprachen$$y2006 - 2013
000307957 371__ $$aProfessor Dr. Peter Thiemann
000307957 450__ $$aDFG project G:(GEPRIS)22176865$$wd$$y2006 - 2013
000307957 5101_ $$0I:(DE-588b)2007744-0$$aDeutsche Forschungsgemeinschaft$$bDFG
000307957 680__ $$aSkriptsprachen wie Tcl/Tk, Perl, PHP und JavaScript sind dynamische Programmiersprachen zur schnellen Erstellung von Anwendungen (Skripten) durch Kombination von vorgegebenen Komponenten. Skripte wachsen oft evolutionär aus einem schnell implementierten Kern ohne sorgfältige Planung. Daher ist die Änderung von großen Skripten (d.h., ihre Wartung) schwierig. Ein Teil des Wartungsproblems liegt darin, dass es zwar dedizierte Editoren, Debugger und Testwerkzeuge gibt, nicht aber Werkzeuge zur statischen Analyse von Skripten, mit deren Hilfe gewisse Arten von Fehlern ausgeschlossen werden können. Das vorliegende Projekt ist ein erster Schritt zu einem Werkzeug, das eine statische Typanalyse, ähnlich dem Soft-Typing, für JavaScript durchführt. Ziel des Projekts ist der Aufbau einer Experimentierumgebung zur Erforschung von Techniken der typbasierten Programmanalyse für Skriptsprachen am Beispiel der Sprache JavaScript. Zunächst sollen die theoretischen Grundlagen der Typanalyse für JavaScript erarbeitet werden. Darauf aufbauend soll die Experimentierumgebung einen Rahmen zum Entwurf, der Implementierung und der Evaluation von Algorithmen zur Typanalyse für den vollen Sprachumfang zur Verfügung 3 stellen. In dieser Umgebung wollen wir die erarbeiteten Algorithmen implementieren und die Qualität der resultierenden Analyse an realistischen Beispielprogrammen überprüfen. Anschließend soll die Analyse an den so gefundenen Problemstellen verbessert werden. JavaScript wurde gewählt, da die Sprache weit verbreitet ist und industriell eingesetzt wird.
000307957 909CO $$ooai:juser.fz-juelich.de:974832$$pauthority$$pauthority:GRANT
000307957 909CO $$ooai:juser.fz-juelich.de:974832
000307957 980__ $$aG
000307957 980__ $$aAUTHORITY