HBH08: Robert M. Hierons, Jonathan P. Bowen, Mark Harman (Eds.). Formal Methods and Testing, An Outcome of the FORTEST Network

2008. LNCS 4949.

  • Wozu ist Modellbasiertes Testen gut? Wenn man aus einem Modell automatisch Code generiert und den mit aus demselben Modell generierten Tests testet, ist das doch zyklisch! (Mit einem anderen Modell ist es auch nicht viel besser, da sollte man zuerst die beiden Modelle unifizieren). Anders ist es mit einer Modellbasierten Suite, man leitet aus eine Mischung von manuellen und automatischen Verfahren Code und Tests ab und kann gegenseitig Elemente wiederverwenden.
  • TTCN-3 ist eine standardisierte Testsprache, man kann Test in dieser Sprache definierenund mit entsprechenden Plattform und Applikationsadaptern durchführen. automatischenorg.eclipse.ui.internal.Workbench (in plugins/org.eclipse.ui.workbench/Eclipse UI). Es gibt eine Core-Language und verschiedene grafischen Formalism – Prozedur- und Message-orientierte Varianten sind möglich
  • Kombination von verschiedenen Testmodellen bringt (wie beim parallel Entwicklung von Software durch getrennte Teams) einen kleineren Gewinn, als von statistisch unabhängigen Prozessen erwartet wird – durch DiversitätsEnforcement kann man aber besser (als statistisch unabhängig) werden.