Testmustergenerierung mit Hilfe von ... - ihmor.de

Kurzfassung
Kurzfassung
Im modellbasierten Entwicklungsprozess eingebetteter Systeme kommen vermehrt Techniken
zur automatischen Erstellung von Tests zum Einsatz. Die auf Zufall basierenden
Verfahren haben Nachteile bezüglich der Effizienz während der Generierung von Testdaten
und der Qualität der erzeugten Testmuster. Die vorliegende Arbeit liefert eine
Methodik, welche dem Testentwickler die Möglichkeit zur Steuerung zufallsbasierter
Testmustergenerierung mithilfe von Wahrscheinlichkeitsverteilungen bietet. Dadurch ist es
dem Anwender des Verfahrens möglich, gezielt Testdaten für Systembereiche zu generieren,
welche durch das allgemeine auf Zufall basierte Verfahren nicht abgedeckt werden.
Das entwickelte Verfahren wurde im Rahmen dieser Arbeit prototypisch umgesetzt,
wodurch eine Evaluierung der Methodik ermöglicht wurde. Diese zeigt, dass der Aufwand
der Testerstellung sowie der Testdurchführung durch Anwendung der entwickelten
Methodik stark verringert werden kann. Zusätzlich wurde die Qualität der erzeugbaren
Testmuster derart gesteigert, dass diese nahezu die Qualität manuell erstellter Testmuster
erreichen.
Abstract
Techniques for automatic test pattern generation are increasingly applied in the modelbased
development process of embedded systems. Random-based methods have disadvantages
in respect of efficiency during the generation process of test data and in terms of
quality of generated test patterns. In this diploma thesis, a methodology is presented,
allowing the developer to control the random-based generation process of test patterns by
dint of probability distributions. Using this methodology, test patterns for those system
areas not covered by the generic random-based method can be obtained automatically. The
developed method is prototypically implemented in the context of this thesis, permitting its
evaluation. Evaluation results show that effort for test data creation and test execution can
be significantly reduced by applying the outlined technique. Additionally, it increases the
quality of generated test patterns almost to the level of manually created ones.
i