An overview on analysis tools for software product lines

Abstract

A software product line is a set of different software products that share commonalities. For a selection of features, specialized products of one domain can be generated automatically from domain artifacts. However, analyses of software product lines need to handle a large number of products that can be exponential in the number of features. In the last decade, many approaches have been proposed to analyze software product lines efficiently. For some of these approaches tool support is available. Based on a recent survey on analysis for software product lines, we provide a first overview on such tools. While our discussion is limited to analysis tools, we provide an accompanying website covering further tools for product-line development. We compare tools according to their analysis and implementation strategy to identify underrepresented areas. In addition, we want to ease the reuse of existing tools for researchers and students, and to simplify research transfer to practice.

Optimizing Autotrophic Sulfide Oxidation in the Oxygen-Based Membrane Biofilm Reactor to Recover Elemental Sulfur

“…Open reading frames (ORF) were assembled based on the predicted reads of the metagenomic contigs using Bowtie2 (version 2.4.4). The KEGG (Kyoto Encyclopedia of Genes and Genomes) database was used to match the predicted metagenomic contigs . The counts of the functional genes were normalized using counts per million (CPM) measurements as follows: C P M = r e a d s m a p p e d t o g e n e s g e n e s e q u e n c e l e n g t h s u m o f ( r e a d s m a p p e d t o g e n e g e n e s e q u e n c e l e…”

Potential synergies of theorem proving and model checking for software product lines

“…Recent surveys on product-line analyses give a detailed overview on related work [55] and related tools [37]. In particular, several analysis techniques are discussed, such as type checking, dataflow analyses, model checking, and theorem proving.…”

A Hybrid Harmony Search and Particle Swarm Optimization Algorithm (HSPSO) for Testing Non-functional Properties in Software System

“…Thus it was noticed that properties concerning non-functionalities in software need to be considered as a primary factor in the developmental process. However, it was also observed that several software systems failed due to higher inadequacies in these properties [5]. Previous studies shows that non-functional part are treated as properties or traits of completed programming to be considered among software engineering researchers [6].…”