Software Analysis and Transformation Systems

软件分析和转换系统

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

Structural source transformation is a recent and 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 new 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, document recognition and analysis, and 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, and by other researchers worldwide. In this proposal we concentrate primarily on languages and tools for software analysis and maintenance, which accounts for over 70% of industrial software costs. This work involves the collaboration and training of more than 20 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%以上。 这项工作包括在未来五年内合作和培训20多名博士和硕士论文学生。这些学生将应用最先进的工具和技术来设计和开发下一代工业软件开发的基于转换的软件分析和维护方法。