Zusammenfassung
Beim modellbasierten Testverfahren werden abstrakte Testmodelle entwickelt, die das Verhalten des zu testenden Systems beschreiben und mit deren Hilfe Testfälle erzeugt und ausgewählt werden. Es gibt jedoch eine wesentliche Schwierigkeit bei der Integration des modellbasierten Testens, insbesondere wenn es sich um Systeme beziehungsweise Schnittstellen handelt, die ein sogenanntes hybrides Verhalten aufweisen, das heißt sowohl ereignisdiskrete wie auch zeitkontinuierliches Verhalten beinhalten. Das Fraunhofer-Institut für Experimentelles Software Engineering IESE entwickelte hierfür eine Software namens Simotest, die eine modellbasierte Verifikation unter Anwendung der IEEE 1641 auch hybrider Modelle ermöglicht. Die Vorteile verdeutlichen die Autoren am Beispiel einer Lichtsteuerung. Die für das Beispiel benötigten Modelle wurden mit Matlab/Simulink erstellt.
Literaturhinweise
Bringmann, E.; Krämer, A.: Systematic Testing of the Continuous Behavior of Automotive Systems. Proceedings of the International Workshop on Software Engineering for Automotive Systems 2006, pp. 13–20
IEEE 1641: IEEE Standard for Signal and Test Definition. IEEE, Piscataway, NJ. 2006. www.ieee.org
Prowell, J. S.; Poore, J. H.: Foundations of Sequence-Based Software Specification. IEEE Transactions on Software Engineering, 29(5), pp. 417–429, 2003
Eschbach, R.; Hussain, Tanvir: Appplication of Model-Based Statistical Testing for the Automotive and Factory Automation Domains. Magazine: Testing Experience, March, 2010. http://www.testingexperience-shop.com
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Eschbach, R., Hussain, T. Modulare Signalbeschreibungen. ATZ Elektron 5, 54–58 (2010). https://doi.org/10.1007/BF03224033
Issue Date:
DOI: https://doi.org/10.1007/BF03224033