论文信息 - Die Klassifikationsbaummethode für eingebettete Systeme mit Testmustern für nichtkontinuierliche Reglerelemente

Die Klassifikationsbaummethode für eingebettete Systeme mit Testmustern für nichtkontinuierliche Reglerelemente

Ein wichtiges Qualitätsmerkmal des modellbasierten Tests und damit beim Test von Simulink-Modellen sind Überdeckungskriterien. Wir stellen einen Ansatz zur Verbesserung der Testüberdeckung von Simulink-Modellen unter Verwendung der Klassifikationsbaummethode (CTM) vor. Dazu erweitern wir die CTM um eine Signalbeschreibung durch die Ableitung eines Signals.

Wolfgang Müller | Alexander Krupp

[1] Alfred L. Crouch,et al. Design-For-Test For Digital IC's and Embedded Core Systems , 1999 .

[2] Niraj K. Jha,et al. Testing of Digital Systems , 2003 .

[3] Marc J. Balcer,et al. The category-partition method for specifying and generating fuctional tests , 1988, CACM.

[4] Matthias Grochtmann,et al. Classification trees for partition testing , 1993, Softw. Test. Verification Reliab..

[5] W. Aldrich,et al. Using Model Coverage Analysis to Improve the Controls Development Process , 2002 .

[6] Mirko Conrad. Modell-basierter Test eingebetteter Software im Automobil , 2004 .

[7] J. Banks,et al. Discrete-Event System Simulation , 1995 .

[8] Thomas Kropf,et al. Introduction to Formal Hardware Verification , 1999, Springer Berlin Heidelberg.