Benoit Amand, Maxime Cordy, P. Heymans, M. Acher, Paul Temple, J. Jézéquel
{"title":"Towards Learning-Aided Configuration in 3D Printing: Feasibility Study and Application to Defect Prediction","authors":"Benoit Amand, Maxime Cordy, P. Heymans, M. Acher, Paul Temple, J. Jézéquel","doi":"10.1145/3302333.3302338","DOIUrl":"https://doi.org/10.1145/3302333.3302338","url":null,"abstract":"Configurators rely on logical constraints over parameters to aid users and determine the validity of a configuration. However, for some domains, capturing such configuration knowledge is hard, if not infeasible. This is the case in the 3D printing industry, where parametric 3D object models contain the list of parameters and their value domains, but no explicit constraints. This calls for a complementary approach that learns what configurations are valid based on previous experiences. In this paper, we report on preliminary experiments showing the capability of state-of-the-art classification algorithms to assist the configuration process. While machine learning holds its promises when it comes to evaluation scores, an in-depth analysis reveals the opportunity to combine the classifiers with constraint solvers.","PeriodicalId":300036,"journal":{"name":"Proceedings of the 13th International Workshop on Variability Modelling of Software-Intensive Systems","volume":"10 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-02-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115884696","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}
{"title":"On the Evolution of Feature Dependencies: An Exploratory Study of Preprocessor-based Systems","authors":"Raiza Oliveira, B. Cafeo, André C. Hora","doi":"10.1145/3302333.3302342","DOIUrl":"https://doi.org/10.1145/3302333.3302342","url":null,"abstract":"Feature dependencies are the subject of several studies and have been approached with different goals, such as software quality. However, we still It is not known whether feature dependencies are prone to change during the lifetime of configurable systems. To minimize this lack, we perform an empirical study to assess the evolution of feature dependencies. We focus in feature dependencies at the source-code level written with preprocessor directives, for this, we analyze the history of feature dependency changes in 15 preprocessor based systems written in C. In order to identify the most common types of changes on feature dependencies, we propose a catalog of possible changes in these dependencies. We found out that about 9% of the feature dependencies between two subsequent versions are added, and less of 4% are excluded. Whereas, about 87% of the dependencies between two subsequent versions are preserved, and 14% has some kind of structural modification. Besides, the results show that functions are 3x more prone to change than variables in feature dependencies. In summary, our results show that: (i) feature dependencies prone to be preserved during the evolution; (ii) about 1/5 of the dependencies preserved between two versions have structural changes; (iii) functions changes more than variables; (iv) developers may have to deal with 1/4 of the dependencies on each evolution of the configurable system.","PeriodicalId":300036,"journal":{"name":"Proceedings of the 13th International Workshop on Variability Modelling of Software-Intensive Systems","volume":"66 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-02-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133888770","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}
{"title":"Challenges and Insights from Optimizing Configurable Software Systems","authors":"Norbert Siegmund","doi":"10.1145/3302333.3302335","DOIUrl":"https://doi.org/10.1145/3302333.3302335","url":null,"abstract":"Configuring a software system to optimize non-functional properties is a hard task. There are dozens to thousands of configuration options that can affect performance, energy consumption, and other attributes of the resulting program. Even worse, options may interact, such that their combined presence (or absence) has an influence on a non-functional property. In this talk, I report on our experiences with learning different performance models based on a multitude of sampling techniques. The goal is to raise awareness of the distinct challenges in this domain: constraints among options, the exponential search space, and suitable sampling and learning techniques. I show a variety of approaches including their strengths and weaknesses and close the talk with new challenges relevant for our community: changing environments and reproducibility.","PeriodicalId":300036,"journal":{"name":"Proceedings of the 13th International Workshop on Variability Modelling of Software-Intensive Systems","volume":"03 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-02-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129319264","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}
{"title":"Are You Talking about Software Product Lines?: An Analysis of Developer Communities","authors":"J. Krüger","doi":"10.1145/3302333.3302348","DOIUrl":"https://doi.org/10.1145/3302333.3302348","url":null,"abstract":"Community-question-answering systems, such as Stack Overflow, provide a platform for various communities to ask questions, discuss topics, and find knowledge. Especially software developers are heavily relying on such systems to identify solutions for their problems. While the content of community-question-answering systems may be less scientific, it usually represents practical knowledge from various perspectives and backgrounds. Thus, analyzing this content can be valuable for the scientific community to understand previous and current (i.e., open questions) needs of practitioners. In this paper, we report a systematic analysis of two websites that comprise communities with a focus on software development: Stack Exchange and Quora. We extract questions, answers, comments, and discussions on software product lines in general and feature modeling in particular. The results provide a historical perspective, an overview on commonly addressed scopes, and a classification of discussed topics and problems. Moreover, our findings are interesting to understand the practical impact of software-product-line techniques outside of well-analyzed case studies, to support lectures by identifying regularly asked questions, and to scope tool development based on reported technical problems.","PeriodicalId":300036,"journal":{"name":"Proceedings of the 13th International Workshop on Variability Modelling of Software-Intensive Systems","volume":"34 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-02-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122380941","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}
Karine Gomes, Leopoldo Teixeira, T. Alves, Márcio Ribeiro, Rohit Gheyi
{"title":"Characterizing safe and partially safe evolution scenarios in product lines: An Empirical Study","authors":"Karine Gomes, Leopoldo Teixeira, T. Alves, Márcio Ribeiro, Rohit Gheyi","doi":"10.1145/3302333.3302346","DOIUrl":"https://doi.org/10.1145/3302333.3302346","url":null,"abstract":"Evolving software product lines is often error-prone. Previous works have proposed classifying product line evolution into safe or partially safe, depending on the number of products that have their behavior preserved after evolution. Based on these notions, it is possible to derive transformation templates that abstract common evolution scenarios, such as adding an optional feature. However, existing works are focused on evaluating either safe or partially safe templates. Hence, in this work we aim to characterize product line evolution as a whole, measuring to what extent the evolution history is safe compared to partially safe, to better understand how product lines evolve. We measure how often existing templates happen using 2,300 commits from an open-source product line. According to our study, 91.7% of the commits represent partially safe evolution scenarios. Our results also show that 1,800 of these commits can automatically be classified as instances of existing templates. Among these, commits that do not modify other variability-aware models, are the most frequent, accounting for 72.3% out of the total of commits. For the remaining 500 commits, we identify that 24.4% are related to changes in the configuration knowledge, that is, the file responsible for the mapping between features and code.","PeriodicalId":300036,"journal":{"name":"Proceedings of the 13th International Workshop on Variability Modelling of Software-Intensive Systems","volume":"40 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-02-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127671249","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}
{"title":"Quantitative Variability Modeling and Analysis","authors":"M. T. Beek, Axel Legay","doi":"10.1145/3302333.3302349","DOIUrl":"https://doi.org/10.1145/3302333.3302349","url":null,"abstract":"The explicit management of variability in the development cycle of software-intensive systems has led to a plethora of modeling and analysis techniques tailored to deal with behavioral validation of such configurable systems. Most of the work, however, focuses on qualitative (i.e. functional) requirements. Recently, there is growing interest in variability modeling and analysis techniques that do explicitly consider quantitative (i.e. non-functional) requirements, such as dependability, energy consumption, security, and cost. Today's software is embedded in a variety of smart and critical systems that run in environments where events occur randomly and affect the system, and to which it needs to adapt. Therefore, quantitative modeling and analysis is currently a hot topic. The panel on Quantitative Variability Modeling and Analysis (QSPL) discusses the latest quantitative techniques and how to apply them to variability modeling and analysis of software-intensive systems.","PeriodicalId":300036,"journal":{"name":"Proceedings of the 13th International Workshop on Variability Modelling of Software-Intensive Systems","volume":"30 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-02-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133318080","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}
Shaukat Ali, Paolo Arcaini, I. Hasuo, F. Ishikawa, Nian-Ze Lee
{"title":"Towards a Framework for the Analysis of Multi-Product Lines in the Automotive Domain","authors":"Shaukat Ali, Paolo Arcaini, I. Hasuo, F. Ishikawa, Nian-Ze Lee","doi":"10.1145/3302333.3302345","DOIUrl":"https://doi.org/10.1145/3302333.3302345","url":null,"abstract":"Safety analyses in the automotive domain (in particular automated driving) present unprecedented challenges due to its complexity and tight integration with the physical environment. Given the diversity in the types of cars, potentially unlimited number of possible environmental and driving conditions, it is crucial to devise a systematic way of managing variability in hazards, driving and environmental conditions in individual cars, families of cars, and families of families of cars to facilitate analyses efficiently. To this end, we present our ongoing work in a research project that focuses on devising a model-based reasoning framework for systematically managing hazards in the automotive domain and supporting safety analyses (e.g., falsification).","PeriodicalId":300036,"journal":{"name":"Proceedings of the 13th International Workshop on Variability Modelling of Software-Intensive Systems","volume":"65 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-02-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128218724","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}
{"title":"Proceedings of the 13th International Workshop on Variability Modelling of Software-Intensive Systems","authors":"","doi":"10.1145/3302333","DOIUrl":"https://doi.org/10.1145/3302333","url":null,"abstract":"","PeriodicalId":300036,"journal":{"name":"Proceedings of the 13th International Workshop on Variability Modelling of Software-Intensive Systems","volume":"17 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114971120","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}