Fabian Zimmermann

Learn More
—In this paper, a method is presented that allows to automatically generate test cases for risk-based testing of safety-critical systems. This is done through the systematic construction or refinement of risk-based test models. Our approach works for almost all kinds of model-based testing. In this paper, we use Model-based Statistical Testing as(More)
— In dieser Arbeit stellen wir erste Ideen für ei-ne Methode zur automatischen Ableitung risikoreicher Testfälle vor. Diese Testfälle werden aus Modellen abgelei-tet, die speziell zum Testen erstellt wurden. Das hier vorge-stellte Verfahren ist eine Anpassung des modellbasierten statistischen Testens für risikoreiche Systeme. Dabei ver-wenden wir(More)
One aspect often neglected during the development of autonomous mobile robots is the systematic validation of their overall behavior. Especially large robots applied to real-world scenarios may cause injuries or even human death and must therefore be classified as safety-critical. In this paper, a generic approach to defining and executing purposeful test(More)
  • 1