Integration of Scripts in Reliable Programs

将脚本集成到可靠的程序中

• 批准号: 226160369
• 负责人: Professor Dr. Peter Thiemann
• 金额: --
• 依托单位: Institut für Informatik (IIF)
• 依托单位国家: 德国
• 项目类别: Research Grants
• 财政年份: 2013
• 资助国家: 德国
• 起止时间: 2012-12-31 至 2020-12-31
• 项目状态: 已结题
• 来源: https://gepris.dfg.de/gepris/projekt/226160369?language=en
• 关键词: Integration; Scripts; Reliable; Programs

The JavaScript programming language is ubiquitous: it is used inmore than 94 percent of all web sites and it is the most used language on community sites like GitHub and Stackoverflow. JavaScript is no longer just the language of the Web, as it sees increasing use in server-sideapplications and in IoT applications. However, developers struggle when maintaining sizable software systems in JavaScript because the language is not equipped for ``Programming in the Large''.TypeScript is an extension of JavaScript developed by Microsoftwhich provides types and typed component interfaces to better support largescale projects. Studies show that the additional documentation andtooling opportunies due to types boost developer productivity by upto 15 percent. However, the migration of JavaScript code to TypeScript ishampered by the fact that typed interfaces for existing JavaScriptprograms, libraries, and frameworks must be constructed and vetted manually.This project will improve on this situation by exploring,developing, and implementing new techniques for automaticallyinferring precise TypeScript interfaces from existing JavaScriptcode bases. Compared to previous work in this area, we will makeuse of a novel combination of simple static and dynamic analysis,combined with techniques from symbolic execution and testgeneration. The goal of this combination is to obtain authentic andprecise type information directly from program execution rather thanfrom separately implemented artifacts like elaborate and error-pronestatic analysis systems.

JavaScript编程语言无处不在：它在超过94%的网站中使用，并且是GitHub和Stackoverflow等社区网站上使用最多的语言。JavaScript不再仅仅是Web语言，因为它在服务器端应用程序和物联网应用程序中的使用越来越多。然而，开发人员在使用JavaScript维护大型软件系统时会遇到困难，因为该语言不适合“大型编程”。TypeScript是Microsoft开发的JavaScript的扩展，它提供了类型和类型化组件接口，以更好地支持大型项目。研究表明，由于类型而产生的额外文档和工具机会将开发人员的生产力提高了15%。然而，将JavaScript代码迁移到TypeScript受到了现有JavaScript程序、库和框架的类型化接口必须手动构造和审查的事实的影响。本项目将通过探索、开发和实现从现有JavaScript代码库自动推断精确TypeScript接口的新技术来改善这种情况。 与以前的工作相比，在这方面，我们将makeuse一个简单的静态和动态分析，结合从符号执行和测试生成技术的新组合。这种组合的目标是直接从程序执行中获得真实和精确的类型信息，而不是从单独实现的工件（如精心设计的和易于出错的静态分析系统）中获得。