CAREER: Synthesizing Architectural Tactics

职业：综合建筑策略

• 批准号: 1943300
• 负责人: Mehdi Mirakhorli
• 金额: $ 40.37万
• 依托单位: Rochester Institute of Tech
• 依托单位国家: 美国
• 项目类别: Continuing Grant
• 财政年份: 2020
• 资助国家: 美国
• 起止时间: 2020-03-01 至 2025-02-28
• 项目状态: 未结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=1943300&HistoricalAwards=false
• 关键词: CAREER; Synthesizing; Architectural; Tactics

Software architecture refers to the discipline of designing the structure of software systems. The structure consists of software elements (or modules or components) and relations among them, as well as properties and constraints on the structure and behavior of the elements. The term “architecture” used in this sense is a metaphor, analogous to the architecture of a building. The software architecture serves as a blueprint for the system and the developing project, and guides the design and development of the software. During the designing of a software architecture, attributes such as reliability, availability, security, and performance are addressed by posing and comparing alternate solutions, understanding their trade-offs, and ultimately making a series of interrelated design decisions with the intention of optimizing the degree to which each of the quality concerns is satisfied. As in building architecture, the software architecture discipline has developed standard methods, called architectural tactics, of making these architectural design decisions. The main objective of this project is to develop and validate new technologies that could make software architecture design more intuitive, particularly for novice programmers and new learners. The vision is to someday be able to have programmers express their design intent intuitively and generate error-free software programs. Software architecture design is notoriously difficult to learn and even harder to master. In order to satisfy quality attribute scenarios, appropriate architectural solutions need to be chosen and implemented. These solutions are often based on well-known architectural tactics and software frameworks that deliver these tactics. This project presents a solution to change software design and programming from purely manual and exclusive tasks to one in which a programmer and an automated tactic synthesis tool collaborate to generate defect-free software design and implementation that satisfy quality attributes scenarios. This project will create (1) a context-aware inference algorithm capable of recommending suitable architectural tactics to programmers, (2) learning by example techniques for inferring the specification models that describe how a tactic can be implemented using a software framework, and (3) automated tools and an intuitive domain-specific language for the synthesis of tactical code. In addition, this research will design, develop, evaluate, and release new interventions in terms of software design strategies that can help novices and new learners during software design and programming activities.This award reflects NSF's statutory mission and has been deemed worthy of support through evaluation using the Foundation's intellectual merit and broader impacts review criteria.

软件架构是指设计软件系统结构的学科，结构由软件元素（或模块或组件）和它们之间的关系以及元素的结构和行为的属性和约束组成。意义是一个隐喻，类似于建筑物的架构，软件架构充当系统和开发项目的蓝图，并在软件架构的设计过程中指导软件的设计和开发，例如可靠性等属性。 、可用性、安全性和性能通过提出和比较替代解决方案，了解它们的权衡，并最终做出一系列相互关联的设计决策，以优化满足每个质量问题的程度，就像在构建体系结构中一样，软件体系结构学科已经解决了这一问题。开发了制定这些架构设计决策的标准方法，称为策略。该项目的主要目标是开发和验证新技术，使软件架构设计更加直观，特别是对于新手程序员和新学习者而言。能够让程序员表达众所周知，软件架构设计很难学习，甚至更难掌握，为了满足质量属性，需要选择和实施适当的架构解决方案。该项目提出了一种解决方案，将软件设计和编程从纯粹的手动和专有任务转变为程序员和自动策略综合工具协作生成无缺陷的软件设计。该项目将创建满足质量属性场景的实施。 (1) 上下文感知推理算法，能够向程序员推荐合适的架构策略，(2) 通过示例学习技术，用于推断描述如何使用软件框架实现策略的规范模型，以及 (3) 自动化工具和此外，本研究还将设计、开发、评估和发布软件设计策略方面的新干预措施，以帮助新手和新学习者进行软件设计和编程活动。 NSF 奖项体现了其法定使命通过使用基金会的智力价值和更广泛的影响审查标准进行评估，并被认为值得支持。

项目成果

Serialization-aware call graph construction

序列化感知调用图构建

• DOI: 10.1145/3460946.3464319
• 发表时间: 2021
• 期刊: Proceedings of the 10th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis
• 作者: Santos, Joanna C.;Jones, Reese A.;Ashiogwu, Chinomso;Mirakhorli, Mehdi
• 通讯作者: Mirakhorli, Mehdi

Barriers to Shift-Left Security: The Unique Pain Points of Writing Automated Tests Involving Security Controls

• DOI: 10.1145/3475716.3475786
• 发表时间: 2021-10
• 期刊: Proceedings of the 15th ACM / IEEE International Symposium on Empirical Software Engineering and Measurement (ESEM)
• 作者: Danielle Gonzalez;P. Perez;Mehdi Mirakhorli

ArCode: Facilitating the Use of Application Frameworks to Implement Tactics and Patterns

• DOI: 10.1109/icsa51549.2021.00021
• 发表时间: 2021-02
• 期刊: 2021 IEEE 18th International Conference on Software Architecture (ICSA)
• 作者: A. Shokri;Joanna C. S. Santos;Mehdi Mirakhorli

Constructing a Shared Infrastructure for Software Architecture Analysis and Maintenance

• DOI: 10.1109/icsa51549.2021.00022
• 发表时间: 2021-03
• 期刊: 2021 IEEE 18th International Conference on Software Architecture (ICSA)
• 作者: Joshua Garcia;Mehdi Mirakhorli;Lu Xiao;Yutong Zhao;Ibrahim Mujhid;K. Pham;A. Okutan;S. Malek;R. Kazman;Yuanfang Cai;N. Medvidović

A Grounded Theory Based Approach to Characterize Software Attack Surfaces

• DOI: 10.1145/3510003.3510210
• 发表时间: 2021-12
• 期刊: 2022 IEEE/ACM 44th International Conference on Software Engineering (ICSE)
• 作者: Sara Moshtari;A. Okutan;Mehdi Mirakhorli