Search

Model-based test design is increasingly being applied in practice and studied in research. Model-based testing (MBT) exploits abstract models of the software behaviour to generate abstract tests, which are then transformed into concrete tests ready to run on the code. Given that abstract tests are designed to cover models but are run on code (after transformation), the effectiveness of MBT is dependent on whether model coverage also ensures coverage of key functional code. In this article, we investigate how MBT approaches generate tests from model specifications and how the coverage of tests designed strictly based on the model translates to code coverage. We used snowballing to conduct a systematic literature review. We started with three primary studies, which we refer to as the initial seeds. At the end of our search iterations, we analysed 30 studies that helped answer our research questions. More specifically, this article characterizes how test sets generated at the model level are mapped and applied to the source code level, discusses how tests are generated from the model specifications, analyses how the test coverage of models relates to the test coverage of the code when the same test set is executed and identifies the technologies and software development tasks that are on focus in the selected studies. Finally, we identify common characteristics and limitations that impact the research and practice of MBT: (i) some studies did not fully describe how tools transform abstract tests into concrete tests, (ii) some studies overlooked the computational cost of model-based approaches and (iii) some studies found evidence that bears out a robust correlation between decision coverage at the model level and branch coverage at the code level. We also noted that most primary studies omitted essential details about the experiments., © 2023 John Wiley & Sons Ltd.Correspondence: Fabiano C. Ferrari, Rodovia Washington Luis, Km 235, São Carlos, São Paulo - Brazil.Email: fcferrari@ufscar.brFabiano Ferrari was partly supported by the Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP) - Brasil, grant #2016/21251-0 and CNPq - Brasil, grants #306310/2016-3 and #312086/2021-0. Sten Andler was partly supported by KKS (The Knowledge Foundation), by project 20130085, Testing of Critical System Characteristics (TOCSYC). Mehrdad Saadatmand was partly funded by the SmartDelta Project (more information available at https://smartdelta.org/).

Written as a concise yet practical guide that details the main features which are usually required by a programmer who makes use of the Eclipse platform, this book covers Eclipse 3.8 in a way that is accessible to the Java novice and expert alike. The reader is guided through a series of hands-on examples that introduce Eclipse and some of its plugins.The primary audience for this book are the Java programmers. This book has been written in a way that it is accessible both to beginners and advanced Java programmers alike. Also, if you are a seasoned Java developer who has been using another IDE and wondering what Eclipse brings to the table, this book will provide you with a hands-on walkthrough of the main IDE features. This book will also be beneficial to any computer science undergraduate or a graduate student who are familiar with Java.

Context: Handling multiple quality attributes (QAs) in the domain of self-adaptive systems is an understudied research area. One well-known approach to engineer adaptive software systems and fulfill QAs of the system is architecture-based self-adaptation. In order to develop models that capture the required knowledge of the QAs of interest, and to investigate how these models can be employed at runtime to handle multiple quality attributes, we need to first examine current architecture-based self-adaptive methods. Objective: In this paper we review the state-of-the-art of architecture-based methods for handling multiple QAs in self-adaptive systems. We also provide a descriptive analysis of the collected data from the literature. Method: We conducted a systematic literature review by performing an automatic search on 28 selected venues and books in the domain of self-adaptive systems. As a result, we selected 54 primary studies which we used for data extraction and analysis. Results: Performance and cost are the most frequently addressed set of QAs. Current self-adaptive systems dealing with multiple QAs mostly belong to the domain of robotics and web-based systems paradigm. The most widely used mechanisms/models to measure and quantify QAs sets are QA data variables. After QA data variables, utility functions and Markov chain models are the most common models which are also used for decision making process and selection of the best solution in presence of many alternatives. The most widely used tools to deal with multiple QAs are PRISM and IBM's autonomic computing toolkit. KLAPER is the only language that has been specifically developed to deal with quality properties analysis. Conclusions: Our results help researchers to understand the current state of research regarding architecture-based methods for handling multiple QAs in self-adaptive systems, and to identity areas for improvement in the future. To summarize, further research is required to improve existing

Written as a concise yet practical guide that details the main features which are usually required by a programmer who makes use of the Eclipse platform, this book covers Eclipse 3.8 in a way that is accessible to the Java novice and expert alike. The reader is guided through a series of hands-on examples that introduce Eclipse and some of its plugins.The primary audience for this book are the Java programmers. This book has been written in a way that it is accessible both to beginners and advanced Java programmers alike. Also, if you are a seasoned Java developer who has been using another IDE and wondering what Eclipse brings to the table, this book will provide you with a hands-on walkthrough of the main IDE features. This book will also be beneficial to any computer science undergraduate or a graduate student who are familiar with Java.