Model-based testing (bibtex)
by Lochau, Malte, Peldszus, Sven, Kowal, Matthias and Schaefer, Ina
Abstract:
Software more and more pervades our everyday lives. Hence, we have high requirements towards the trustworthiness of the software. Software testing greatly contributes to the quality assurance of modern software systems. However, as today's software system get more and more complex and exist in many different variants, we need rigorous and systematic approaches towards software testing. In this tutorial, we, first, present model-based testing as an approach for systematic test case generation, test execution and test result evaluation for single system testing. The central idea of model-based testing is to base all testing activities on an executable model-based test specification. Second, we consider model-based testing for variant-rich software systems and review two model-based software product line testing techniques. Sample-based testing generates a set of representative variants for testing, and variability-aware product line testing uses a family-based test model which contains the model-based specification of all considered product variants. © 2014 Springer International Publishing.
Reference:
Model-based testing (Lochau, Malte, Peldszus, Sven, Kowal, Matthias and Schaefer, Ina), Chapter in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Bernardo, Marco, Damiani, Ferruccio, Hähnle, Reiner, Johnsen, EinarBroch, Schaefer, Ina, eds.), Springer International Publishing, volume 8483 LNCS, 2014.
Bibtex Entry:
@InCollection{LPKS14,
  Title                    = {{Model-based testing}},
  Author                   = {Lochau, Malte and Peldszus, Sven and Kowal, Matthias and Schaefer, Ina},
  Booktitle                = {Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)},
  Publisher                = {Springer International Publishing},
  Year                     = {2014},
  Editor                   = {Bernardo, Marco and Damiani, Ferruccio and H{\"{a}}hnle, Reiner and Johnsen, EinarBroch and Schaefer, Ina},
  Pages                    = {310--342},
  Series                   = {Lecture Notes in Computer Science},
  Volume                   = {8483 LNCS},

  Abstract                 = {Software more and more pervades our everyday lives. Hence, we have high requirements towards the trustworthiness of the software. Software testing greatly contributes to the quality assurance of modern software systems. However, as today's software system get more and more complex and exist in many different variants, we need rigorous and systematic approaches towards software testing. In this tutorial, we, first, present model-based testing as an approach for systematic test case generation, test execution and test result evaluation for single system testing. The central idea of model-based testing is to base all testing activities on an executable model-based test specification. Second, we consider model-based testing for variant-rich software systems and review two model-based software product line testing techniques. Sample-based testing generates a set of representative variants for testing, and variability-aware product line testing uses a family-based test model which contains the model-based specification of all considered product variants. {\&}copy; 2014 Springer International Publishing.},
  Doi                      = {10.1007/978-3-319-07317-0_8},
  ISBN                     = {9783319073163},
  ISSN                     = {16113349},
  Keywords                 = {,daps,imotep},
  Mendeley-tags            = {daps,imotep},
  Url                      = {http://dx.doi.org/10.1007/978-3-319-07317-0_8}
}
Powered by bibtexbrowser