Learning and statistical model checking of system response times

Autor: Robert Korošec, Priska Bauerstätter, Severin Kann, Elisabeth Jöbstl, Rupert Schlick, Richard Schumi, Cristinel Mateis, Bernhard K. Aichernig, Willibald Krenn

Publikováno v: Software Quality Journal. 27:757-795

Since computers have become increasingly more powerful, users are less willing to accept slow responses of systems. Hence, performance testing is important for interactive systems. However, it is still challenging to test if a system provides accepta

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::01c738d5ea1a053426439b8682009af7
https://doi.org/10.1007/s11219-018-9432-8

Compositional Specifications for ioco Testing

Autor: Willibald Krenn, Dejan Nickovic, Thomas A. Henzinger, Przemysław Daca

Publikováno v: ICST

Model-based testing is a promising technology for black-box software and hardware testing, in which test cases are generated automatically from high-level specifications. Nowadays, systems typically consist of multiple interacting components and, due

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::7f7cf567748012654168c0adf0cb344e

Model-based, mutation-driven test case generation via heuristic-guided branching search

Autor: Thorsten Tarrach, Georg Weissenbacher, Andreas Fellner, Willibald Krenn, Rupert Schlick

Publikováno v: MEMOCODE
Proceedings of the 15th ACM-IEEE International Conference on Formal Methods and Models for System Design-MEMOCODE 17
Proceedings of the 15th ACM-IEEE International Conference on Formal Methods and Models for System Design -MEMOCODE '17
Proceedings of the 15th ACM-IEEE International Conference on Formal Methods and Models for System Design

This work introduces a heuristic-guided branching search algorithm for model-based, mutation-driven test case generation. The algorithm is designed towards the efficient and computationally tractable exploration of discrete, non-deterministic models

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::6056954391313226017e06ea00597431
https://doi.org/10.1145/3127041.3127049

Towards generation of efficient test cases from UML/OCL models for complex safety-critical systems

Autor: Rupert Schlick, Harald Brandl, Wolfgang Herzner, Willibald Krenn, W. Schütz

Publikováno v: e & i Elektrotechnik und Informationstechnik

This paper describes a new approach for model-based test case generation (MBTCG) for large systems, which not only supports the expression of complex requirements (constraints) using OCL, but also lays ground for improving the efficiency (i.e. maximu

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::f8149dc28781f58d820ccf2e016b3b9b
https://doi.org/10.1007/s00502-010-0741-2

MoMut::UML Model-Based Mutation Testing for UML

Autor: Rupert Schlick, Elisabeth Jöbstl, Harald Brandl, Bernhard K. Aichernig, Willibald Krenn, Stefan Tiran

Publikováno v: ICST

Model-based mutation testing (MBMT) is a promising testing methodology that relies on a model of the system under test (SUT) to create test cases. Hence, MBMT is a so-called black-box testing approach. It also is fault based, as it creates test cases

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::7e84ce922bb59800262573a734046cc5
https://doi.org/10.1109/icst.2015.7102627