125,861 Hits in 9.0 sec

Optimizing Model-Based Software Product Line Testing with Graph Transformations

Anthony Anjorin, Sebastian Oster, Ivan Zoric, Andy Schürr
2012 Electronic Communications of the EASST  
MoSo-PoLiTe (Model-Based Software Product Line Testing) is a framework for SPL testing that combines and applies combinatorial (in particular pairwise) and model-based testing to SPL feature models.  ...  Software Product Lines (SPLs) are increasing in relevance and importance as various domains strive to cope with the challenges of supporting a high degree of variability in modern software systems.  ...  MoSo-PoLiTe (Model-Based Software Product Line Testing) [OMR10] is a framework for SPL testing that combines and applies combinatorial testing and model-based testing to SPL feature models [KCH + 90  ... 
doi:10.14279/tuj.eceasst.47.724 dblp:journals/eceasst/AnjorinOZS12 fatcat:ewtek223afbupoatsi3z43ow5u

Analysis and clustering of model clones: An automotive industrial experience

Manar H. Alalfi, James R. Cordy, Thomas R. Dean
2014 2014 Software Evolution Week - IEEE Conference on Software Maintenance, Reengineering, and Reverse Engineering (CSMR-WCRE)  
We apply our model clone detection tool, SIMONE, to identify identical and near-miss Simulink subsystem clones and cluster them into classes based on clone size and similarity threshold.  ...  SIMGraph provides us and our industrial partners with new interesting and useful insights that improves our understanding of the analyzed models and suggests better ways to maintain them. 978-1-4799-3752  ...  ; and verification and test optimization in model testing.  ... 
doi:10.1109/csmr-wcre.2014.6747198 dblp:conf/csmr/AlalfiCD14 fatcat:d2nokvjt35afvb27d5gblh4sca

Incremental Test Generation for Software Product Lines

Engin Uzuncaova, Sarfraz Khurshid, Don Batory
2010 IEEE Transactions on Software Engineering  
This paper builds on one such systematic technique, scope-bounded testing, to develop a novel specification-based approach for efficiently generating tests for products in a software product line.  ...  Given properties of features as firstorder logic formulas in Alloy, our approach uses SAT-based analysis to automatically generate test inputs for each product in a product line.  ...  ACKNOWLEDGMENTS This material is based upon work partially supported by the NSF under Grant Nos. CCF-0438786, CCF-0724979, IIS-0438967, CCF-0702680, and CCF-0845628, and AFOSR grant FA9550-09-1-0351.  ... 
doi:10.1109/tse.2010.30 fatcat:brr4qcrm35bd5e2t55glajj52a

Migrating Automotive Product Lines: A Case Study [chapter]

Michalis Famelis, Levi Lúcio, Gehan Selim, Alessio Di Sandro, Rick Salay, Marsha Chechik, James R. Cordy, Juergen Dingel, Hans Vangheluwe, Ramesh S.
2015 Lecture Notes in Computer Science  
Software Product Lines (SPL) are widely used to manage variability in the automotive industry.  ...  We present a case study where we "lift" a previously developed migration transformation so that it becomes applicable to realistic industrial product lines.  ...  DSLTrans and the notion of rule layers is described in Sec. 4.1. 4 Lifting GmToAutosar Background: DSLTrans DSLTrans is an out-place, graph-based and rule-based model transformation engine that has two  ... 
doi:10.1007/978-3-319-21155-8_7 fatcat:a2qz4s45ava3pg3esfudps5eau

A Modeling Language for Program Design and Synthesis [chapter]

Don Batory
2008 Lecture Notes in Computer Science  
Software engineers define structures called programs and use tools to manipulate, transform, and analyze them.  ...  I review recent results in automated software design, testing, and maintenance and use the language of elementary mathematics to explain and relate them.  ...  Testing Software Product Lines 4 Testing software product lines is an important and poorly understood problem.  ... 
doi:10.1007/978-3-540-89762-0_2 fatcat:ibzlmnzahnbhbhobcp5auqrzte

Using modern mathematics as an FOSD modeling language

Don Batory
2008 Proceedings of the 7th international conference on Generative programming and component engineering - GPCE '08  
In this paper, we explore how Feature Oriented Software Development (FOSD) uses modern mathematics as a modeling language to express the design and synthesis of programs in software product lines, but  ...  commuting relationships among tool chains, thereby providing new ways to debug tools, and (3) it reveals new ways to optimize software synthesis.  ...  Testing Software Product Lines Testing SPLs is a fundamental problem.  ... 
doi:10.1145/1449913.1449921 dblp:conf/gpce/Batory08 fatcat:y6bw2fggvvh43elnz27a7igqry

Towards a timed Markov process model of software development

Burton Smith, David Mizell, John Gilbert, Viral Shah
2005 Proceedings of the second international workshop on Software engineering for high performance computing system applications - SE-HPCS '05  
The concept of a timed Markov model is introduced and proposed as a means of analyzing software development workflows.  ...  the model.  ...  The technique we use to estimate completion time of a TMP is based on the close resemblance they have to signal flow graphs [1].  ... 
doi:10.1145/1145319.1145338 fatcat:k4zbfy4w65hgvjqr6ret7wldm4

Pattern mining of cloned codes in software systems

Wei Qu, Yuanyuan Jia, Michael Jiang
2014 Information Sciences  
Recently, graph-based models such as program dependent graph have been exploited to solve these issues.  ...  Most existing approaches adopt a token-based software representation and use sequential analysis for pattern mining of cloned codes.  ...  Our experiment with software product lines showed that pattern mining of cloned code could improve the quality and simplify the maintenance of software product lines.  ... 
doi:10.1016/j.ins.2010.04.022 fatcat:vvlqh62v6jhvxb3fx572nge2ra

Operations research in Hungary: VOCAL 2018

Botond Bertók, Tibor Csendes, Gábor Galambos
2021 Central European Journal of Operations Research  
The P-graph software identifies the most suitable optimal and alternative suboptimal treatment approaches, considering the balance between operating cost, product qualities, and green house gas emission  ...  Modeling and preventing risks What happens with a railway network if some stations or lines are destroyed by a sequence of attacks?  ... 
doi:10.1007/s10100-021-00741-w fatcat:nrxf5qs3e5e75bvq43ro75at6a

Production line balancing by P-graphs

Aniko Bartos, Botond Bertok
2019 Optimization and Engineering  
options to generate a mathematical programming model algorithmically, to be solved by general purpose solvers or get the optimal and alternative N-best allocations by P-graph software.  ...  Due to the growing labor shortage, it is critical that the production lines should be optimally loaded, i.e., the tasks have to be evenly distributed among the workstations according to their cycle times  ...  The software was developed in consultation with a Hungarian assembly company, so the model was also tested on real data.  ... 
doi:10.1007/s11081-019-09462-1 fatcat:kwol3yo6ejas7b6zsqlkad56te

Henshin: A Model Transformation Language and its Use for Search-Based Model Optimisation in MDEOptimiser

Daniel Strüber, Alexandru Burdusel, Stefan John, Steffen Zschaler
2018 Modellierung  
We present the application of Henshin in a search-based model optimisation task, where the goal is to Ąnd an optimal model regarding a given Ątness function.  ...  Henshin is based on the paradigm of graph transformation and provides a comprehensive tool set that supports largely declarative transformation speciĄcations and various formal analyses.  ...  In academia, Henshin has been used in settings such as model versioning, model refactoring, and software product line transformations.  ... 
dblp:conf/modellierung/0001BJZ18 fatcat:qvgk2qw4jjgpnim6escuuayxzy

Assembly Sequence Planning by Probabilistic Tree Transformation

Takeshi Murayama, Yuichi Mine, Hiroshi Fujinaka, Toru Eguchi
2018 Emitter: International Journal of Engineering Technology  
The authors present a calculation example by using a software tool integrated with a CAD system.  ...  The extraction of some parts and/or subassemblies is performed, based on probabilistic tree transformation.  ...  By using the model, this software tool generated an assembly sequence, with using four good cut sets at a time to partition the part-connectivity graph.  ... 
doi:10.24003/emitter.v6i2.308 fatcat:bofzwx472jd4tfegfhiceph5qu

Verification and Diagnosis Infrastructure of SoC HDL-model [article]

Vladimir Hahanov, Wajeb Gharibi, Eugenia Litvinova, Svetlana Chumachenko
2012 arXiv   pre-print
This article describes technology for diagnosing SoC HDL-models, based on transactional graph.  ...  in tests, relative to the selected set of monitors; development of a method for analyzing the activation matrix to detect the faults with given depth and synthesizing logic functions for subsequent embedded  ...  The first component is component Row_buffer; its transaction graph, based on RTL-model, shown in Fig. 3.  ... 
arXiv:1203.0665v1 fatcat:4jvilj62mbavbiaf3m3p6vdnha

Optimized Manufacturing Layout and Operational Balancing - A Case Study in an Electronic Line from the Industrial Pole of Manaus/AM, to increase productivity

Raimundo Wenderson da Silva Figueira, Fabiana Rocha Pinto
2021 International Journal of Advanced Engineering Research and Science  
With information of the production process through the collected data, was identified in the first layout the excesses in two production lines under study, which had the two identical processes in common  ...  Based on this, a case study was recommended to carry out an experiment, whose main objective is to optimize the layout as well as every part that makes up its production processes, proposing the unification  ...  production lines capable of producing the same product models.  ... 
doi:10.22161/ijaers.811.14 fatcat:kcrnsew75bgaboufuocqpkncwy

A specification-based approach to testing software product lines

Engin Uzuncaova, Daniel Garcia, Sarfraz Khurshid, Don Batory
2007 The 6th Joint Meeting on European software engineering conference and the ACM SIGSOFT symposium on the foundations of software engineering companion papers - ESEC-FSE companion '07  
This paper presents a specification-based approach for systematic testing of products from a software product line.  ...  The prototype uses the recently developed Kodkod model finding engine of the Alloy Analyzer. We illustrate our approach using a data structure product line.  ...  This paper presents a specification-based testing approach for software product lines.  ... 
doi:10.1145/1295014.1295032 fatcat:p7tvg4g5vvfcbow7kboh3z2tg4
« Previous Showing results 1 — 15 out of 125,861 results