Software Analysis and Transformation Systems

软件分析和转换系统

• 批准号: RGPIN-2018-04553
• 负责人: Cordy, James
• 金额: $ 3.5万
• 依托单位: Queen's University
• 依托单位国家: 加拿大
• 项目类别: Discovery Grants Program - Individual
• 财政年份: 2018
• 资助国家: 加拿大
• 起止时间: 2018-01-01 至 2019-12-31
• 项目状态: 已结题
• 来源: https://www.nserc-crsng.gc.ca/ase-oro/Details-Detailles_eng.asp?id=648083
• 关键词: 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多名博士学位和MSC论文专业学生进行合作和培训。这些学生将应用最先进的工具和技术来设计和开发下一代工业软件开发的基于转换的软件分析和维护方法。