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

Whither (away) Software Engineers in SBSE? 软件工程师在SBSE何去何从?

2013 1st International Workshop on Combining Modelling and Search-Based Software Engineering (CMSBSE) Pub Date : 2013-05-19 DOI: 10.1109/CMSBSE.2013.6604437

C. Simons

引用次数: 5

Efficient probabilistic testing of model transformations using search 使用搜索对模型转换进行有效的概率测试

2013 1st International Workshop on Combining Modelling and Search-Based Software Engineering (CMSBSE) Pub Date : 2013-05-19 DOI: 10.1109/CMSBSE.2013.6604431

Louis M. Rose, Simon M. Poulding

{"title":"Efficient probabilistic testing of model transformations using search","authors":"Louis M. Rose, Simon M. Poulding","doi":"10.1109/CMSBSE.2013.6604431","DOIUrl":"https://doi.org/10.1109/CMSBSE.2013.6604431","url":null,"abstract":"Checking the output of a test case for correctness-applying a test oracle-is challenging for many types of software, including model transformations. Decreasing the number of test cases that are executed during testing will therefore reduce the costs involved in testing a model transformation. However, there is a trade-off: to be confident that the transformation fulfils its specification requires the execution of sufficient test cases to fully exercise the transformation. In this paper, we demonstrate a process that derives a method of sampling random models which enables the test engineer to balance testing cost and testing efficacy. The output of the process is an optimised probability distribution over the models on which the transformation acts; test sets that efficiently exercise the transformation may then be derived by sampling models from the optimised distribution. Furthermore, we describe benefits and challenges of combining model-driven engineering and search-based software engineering tools and techniques, which include conflating metamodels with grammars to enable grammar-based search techniques over a set of models, and the need to increase the scalability of model-driven engineering tools to make them more amenable to search.","PeriodicalId":193450,"journal":{"name":"2013 1st International Workshop on Combining Modelling and Search-Based Software Engineering (CMSBSE)","volume":"38 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":"115607673","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}

引用次数: 11

Optimum feature selection in software product lines: Let your model and values guide your search 软件产品线的最佳特性选择:让您的模型和价值观指导您的搜索

2013 1st International Workshop on Combining Modelling and Search-Based Software Engineering (CMSBSE) Pub Date : 2013-05-19 DOI: 10.5555/2662572.2662581

Abdel Salam Sayyad, Joseph Ingram, T. Menzies, H. Ammar

{"title":"Optimum feature selection in software product lines: Let your model and values guide your search","authors":"Abdel Salam Sayyad, Joseph Ingram, T. Menzies, H. Ammar","doi":"10.5555/2662572.2662581","DOIUrl":"https://doi.org/10.5555/2662572.2662581","url":null,"abstract":"In Search-Based Software Engineering, well-known metaheuristic search algorithms are utilized to find solutions to common software engineering problems. The algorithms are usually taken “off the shelf” and applied with trust, i.e. software engineers are not concerned with the inner workings of algorithms, only with the results. While this may be sufficient is some domains, we argue against this approach, particularly where the complexity of the models and the variety of user preferences pose greater challenges to the metaheuristic search algorithms. We build on our previous investigation which uncovered the power of Indicator-Based Evolutionary Algorithm (IBEA) over traditionally-used algorithms (such as NSGA-II), and in this work we scrutinize the time behavior of user objectives subject to optimization. This analysis brings out the business perspective, previously veiled under Pareto-collective gauges such as Hypervolume and Spread. In addition, we show how slowing down the rates of crossover and mutation can help IBEA converge faster, as opposed to following the higher rates used in many other studies as “rules of thumb”.","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":"129756893","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}

引用次数: 48

Effectively using search-based software engineering techniques within model checking and its applications 在模型检查及其应用中有效地使用基于搜索的软件工程技术

2013 1st International Workshop on Combining Modelling and Search-Based Software Engineering (CMSBSE) Pub Date : 2013-05-19 DOI: 10.1109/CMSBSE.2013.6605713

J. S. Bradbury, D. Kelk, Mark W. Green

引用次数: 5