Auflistung nach Autor:in "Hollmann, Axel"
1 - 8 von 8
Treffer pro Seite
Sortieroptionen
- KonferenzbeitragHolistic testing of interactive systems using statecharts(Sicherheit 2006, Sicherheit – Schutz und Zuverlässigkeit, 2006) Belli, Fevzi; Budnik, Christof J.; Hollmann, Axel
- KonferenzbeitragHolistic Testing with Basic Statecharts(Software Engineering 2007 – Beiträge zu den Workshops – Fachtagung des GI-Fachbereichs Softwaretechnik, 2007) Belli, Fevzi; Hollmann, AxelBased on prior work, this paper extends our holistic approach to generation and selection of test cases based on statecharts. A basic definition of statecharts is given. Furthermore, test selection criteria and a test process are presented.
- KonferenzbeitragModellbasiertes Testen(Informatik 2009 – Im Focus das Leben, 2009) Belli, Fevzi; Budnik, Christof J.; Hollmann, Axel; Saglietti, Francesca; Winter, Mario
- KonferenzbeitragMOTES08 - Modellbasiertes Testen – 3. Workshop im Rahmen der Jahrestagung der Gesellschaft für Informatik am 9. September 2008 in München – Einführung und Übersicht über die angenommenen Beiträge(INFORMATIK 2008. Beherrschbare Systeme – dank Informatik. Band 1, 2008) Belli, Fevzi; Budnik, Christof J.; Hollmann, Axel; Winter, Mario
- KonferenzbeitragMOTES09 - Modellbasiertes Testen – 4. Workshop im Rahmen der Jahrestagung der Gesellschaft für Informatik am 29. September 2009 in Lübeck – Einführung und Übersicht über die angenommenen Beiträge(Informatik 2009 – Im Focus das Leben, 2009) Belli, Fevzi; Budnik, Christof J.; Hollmann, Axel; Saglietti, Francesca; Winter, Mario
- KonferenzbeitragMOTES2010 - Modellbasiertes Testen(INFORMATIK 2010. Service Science – Neue Perspektiven für die Informatik. Band 2, 2010) Belli, Fevzi; Budnik, Christof J.; Hollmann, Axel; Saglietti, Francesca; Winter, Mario
- KonferenzbeitragPositive and Negative Testing with Mutation-Driven Model Checking(INFORMATIK 2008. Beherrschbare Systeme – dank Informatik. Band 1, 2008) Chen, Zhenyu; Hollmann, AxelMutation-driven test case generation with model checking has been pro- posed to reduce the costs of specification-based mutation analysis. Most of the exist- ing work focuses on verifying the expected behavior in the original model, i.e. positive testing. In this paper negative testing is introduced to check the unexpected behavior. Mutants are divided into three types: increscent, decrescent, and cross mutants. Both, positive and negative testing is proposed to guarantee the detection of these mutants. A non-trivial example illustrates and validates our approach.
- KonferenzbeitragVergleich einer graphenbasierten Methode mit der Klassifikationsbaummethode für die Testfallermittlung anhand einer automotiven Fallstudie(Software Engineering 2008, 2008) Beidinger, Friedrich; Hollmann, Axel; Kleinselbeck, Markus; Ritschel, Wolf