Proceedings of the 18th International Software Product Line Conference - Volume 1最新文献

Multi-objective test prioritization in software product line testing: an industrial case study 软件产品线测试中的多目标测试优先级:一个工业案例研究

Proceedings of the 18th International Software Product Line Conference - Volume 1 Pub Date : 2014-09-15 DOI: 10.1145/2648511.2648515

Shuai Wang, David Buchmann, Shaukat Ali, A. Gotlieb, D. Pradhan, Marius Liaaen

{"title":"Multi-objective test prioritization in software product line testing: an industrial case study","authors":"Shuai Wang, David Buchmann, Shaukat Ali, A. Gotlieb, D. Pradhan, Marius Liaaen","doi":"10.1145/2648511.2648515","DOIUrl":"https://doi.org/10.1145/2648511.2648515","url":null,"abstract":"Test prioritization is crucial for testing products in a product line considering limited budget in terms of available time and resources. In general, it is not practically feasible to execute all the possible test cases and so, ordering test case execution permits test engineers to discover faults earlier in the testing process. An efficient prioritization of test cases for one or more products requires a clear consideration of the tradeoff among various costs (e.g., time, required resources) and effectiveness (e.g., feature coverage) objectives. As an integral part of the future Cisco's test scheduling system for validating video conferencing products, we introduce a search-based multi-objective test prioritization technique, considering multiple cost and effectiveness measures. In particular, our multi-objective optimization setup includes the minimization of execution cost (e.g., time), and the maximization of number of prioritized test cases, feature pairwise coverage and fault detection capability. Based on cost-effectiveness measures, a novel fitness function is defined for such test prioritization problem. The fitness function is empirically evaluated together with three commonly used search algorithms (e.g., (1+1) Evolutionary algorithm (EA)) and Random Search as a comparison baseline based on the Cisco's industrial case study and 500 artificial designed problems. The results show that (1+1) EA achieves the best performance for solving the test prioritization problem and it scales up to solve the problems of varying complexity.","PeriodicalId":303765,"journal":{"name":"Proceedings of the 18th International Software Product Line Conference - Volume 1","volume":"60 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-09-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126809758","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}

引用次数: 69

Feature-context interfaces: tailored programming interfaces for software product lines 功能上下文接口:为软件产品线定制的编程接口

Proceedings of the 18th International Software Product Line Conference - Volume 1 Pub Date : 2014-09-15 DOI: 10.1145/2648511.2648522

R. Schröter, Norbert Siegmund, Thomas Thüm, G. Saake

{"title":"Feature-context interfaces: tailored programming interfaces for software product lines","authors":"R. Schröter, Norbert Siegmund, Thomas Thüm, G. Saake","doi":"10.1145/2648511.2648522","DOIUrl":"https://doi.org/10.1145/2648511.2648522","url":null,"abstract":"Despite the wide use of software product lines, their implementation and evolution is a challenging task. When implementing a feature, a developer has to know which code fragments of other (already implemented) features are accessible in each program variant in which the feature is included. Especially for composition-based implementation techniques, in which the code is implemented in separated modules, it is an exhausting and error-prone task to find safely accessible code fragments of other modules. State-of-the-art tool support, such as product-line type checkers, detect errors a posteriori (i.e., during compilation), but fails to prevent errors during the implementation. To overcome this problem, we propose feature-context interfaces, which provide a modular and non-variable programming interface to the variable source code of a product line. These interfaces ease changes, extensions, and the maintainability of product lines. To demonstrate applicability, we implemented a content assist and an outline view in Eclipse based on feature-context interfaces. We evaluate the potential of our method by analyzing the number of potential type errors we prevent compared to state-of-the-art techniques.","PeriodicalId":303765,"journal":{"name":"Proceedings of the 18th International Software Product Line Conference - Volume 1","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-09-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129097898","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}

引用次数: 34

Can domain modeling be automated?: levels of automation in domain modeling 域建模可以自动化吗?:领域建模中的自动化级别

Proceedings of the 18th International Software Product Line Conference - Volume 1 Pub Date : 2014-09-15 DOI: 10.1145/2648511.2648557

Iris Reinhartz-Berger

引用次数: 3

Proceedings of the 18th International Software Product Line Conference - Volume 1 Pub Date : 2014-09-15 DOI: 10.1145/2648511.2648532

Mustafa Al-Hajjaji, Thomas Thüm, Jens Meinicke, Malte Lochau, G. Saake

引用次数: 86

Identifying inactive code in product lines with configuration-aware system dependence graphs 使用配置感知的系统依赖关系图识别产品线中的非活动代码

Proceedings of the 18th International Software Product Line Conference - Volume 1 Pub Date : 2014-09-15 DOI: 10.1145/2648511.2648517

Florian Angerer, Herbert Prähofer, Daniela Rabiser, Andreas Grimmer, P. Grünbacher

{"title":"Identifying inactive code in product lines with configuration-aware system dependence graphs","authors":"Florian Angerer, Herbert Prähofer, Daniela Rabiser, Andreas Grimmer, P. Grünbacher","doi":"10.1145/2648511.2648517","DOIUrl":"https://doi.org/10.1145/2648511.2648517","url":null,"abstract":"Application engineers frequently create customer-specific products in two stages: the required software components are first selected to create an initial product which is then evolved by refining the selected features and adapting the code to meet the customers' requirements. For instance, developers frequently set configuration options in the code to adjust the product. However, given that such changes are often necessary in the entire code base it is hard to know which part of the code is still relevant for the chosen configuration options. This means that engineers need to understand and maintain a lot of code that is potentially inactive in a particular product variant. Existing approaches provide only partial solutions: for instance, feature-to-code mappings do not adequately consider complex code dependencies of the implemented features. Static analysis techniques provide better results but usually do not consider variability aspects. We present an approach to automatically identify inactive code in product variants using a configuration-aware code analysis technique. We demonstrate the flexibility of our approach by customizing it to a product line of an industry partner in the domain of industrial automation. We further evaluate the approach to demonstrate its effectiveness, accuracy, and performance.","PeriodicalId":303765,"journal":{"name":"Proceedings of the 18th International Software Product Line Conference - Volume 1","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-09-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131007440","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}

引用次数: 24

Using models to scale agile mechatronics development in cars: case studies at Volvo car group 使用模型扩展汽车敏捷机电一体化开发:沃尔沃汽车集团案例研究

Proceedings of the 18th International Software Product Line Conference - Volume 1 Pub Date : 2014-09-15 DOI: 10.1145/2648511.2660858

Jonn Lantz

{"title":"Using models to scale agile mechatronics development in cars: case studies at Volvo car group","authors":"Jonn Lantz","doi":"10.1145/2648511.2660858","DOIUrl":"https://doi.org/10.1145/2648511.2660858","url":null,"abstract":"R&D at Volvo Car Group (VCG) has made great investments during the last decades in Model Based Development and Physical Modelling of the complex mechatronic systems associated with vehicles. Driven by the dramatic increase of electronics and software in competitive cars, enhanced also by the novel development of hybrid vehicles, the recent focus has been to scale agile mechatronic software development in the multi ECU system, utilizing the tools of and experience in modelling. VCG is currently developing ECU software using executable Simulink models with automated code generation and is currently in the phase of developing the essential automation frameworks for fast \"continuous\" integration and testing. Early integration and fast development loops are important but challenging in vehicle systems, while multiple suppliers as well as in-house developers are involved and where advanced control software development is conducted by domain experts, not software specialists. In parallel, much effort is spent in development of Plant models (usually physical models of dependent systems or mechanics). Plant models can be used both for development, which is usually equivalent with Understanding the system, and for various software regression tests. Case studies made at VCG shows that modelling should actually be considered as an enabler for agile development. The current challenges include efficient test environments for developers, fast and automated feedback from system or sub system integration (real and virtual), scaling of plant model architectures and finally the challenge of controlling the potentially diverging amount of variants, in mechatronics, software and models.","PeriodicalId":303765,"journal":{"name":"Proceedings of the 18th International Software Product Line Conference - Volume 1","volume":"237-240 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-09-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130730388","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

A software product line approach for semantic specification of block libraries in dataflow languages 数据流语言中块库语义规范的软件产品线方法

Proceedings of the 18th International Software Product Line Conference - Volume 1 Pub Date : 2014-09-15 DOI: 10.1145/2648511.2648534

Arnaud Dieumegard, Andres Toom, M. Pantel

{"title":"A software product line approach for semantic specification of block libraries in dataflow languages","authors":"Arnaud Dieumegard, Andres Toom, M. Pantel","doi":"10.1145/2648511.2648534","DOIUrl":"https://doi.org/10.1145/2648511.2648534","url":null,"abstract":"Dataflow modelling languages such as SCADE or Simulink are the de-facto standard for the Model Driven Development of safety critical embedded control and command systems. Software is mainly being produced by Automated Code Generators whose correctness can only be assessed meaningfully if the input language semantics is well known. These semantics share a common part but are mainly defined through block libraries. The writing of a complete formal specification for the block libraries of the usual languages is highly challenging due to the high variability of the structure and semantics of each block. This contribution relates the use of software product line principles in the design of a domain specific language targeting the formal specification of block libraries. It summarises the advantages of this DSL regarding the writing, validation and formal verification of such specifications. These experiments have been carried out in the context of the GeneAuto embedded code generator project targeting Simulink and Scicos; and are being extended and applied in its follow up projects ProjetP and Hi-MoCo.","PeriodicalId":303765,"journal":{"name":"Proceedings of the 18th International Software Product Line Conference - Volume 1","volume":"32 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-09-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126594801","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}

引用次数: 10

Automated verification of feature model configuration processes based on workflow Petri nets 基于工作流Petri网的特征模型配置过程自动验证

Proceedings of the 18th International Software Product Line Conference - Volume 1 Pub Date : 2014-09-15 DOI: 10.1145/2648511.2648518

Stephan Mennicke, Malte Lochau, Julia Schroeter, Tim Winkelmann

{"title":"Automated verification of feature model configuration processes based on workflow Petri nets","authors":"Stephan Mennicke, Malte Lochau, Julia Schroeter, Tim Winkelmann","doi":"10.1145/2648511.2648518","DOIUrl":"https://doi.org/10.1145/2648511.2648518","url":null,"abstract":"Modern software systems are highly configurable in order to satisfy diverse customer requirements and application contexts. Feature models provide a well-established formalism for tailoring configuration spaces of applications. Thereupon, multi-view staged configuration approaches modularize feature models for separation of concerns and apply workflow modeling for scheduling configuration decisions. However, the complex, often oblivious and even cyclic logical dependencies among configuration decisions obstruct compositional semantics of feature model views thus spoiling intuitive modeling and rigorous analysis of staged configuration processes. In this paper, we apply workflow Petri nets (WPNs) as a formal operational model for staged configuration that makes explicit causal dependencies among feature selections. For the internal separation into composable configuration stages we further adopt the principles of open workflow nets. It is shown that the soundness notion of WPNs naturally coincides with fundamental correctness and liveness properties to be verified for staged configuration processes. We present a prototype implementation for an automated computation of staged configuration processes and provide experimental results concerning scalability properties.","PeriodicalId":303765,"journal":{"name":"Proceedings of the 18th International Software Product Line Conference - Volume 1","volume":"34 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-09-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121130641","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}

引用次数: 8

Second generation systems and software product line engineering 第二代系统和软件产品线工程

Proceedings of the 18th International Software Product Line Conference - Volume 1 Pub Date : 2014-09-15 DOI: 10.1145/2491627.2493905

C. Krueger, P. Clements

引用次数: 0

A survey on software variability management approaches 软件可变性管理方法综述

Proceedings of the 18th International Software Product Line Conference - Volume 1 Pub Date : 2014-09-15 DOI: 10.1145/2648511.2648527

Karina Villela, Adeline Silva, Tassio Vale, E. Almeida

{"title":"A survey on software variability management approaches","authors":"Karina Villela, Adeline Silva, Tassio Vale, E. Almeida","doi":"10.1145/2648511.2648527","DOIUrl":"https://doi.org/10.1145/2648511.2648527","url":null,"abstract":"Variability Management (VM) is a key practice in the development of variant-rich systems. Over the years, attention has been paid to VM approaches adopted by traditional software product lines. The increasing demand for dynamic and highly configurable systems, however, calls for a closer look at the approaches used to develop these systems. We therefore conducted a survey with practitioners from organizations developing variant-rich systems in order to characterize the state of the practice. We also wanted to identify factors that might influence the adoption of specific VM approaches as well as the perception of problems/difficulties posed by those. We analyzed the answers of 31 respondents from thirteen countries and found that there is a correlation between the business domain and the adopted VM approaches. With regard to the problems/difficulties, the difficulty of assuring the quality of maintenance due to the explosion of dependencies was a major issue. This paper reports on relevant findings that could help companies to better understand their problems and researchers to design new/improved solutions.","PeriodicalId":303765,"journal":{"name":"Proceedings of the 18th International Software Product Line Conference - Volume 1","volume":"3 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-09-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134358311","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}

引用次数: 10