Software Analysis and Transformation Systems

软件分析和转换系统

• 批准号: RGPIN-2018-04553
• 负责人: Cordy, James
• 金额: $ 3.5万
• 依托单位: Queen's University
• 依托单位国家: 加拿大
• 项目类别: Discovery Grants Program - Individual
• 财政年份: 2019
• 资助国家: 加拿大
• 起止时间: 2019-01-01 至 2020-12-31
• 项目状态: 已结题
• 来源: https://www.nserc-crsng.gc.ca/ase-oro/Details-Detailles_eng.asp?id=689730
• 关键词: Software; Analysis; Transformation; Systems

Structural source transformation is an increasingly popular computer programming paradigm with a wide range of applications in academia and industry. We have designed the TXL programming language to explicitly and conveniently express problem solutions using this paradigm. In this work we explore and extend techniques for expressing and implementing structural source transformation systems (such as TXL) in the context of their application to computer software analysis and maintenance, in particular to model-driven engineering.******The global goal of this work is the pursuit of efficient, cost-effective and correct methods for the development and maintenance of computer software systems. Our past work has been adapted into the products and services offered by IBM Canada and other companies in the Canadian software and financial industries, in the engineering of automotive systems at General Motors Canada, and by other researchers worldwide. In this proposal we concentrate primarily on tools and techniques for software analysis and maintenance, which accounts for over 70% of industrial software costs. ******This work involves the collaboration and training of more than 15 PhD and MSc thesis students over the next five years. These students will be applying state-of-the-art tools and techniques to design and develop the transformation-based software analysis and maintenance methods of the next generation of industrial software development.

结构源转换是一种日益流行的计算机编程范式，在学术界和工业界有着广泛的应用。我们设计了TXL编程语言，以便使用这种范式显式地、方便地表达问题的解决方案。在这项工作中，我们探索和扩展了在计算机软件分析和维护，特别是模型驱动工程的应用环境中表达和实现结构源转换系统（如TXL）的技术。******这项工作的全球目标是追求高效、经济、正确的方法来开发和维护计算机软件系统。我们过去的工作已被改编成IBM加拿大公司和加拿大软件和金融行业的其他公司、通用汽车加拿大公司的汽车系统工程以及世界各地的其他研究人员提供的产品和服务。在这个建议中，我们主要集中于软件分析和维护的工具和技术，这占工业软件成本的70%以上。******这项工作涉及在未来五年内合作和培训超过15名博士和硕士论文学生。这些学生将应用最先进的工具和技术来设计和开发基于转换的软件分析和维护方法的下一代工业软件开发。