发布求助
文献互助 智能选刊 最新文献

2013 1st International Workshop on Combining Modelling and Search-Based Software Engineering (CMSBSE)最新文献

筛选
英文 中文
Bi-criteria genetic search for adding new features into an existing product line 为现有产品线添加新功能的双标准遗传搜索
2013 1st International Workshop on Combining Modelling and Search-Based Software Engineering (CMSBSE) Pub Date : 2013-05-19 DOI: 10.1109/CMSBSE.2013.6604434
R. Karimpour, G. Ruhe
{"title":"Bi-criteria genetic search for adding new features into an existing product line","authors":"R. Karimpour, G. Ruhe","doi":"10.1109/CMSBSE.2013.6604434","DOIUrl":"https://doi.org/10.1109/CMSBSE.2013.6604434","url":null,"abstract":"Software product line evolution involves decisions like finding which products are better candidates for realizing new feature requests. In this paper, we propose a solution for finding trade-off evolution alternatives for products while balancing between overall value and product integrity. The purpose of this study is to support product managers with feature selection for an existing product line. For this purpose, first, the feature model of the product line is encoded into a single binary encoding. Then we employ a bi-criteria genetic search algorithm, NSGA-II, to find the possible alternatives with different value and product integrity. From the proposed set of trade-off alternatives, the product line manager can select the solutions that best fit with the concerns of their preference. The implementation has been initially evaluated by two product line configurations.","PeriodicalId":193450,"journal":{"name":"2013 1st International Workshop on Combining Modelling and Search-Based Software Engineering (CMSBSE)","volume":"14 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-05-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"117058697","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}
引用次数: 15
Harnessing evolutionary computation to enable dynamically adaptive systems to manage uncertainty 利用进化计算使动态适应系统能够管理不确定性
2013 1st International Workshop on Combining Modelling and Search-Based Software Engineering (CMSBSE) Pub Date : 2013-05-19 DOI: 10.1109/CMSBSE.2013.6604427
B. Cheng, A. J. Ramírez, P. McKinley
{"title":"Harnessing evolutionary computation to enable dynamically adaptive systems to manage uncertainty","authors":"B. Cheng, A. J. Ramírez, P. McKinley","doi":"10.1109/CMSBSE.2013.6604427","DOIUrl":"https://doi.org/10.1109/CMSBSE.2013.6604427","url":null,"abstract":"This keynote talk and paper intend to motivate research projects that investigate novel ways to model, analyze, and mitigate uncertainty arising in three different aspects of the cyber-physical systems. First, uncertainty about the physical environment can lead to suboptimal, and sometimes catastrophic, results as the system tries to adapt to unanticipated or poorly-understood environmental conditions. Second, uncertainty in the cyber environment can have lead to unexpected and adverse effects, including not only performance impacts (load, traffic, etc.) but also potential threats or overt attacks. Finally, uncertainty can exist with the components themselves and how they interact upon reconfiguration, including unexpected and unwanted feature interactions. Each of these sources of uncertainty can potentially be identified at different stages, respectively run time, design time, and requirements, but their mitigation might be done at the same or a different stage. Based on the related literature and our preliminary investigations, we argue that the following three overarching techniques are essential and warrant further research to provide enabling technologies to address uncertainty at all three stages: model-based development, assurance, and dynamic adaptation. Furthermore, we posit that in order to go beyond incremental improvements to current software engineering techniques, we need to leverage, extend, and integrate techniques from other disciplines.","PeriodicalId":193450,"journal":{"name":"2013 1st International Workshop on Combining Modelling and Search-Based Software Engineering (CMSBSE)","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-05-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131346697","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}
引用次数: 19
Testing elastic systems with surrogate models 用代理模型测试弹性系统
2013 1st International Workshop on Combining Modelling and Search-Based Software Engineering (CMSBSE) Pub Date : 2013-05-19 DOI: 10.1109/CMSBSE.2013.6604429
Alessio Gambi, W. Hummer, S. Dustdar
{"title":"Testing elastic systems with surrogate models","authors":"Alessio Gambi, W. Hummer, S. Dustdar","doi":"10.1109/CMSBSE.2013.6604429","DOIUrl":"https://doi.org/10.1109/CMSBSE.2013.6604429","url":null,"abstract":"We combine search-based test case generation and surrogate models for black-box system testing of elastic systems. We aim to efficiently generate tests that expose functional errors and performance problems related to system elasticity. Elastic systems dynamically change their resources allocation to provide consistent quality of service in face of workload fluctuations. However, their ability to adapt could be a double edged sword if not properly designed: They may fail to acquire the right amount of resources or even fail to release them. Blackbox system testing may expose such problems by stimulating system elasticity with suitable sequences of interactions. However, finding such sequences is far from trivial because the number of possible combinations of requests over time is unbounded. In this paper, we analyze the problem of generating test cases for elastic systems, we cast it as a search-based optimization combined with surrogate models, and present the conceptual framework that supports its execution.","PeriodicalId":193450,"journal":{"name":"2013 1st International Workshop on Combining Modelling and Search-Based Software Engineering (CMSBSE)","volume":"409 11","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-05-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114003775","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}
引用次数: 9
Preference-based multi-objective software modelling 基于偏好的多目标软件建模
2013 1st International Workshop on Combining Modelling and Search-Based Software Engineering (CMSBSE) Pub Date : 2013-05-19 DOI: 10.1109/CMSBSE.2013.6605712
Mohamed Wiem Mkaouer, M. Kessentini, Slim Bechikh, D. Tauritz
{"title":"Preference-based multi-objective software modelling","authors":"Mohamed Wiem Mkaouer, M. Kessentini, Slim Bechikh, D. Tauritz","doi":"10.1109/CMSBSE.2013.6605712","DOIUrl":"https://doi.org/10.1109/CMSBSE.2013.6605712","url":null,"abstract":"In this paper, we propose the use of preference-based evolutionary multi-objective optimization techniques (P-EMO) to address various software modelling challenges. P-EMO allows the incorporation of decision maker (i.e., designer) preferences (e.g., quality, correctness, etc.) in multi-objective optimization techniques by restricting the Pareto front to a region of interest easing the decision making task. We discuss the different challenges and potential benefits of P-EMO in software modelling. We report experiments on the use of P-EMO on a well-known modeling problem where very promising results are obtained.","PeriodicalId":193450,"journal":{"name":"2013 1st International Workshop on Combining Modelling and Search-Based Software Engineering (CMSBSE)","volume":"7 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-05-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130121493","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}
引用次数: 16
Searching models, modeling search: On the synergies of SBSE and MDE 搜索模型，建模搜索:论SBSE与MDE的协同作用
2013 1st International Workshop on Combining Modelling and Search-Based Software Engineering (CMSBSE) Pub Date : 2013-05-19 DOI: 10.5555/2662572.2662588
M. Kessentini, Philip Langer, M. Wimmer
{"title":"Searching models, modeling search: On the synergies of SBSE and MDE","authors":"M. Kessentini, Philip Langer, M. Wimmer","doi":"10.5555/2662572.2662588","DOIUrl":"https://doi.org/10.5555/2662572.2662588","url":null,"abstract":"In the past years, several researchers applied search-based optimization algorithms successfully in the software engineering domain to obtain automatically near-optimal solutions to complex problems posing huge solution spaces. More recently, such algorithms have also been proven useful for solving problems in model engineering. However, applying search-based optimization algorithms to problems in model engineering efficiently and effectively is a challenging endeavor demanding for expertize in both, search-based algorithms as well as model engineering formalisms and techniques. In this paper, we report on our experiences in applying such search-based algorithms for model engineering problems and propose a model-driven approach to ease the adoption of search-based algorithms for the area of model engineering.","PeriodicalId":193450,"journal":{"name":"2013 1st International Workshop on Combining Modelling and Search-Based Software Engineering (CMSBSE)","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-05-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127849344","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}
引用次数: 42
Representation of Software Product Line Architectures for search-based design 基于搜索设计的软件产品线体系结构的表示
2013 1st International Workshop on Combining Modelling and Search-Based Software Engineering (CMSBSE) Pub Date : 2013-05-19 DOI: 10.1109/CMSBSE.2013.6604433
T. Colanzi, S. Vergilio
{"title":"Representation of Software Product Line Architectures for search-based design","authors":"T. Colanzi, S. Vergilio","doi":"10.1109/CMSBSE.2013.6604433","DOIUrl":"https://doi.org/10.1109/CMSBSE.2013.6604433","url":null,"abstract":"The Product-Line Architecture (PLA) is the main artifact of a Software Product Line (SPL). Search-based approaches can provide automated discovery of near-optimal PLAs and make its design less dependent on human architects. To do this, it is necessary to adopt a suitable PLA representation to apply the search operators. In this sense, we review existing architecture representations proposed by related work, but all of them need to be extended to encompass specific characteristics of SPL. Then, the use of such representations for PLA is discussed and, based on the performed analysis, we introduce a novel direct PLA representation for search-based optimization. Some implementation aspects are discussed involving implementation details about the proposed PLA representation, constraints and impact on specific search operators. Ongoing work addresses the application of specific search operators for the proposed representation and the definition of a fitness function to be applied in a multi-objective search-based approach for the PLA design.","PeriodicalId":193450,"journal":{"name":"2013 1st International Workshop on Combining Modelling and Search-Based Software Engineering (CMSBSE)","volume":"154 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-05-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133173193","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}
引用次数: 16
Metrics on feature models to optimize configuration adaptation at run time 在运行时优化配置适应的特征模型上的度量
2013 1st International Workshop on Combining Modelling and Search-Based Software Engineering (CMSBSE) Pub Date : 2013-05-19 DOI: 10.1109/CMSBSE.2013.6604435
L. E. Sanchez, S. Moisan, J. Rigault
{"title":"Metrics on feature models to optimize configuration adaptation at run time","authors":"L. E. Sanchez, S. Moisan, J. Rigault","doi":"10.1109/CMSBSE.2013.6604435","DOIUrl":"https://doi.org/10.1109/CMSBSE.2013.6604435","url":null,"abstract":"Feature models are widely used to capture variability, commonalities and configuration rules of software systems. We apply this technique to model component-based systems with many variants during specification, implementation, or run time. This representation allows us to determine the set of valid configurations befitting a given context, especially at run time. A key challenge is to determine the configuration most suitable, especially with respect to non-functional aspects: quality of service, performance, reconfiguration time... We propose an algorithm for selecting the configuration that optimizes a given quality metrics. This algorithm is a variant of the Best-First Search algorithm, a heuristic technique suitable for feature model optimization. The algorithm is parameterized with several strategies and heuristics on feature models leading to different optimality and efficiency properties. We discuss the algorithm, its strategies and heuristics, and we present experimental results showing that the algorithm meets the requirements for our real time systems.","PeriodicalId":193450,"journal":{"name":"2013 1st International Workshop on Combining Modelling and Search-Based Software Engineering (CMSBSE)","volume":"166 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-05-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122925559","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}
引用次数: 14
MOS: An integrated model-based and search-based testing tool for Function Block Diagrams 一个集成的基于模型和基于搜索的功能块图测试工具
2013 1st International Workshop on Combining Modelling and Search-Based Software Engineering (CMSBSE) Pub Date : 2013-05-19 DOI: 10.1109/CMSBSE.2013.6605711
Eduard Paul Enoiu, K. Doganay, M. Bohlin, Daniel Sundmark, P. Pettersson
{"title":"MOS: An integrated model-based and search-based testing tool for Function Block Diagrams","authors":"Eduard Paul Enoiu, K. Doganay, M. Bohlin, Daniel Sundmark, P. Pettersson","doi":"10.1109/CMSBSE.2013.6605711","DOIUrl":"https://doi.org/10.1109/CMSBSE.2013.6605711","url":null,"abstract":"In this paper we present a new testing tool for safety critical applications described in Function Block Diagram (FBD) language aimed to support both a model and a search-based approach. Many benefits emerge from this tool, including the ability to automatically generate test suites from an FBD program in order to comply to quality requirements such as component testing and specific coverage measurements. Search-based testing methods are used to generate test data based on executable code rather than the FBD program, alleviating any problems that may arise from the ambiguities that occur while creating FBD programs. Test cases generated by both approaches are executed and used as a way of cross validation. In the current work, we describe the architecture of the tool, its workflow process, and a case study in which the tool has been applied in a real industrial setting to test a train control management system.","PeriodicalId":193450,"journal":{"name":"2013 1st International Workshop on Combining Modelling and Search-Based Software Engineering (CMSBSE)","volume":"57 3 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-05-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133315769","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}
引用次数: 13
Complementing metaheuristic search with higher abstraction techniques 用更高的抽象技术补充元启发式搜索
2013 1st International Workshop on Combining Modelling and Search-Based Software Engineering (CMSBSE) Pub Date : 2013-05-19 DOI: 10.1109/CMSBSE.2013.6604436
Frank R. Burton, Simon M. Poulding
{"title":"Complementing metaheuristic search with higher abstraction techniques","authors":"Frank R. Burton, Simon M. Poulding","doi":"10.1109/CMSBSE.2013.6604436","DOIUrl":"https://doi.org/10.1109/CMSBSE.2013.6604436","url":null,"abstract":"Search-Based Software Engineering and Model-Driven Engineering are both innovative approaches to software engineering. The premise of Search-Based Software Engineering is to reformulate engineering tasks as optimisation problems that can be solved using metaheuristic search techniques. Model-Driven Engineering aims to apply greater levels of abstraction to software engineering problems. In this paper, it is argued that these two approaches are complementary and that both research fields can make further progress by applying techniques from the other. We suggest ways in which synergies between the fields can be exploited.","PeriodicalId":193450,"journal":{"name":"2013 1st International Workshop on Combining Modelling and Search-Based Software Engineering (CMSBSE)","volume":"35 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-05-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"117150736","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}
引用次数: 14
Searching for models to evaluate software technology 寻找评估软件技术的模型
2013 1st International Workshop on Combining Modelling and Search-Based Software Engineering (CMSBSE) Pub Date : 2013-05-19 DOI: 10.1109/CMSBSE.2013.6604430
F. D. O. Neto, R. Feldt, R. Torkar, Patricia D. L. Machado
{"title":"Searching for models to evaluate software technology","authors":"F. D. O. Neto, R. Feldt, R. Torkar, Patricia D. L. Machado","doi":"10.1109/CMSBSE.2013.6604430","DOIUrl":"https://doi.org/10.1109/CMSBSE.2013.6604430","url":null,"abstract":"Modeling and abstraction is key in all engineering processes and have found extensive use also in software engineering. When developing new methodologies and techniques to support software engineers we want to evaluate them on realistic models. However, this is a challenge since (1) it is hard to get industry to give access to their models, and (2) we need a large number of models to systematically evaluate a technology. This paper proposes that search-based techniques can be used to search for models with desirable properties, which can then be used to systematically evaluate model-based technologies. By targeting properties seen in industrial models we can then get the best of both worlds: models that are similar to models used in industry but in quantities that allow extensive experimentation. To exemplify our ideas we consider a specific case in which a model generator is used to create models to test a regression test optimization technique.","PeriodicalId":193450,"journal":{"name":"2013 1st International Workshop on Combining Modelling and Search-Based Software Engineering (CMSBSE)","volume":"32 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-05-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128929211","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}
引用次数: 9
下一页 尾页
0
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整，为了账户安全，请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
请完成安全验证×
相关产品
×
本文献相关产品
联系我们：info@booksci.cn Book学术提供免费学术资源搜索服务，方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号：604180095
Book学术官方微信