2021 ACM/IEEE 24th International Conference on Model Driven Engineering Languages and Systems (MODELS)最新文献

筛选

英文中文

Applying Declarative Analysis to Software Product Line Models: An Industrial Study 将声明性分析应用于软件产品线模型:一项工业研究

2021 ACM/IEEE 24th International Conference on Model Driven Engineering Languages and Systems (MODELS) Pub Date : 2021-07-16 DOI: 10.1109/MODELS50736.2021.00023

Ramy I. Shahin, Robert Hackman, R. Toledo, S. Ramesh, J. Atlee, M. Chechik

{"title":"Applying Declarative Analysis to Software Product Line Models: An Industrial Study","authors":"Ramy I. Shahin, Robert Hackman, R. Toledo, S. Ramesh, J. Atlee, M. Chechik","doi":"10.1109/MODELS50736.2021.00023","DOIUrl":"https://doi.org/10.1109/MODELS50736.2021.00023","url":null,"abstract":"Software Product Lines (SPLs) are families of related software products developed from a common set of artifacts. Most existing analysis tools can be applied to a single product at a time, but not to an entire SPL. Some tools have been redesigned/re-implemented to support the kind of variability exhibited in SPLs, but this usually takes a lot of effort, and is error-prone. Declarative analyses written in languages like Datalog have been collectively lifted to SPLs in prior work [1], which makes the process of applying an existing declarative analysis to a product line more straightforward. In this paper, we take an existing declarative analysis (behaviour alteration) and apply it to a set of automotive software product lines from General Motors. We discuss the design of the analysis pipeline used in this process, present its scalability results, and provide a means to visualize the analysis results for a subset of products filtered by feature expression. We also reflect on some of the lessons learned throughout this project.","PeriodicalId":375828,"journal":{"name":"2021 ACM/IEEE 24th International Conference on Model Driven Engineering Languages and Systems (MODELS)","volume":"39 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2021-07-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131561359","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 3

Integrated and Iterative Requirements Analysis and Test Specification: A Case Study at Kostal 集成和迭代需求分析和测试规范:Kostal的案例研究

2021 ACM/IEEE 24th International Conference on Model Driven Engineering Languages and Systems (MODELS) Pub Date : 2021-07-12 DOI: 10.1109/MODELS50736.2021.00020

Carsten Wiecher, Jannik Fischbach, Joel Greenyer, Andreas Vogelsang, Carsten Wolff, R. Dumitrescu

{"title":"Integrated and Iterative Requirements Analysis and Test Specification: A Case Study at Kostal","authors":"Carsten Wiecher, Jannik Fischbach, Joel Greenyer, Andreas Vogelsang, Carsten Wolff, R. Dumitrescu","doi":"10.1109/MODELS50736.2021.00020","DOIUrl":"https://doi.org/10.1109/MODELS50736.2021.00020","url":null,"abstract":"Currently, practitioners follow a top-down approach in automotive development projects. However, recent studies have shown that this top-down approach is not suitable for the implementation and testing of modern automotive systems. Specifically, practitioners increasingly fail to specify requirements and tests for systems with complex component interactions (e.g., e-mobility systems). In this paper, we address this research gap and propose an integrated and iterative scenario-based technique for the specification of requirements and test scenarios. Our idea is to combine both a top-down and a bottom-up integration strategy. For the top-down approach, we use a behavior-driven development (BDD) technique to drive the modeling of high-level system interactions from the user's perspective. For the bottom-up approach, we discovered that natural language processing (NLP) techniques are suited to make textual specifications of existing components accessible to our technique. To integrate both directions, we support the joint execution and automated analysis of system-level interactions and component-level behavior. We demonstrate the feasibility of our approach by conducting a case study at Kostal (Tierl supplier). The case study corroborates, among other things, that our approach supports practitioners in improving requirements and test specifications for integrated system behavior.","PeriodicalId":375828,"journal":{"name":"2021 ACM/IEEE 24th International Conference on Model Driven Engineering Languages and Systems (MODELS)","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2021-07-12","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131328975","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 4

首页上一页