Facilitating reuse in multi-goal test-suite generation for software product lines (bibtex)
by Bürdek, Johannes, Lochau, Malte, Bauregger, Stefan, Holzer, Andreas, von Rhein, Alexander, Apel, Sven and Beyer, Dirk
Abstract:
Feature-based formalisms provide an elegant way to specify families of systems that share a base functionality and differ in certain features. They can also facilitate an all-in-one analysis, where all systems of the family are analyzed at once on a single family model instead of one-by-one. This paper presents the basic concepts of the tool ProFeat, which provides a guarded-command language for modeling families of probabilistic systems and an automatic translation of family models to the input language of the probabilistic model checker Prism. This translational approach enables a family-based quantitative analysis with Prism. Besides modeling families of systems that differ in system parameters such as the number of identical processes or channel sizes, ProFeat also provides special support for the modeling and analysis of (probabilistic) product lines with dynamic feature switches, multifeatures and feature attributes. By means of several case studies we show how ProFeat eases family-based modeling and compare the one-by-one and all-in-one analysis approach.
Reference:
Facilitating reuse in multi-goal test-suite generation for software product lines (Bürdek, Johannes, Lochau, Malte, Bauregger, Stefan, Holzer, Andreas, von Rhein, Alexander, Apel, Sven and Beyer, Dirk), In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Springer, volume 9033, 2015.
Bibtex Entry:
@InProceedings{DBLP:conf/se/LochauBBHRAB16,
  Title                    = {{Facilitating reuse in multi-goal test-suite generation for software product lines}},
  Author                   = {B\"urdek, Johannes and Lochau, Malte and Bauregger, Stefan and Holzer, Andreas and von Rhein, Alexander and Apel, Sven and Beyer, Dirk},
  Booktitle                = {Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)},
  Year                     = {2015},
  Pages                    = {84--99},
  Publisher                = {Springer},
  Volume                   = {9033},

  Abstract                 = {Feature-based formalisms provide an elegant way to specify families of systems that share a base functionality and differ in certain features. They can also facilitate an all-in-one analysis, where all systems of the family are analyzed at once on a single family model instead of one-by-one. This paper presents the basic concepts of the tool ProFeat, which provides a guarded-command language for modeling families of probabilistic systems and an automatic translation of family models to the input language of the probabilistic model checker Prism. This translational approach enables a family-based quantitative analysis with Prism. Besides modeling families of systems that differ in system parameters such as the number of identical processes or channel sizes, ProFeat also provides special support for the modeling and analysis of (probabilistic) product lines with dynamic feature switches, multifeatures and feature attributes. By means of several case studies we show how ProFeat eases family-based modeling and compare the one-by-one and all-in-one analysis approach.},
  Doi                      = {10.1007/978-3-662-46675-9_6},
  ISBN                     = {9783662466742},
  ISSN                     = {16113349},
  Keywords                 = {Automated test generation,CPA/TIGER,CPACHECKER,Software product lines,Symbolic model checking,imotep},
  Mendeley-tags            = {imotep},
  Url                      = {http://subs.emis.de/LNI/Proceedings/Proceedings252/article31.html}
}
Powered by bibtexbrowser