paperbot · PL 论文追踪

全部论文 待读 收藏

P2 eQual: informing early design decisions

eQual:为早期设计决策提供依据
FSE Proceedings of the 28th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering2020匹配度 2/10 · 该论文聚焦软件架构早期设计决策的模型驱动仿真与设计空间优化,属于软件工程/架构设计方向;与用户关注的静态分析、LLM/Agent 程序分析、浮点程序分析与贝叶斯程序分析均无直接交集。引用 12 inbox
Arman Shahbazian, Suhrid Karthik, Yuriy Brun, Nenad Medvidovic
crossref: 2026-09-12

AI 速览

一句话:提出模型驱动的仿真评估技术 eQual,通过优化算法探索海量架构设计备选,提升早期设计决策质量。

软件架构设计中的早期决策会直接影响系统质量,但设计备选随系统规模迅速增长,形成庞大且相互交织的设计空间,使人工探索不切实际。eQual 是一种模型驱动的架构设计仿真评估技术:它限制架构师需提供的信息量,并适配优化算法以有效探索海量设计备选。作者通过实验表明,eQual 生成的设计质量可与一组系统的已知最优设计相比;用户研究进一步显示,相比现有技术,使用 eQual 的工程师能产出统计显著更高质量的设计(效应量大),对设计更有信心,并认为 eQual 更易用。

问题
架构设计早期的决策直接影响系统质量,而设计备选数量随系统规模快速增长,人工探索相互交织的设计空间不可行。
方法
提出 eQual 模型驱动技术,基于仿真评估架构设计;通过限制架构师所需信息并适配优化算法来探索大规模设计备选空间。
评估
实验对比显示其设计质量接近已知最优设计;用户研究表明相比现有技术,使用 eQual 的工程师设计质量显著更高、更有信心且认为更易用。
原文摘要(Abstract)

When designing a software system, architects make a series of design decisions that directly impact the system's quality. The number of available design alternatives grows rapidly with system size, creating an enormous space of intertwined design concerns that renders manual exploration impractical. We present eQual, a model-driven technique for simulation-based assessment of architectural designs. While it is not possible to guarantee optimal decisions so early in the design process, eQual improves decision quality. eQual is effective in practice because it (1) limits the amount of information the architects have to provide and (2) adapts optimization algorithms to effectively explore massive spaces of design alternatives. We empirically demonstrate that eQual yields designs whose quality is comparable to a set of systems' known optimal designs. A user study shows that, compared to the state-of-the-art, engineers using eQual produce statistically significantly higher-quality designs with a large effect size, are statistically significantly more confident in their designs, and find eQual easier to use.

链接与引用

DOI 原文 ·

BibTeX
@inproceedings{paperbot5761,
  title = {eQual: informing early design decisions},
  author = {Arman Shahbazian and Suhrid Karthik and Yuriy Brun and Nenad Medvidovic},
  booktitle = {FSE},
  year = {2020},
  doi = {10.1145/3368089.3409749}
}