Automated Synthesis and Dynamic Analysis of Tradeoff Spaces for Object-Relational Mapping
Automated Synthesis and Dynamic Analysis of Tradeoff Spaces for Object-Relational Mapping
复制标题
DOI：
10.1109/tse.2016.2587646
复制
发表时间：
2017-02-01
影响因子：
7.4
通讯作者：
Sullivan, Kevin
中科院分区：
文献类型：
--
作者：
Bagheri, Hamid;Tang, Chong;Sullivan, Kevin
生产在多个非功能性属性中实现可接受权衡的软件系统仍然是一个重大的工程问题。我们提出了一种解决此问题的方法，该方法结合了设计替代方案的合成，从逻辑规格和对所得空间中每个点的动态分析结合在一起。我们假设这种方法具有潜力，可以帮助工程师了解在有意义的尺度上，在现有合成工具的范围内，系统组件动态可测量的属性之间的重要权衡。为了检验这一假设，我们开发了启用工具，并在关系数据库的域中进行了一组实验，以实现对象数据模型。对于几种数据模型中的每一个，我们都使用我们的方法来凭经验测试已发布的指标套件的准确性，以基于静态模式结构来预测权衡。结果表明，详尽的合成和分析为此类设计的权衡空间提供了优越的看法。这项工作为在重要系统属性之间实现更高折衷的系统方向建立了一条途径。
Producing software systems that achieve acceptable tradeoffs among multiple non-functional properties remains a significant engineering problem. We propose an approach to solving this problem that combines synthesis of spaces of design alternatives from logical specifications and dynamic analysis of each point in the resulting spaces. We hypothesize that this approach has potential to help engineers understand important tradeoffs among dynamically measurable properties of system components at meaningful scales within reach of existing synthesis tools. To test this hypothesis, we developed tools to enable, and we conducted, a set of experiments in the domain of relational databases for object-oriented data models. For each of several data models, we used our approach to empirically test the accuracy of a published suite of metrics to predict tradeoffs based on the static schema structure alone. The results show that exhaustive synthesis and analysis provides a superior view of the tradeoff spaces for such designs. This work creates a path forward toward systems that achieve significantly better tradeoffs among important system properties.