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