"Spezifikationsbasierter Softwaretest" Test mit Matlab/Simulink/Stateflow

Größe: px

Ab Seite anzeigen:

Download ""Spezifikationsbasierter Softwaretest" Test mit Matlab/Simulink/Stateflow"

Dirk Baumgartner
vor 7 Jahren
Abrufe

1 "Spezifikationsbasierter Softwaretest" Test mit Matlab/Simulink/Stateflow

2 Übersicht Überblick über Matlab-Produktfamilie Systematischer Test Effektive teststrategie für den modell-basierten test Testverfahren von simulink/stateflowmodellen Klassifikationsbaum-Methode Teststool von simulink/stateflowmodellen CTE Reactis Tester 2

Testverfahren von simulink/stateflowmodellen

3 Überblick über ML-Produktfamilie blockorientiertes, kommerzielles Modellierungs- und Simulationswerkzeug. Beschreibungssprachen, Berechnungstechniken und Interpreter / Compile. bestehend aus Matlab- und Simulink-Grundsoftware zusammen mit allen Erweiterungen in Form von toolboxen und Blocksets. 3

Beschreibungssprachen, Berechnungstechniken und Interpreter / Compile.

4 Überblick über ML-Produktfamilie der Name Matlab kommt von MATrix-LABoratory Grundelemente : Matrizen und ihre Manipulation Simulink: eine Erweiterung von ML Speziell für die Simulation mit Hilfe einer graphischen Darstellung des dynamischen System. Stateflow: ein Zusatz zu Simulink, um hybride Systeme beschreiben und mittels animierter Simulation ananlysieren zu können. 4

mit Hilfe einer graphischen Darstellung des dynamischen System.

5 Simulink/Stateflow -Modell Ein Modell besteht aus Funktionsblöcken mit fest definierten Ein- und Ausgängen. Komponenten werden im Blockdiagramm durch gerichtete Kanten zwischen ihren Schnittstellen miteinander verbunden 5

6 Simulink/Stateflow -Modell (Beispiel) 6

7 Systematischer Test 7

8 Systematischer Test Die wichtigste Aktivität ist die Ermittlung von Testfällen, mit denen der Test durchgeführt werden soll, da hier Art und Umfang der Prüfung festgelegt werden und damit die Güte (Fehleraufdeckung) des Tests bestimmt wird. Zwei in der Praxis verbreitete Verfahren der Funktionstest ( Black-Box-Test ) der Strukturtest ( White-Box-Test ). 8

und damit die Güte (Fehleraufdeckung) des Tests bestimmt wird.

9 Effektive teststrategie für den modell-basierten test Teststrategien umfassen Kombinationen von Funktionsund Strukturtestverfahren. Ziel einer effektiven Teststrategie Bereitstellen einer geeigneten Kombination verschiedener Testverfahren, die eine hohe Fehleraufdeckungswahrscheinlichkeit gewährleistet. 9

Ziel einer effektiven Teststrategie Bereitstellen einer geeigneten

10 Effektive teststrategie für den modell-basierten test 10

11 verfahren für den test von SL/SF modellen Testverfahren für den Funktionstest von Modellen Evolutionärer Sicherheitstest (EST) Klassifikationsbaum-Methode für Eingebettete Systeme CTMEMB Modell-basierter Black-box Test (MB3T) Prototyp-basierter Test für hybride reaktive Systeme Testgenerierung durch Modelchecking Time Partition Testing (TPT) Zufallstests 11

Systeme CTMEMB Modell-basierter Black-box Test (MB3T) Prototyp-basierter Test für hybride

12 verfahren für den test von SL/SF modellen Testverfahren für den Strukturtest von Modellen Constraint-basierte Testdatenanalyse Modell-basierte Testfallextraktion Modellstrukturtests 12

13 Klassifikationsbaum-Methode Die grundidee: zuerst die Menge der möglichen Eingaben für das Testobjekt getrennt auf verschiedene Weisen, unter jeweils einem geeigneten Gesichtspunkt zu zerlegen, um dann durch Kombination dieser Zerlegungen zu Testfällen zu gelangen. 13

Weisen, unter jeweils einem geeigneten Gesichtspunkt zu zerlegen,

14 Klassifikationsbaum-Methode (Beispiel) 14

15 Werkzeuge für den test von SL/SF modellen CTE/ES, CTE/XL ET Embedded Validator MATT MEval MOTCase-X MTest Reactis Tester Safety Test Builder TPT 15

16 CTE (Classification Tree Editor) ein komfortables Werkzeug zur Unterstützung der Klassifikationsbaum-Methode unterstützt die Erstellung des Klassifikationsbaums sowie der Kombinationstabelle und prüft die syntaktischen Regeln der Methode. 16

unterstützt die Erstellung des Klassifikationsbaums sowie

17 Reactis tool 17

18 Ein Überblick über Reactis Reactis enthält drei Kernbestandteile: 1. Tester erzeugt automatisch Testsuiten von den Modellen 2. Simulator vorbildliche Durchführung sichtbar zu machen 3. Validator Sucht nach Verletzungen der benutzerspezifischen Anforderungen 18

19 Die Struktur von Tester-generated test suites 19

20 Reactis Tester 20

21 source code testing 21

Ähnliche Dokumente

Spezifikationsbasierter Softwaretest

Spezifikationsbasierter Softwaretest Seminartermin I (10.06.2006) Prof. Dr. H. Schlingloff Humboldt Universität, Fraunhofer FIRST Dr. M. Conrad The MathWorks GmbH Zeitplanung Vortragsdauer 30 Minuten (genau