Model-Based Testing of Reactive Systems

Englisch, Alexander Pretschner, Bengt Jonsson, Joost-Pieter Katoen, Manfred Broy, Martin Leucker, 2005
Bewertungen
MarkeMehr von Springer
Zwischen Do, 18.6. und Mi, 24.6. geliefert
Nur 1 Stück an Lager beim Lieferanten
kostenloser Versand

Produktinformationen

Testen von endlichen Automaten. I. Testen von endlichen Automaten. 1. Homing- und Synchronisationssequenzen. 2. Zustandsidentifikation. 3. Zustandsverifikation. 4. Konformitätstests. II. Testen von beschrifteten Übergangssystemen. 5. Vorordnungsbeziehungen. 6. Testgenerierungsalgorithmen basierend auf Vorordnungsbeziehungen. 7. I/O-Automaten basiertes Testen. 8. Testableitung aus zeitabhängigen Automaten. 9. Testtheorie für probabilistische Systeme. III. Modellbasierte Testfallgenerierung. 10. Methodische Fragestellungen im modellbasierten Testen. 11. Bewertung von coverage-basiertem Testen. 12. Technologie der Testfallgenerierung. 13. Testen von Echtzeit- und hybriden Systemen. IV. Werkzeuge und Fallstudien. 14. Werkzeuge zur Testfallgenerierung. 15. Fallstudien. V. Standardisierte Testnotation und Ausführungsarchitektur. 16. TTCN-3. 17. UML 2.0 Testprofil. VI. Über das Testen hinaus. 18. Laufzeitverifikation. 19. Modellprüfung. VII. Anhänge. 20. Modellbasiertes Testen - Ein Glossar. 21. Endliche Automaten. 22. Beschriftete Übergangssysteme.

Das Wichtigste auf einen Blick

Thema
Technik & IT
Sprache
Englisch
Autor
Alexander Pretschner, Bengt Jonsson, Joost-Pieter Katoen, Manfred Broy, Martin Leucker
Jahr
2005
Anzahl Seiten
664

Allgemeine Informationen

Artikelnummer
25370115
Verlag
Springer
Kategorie
Fachbücher
Release-Datum
27.4.2023

Buch Eigenschaften

Thema
Technik & IT
Sprache
Englisch
Autor
Alexander Pretschner, Bengt Jonsson, Joost-Pieter Katoen, Manfred Broy, Martin Leucker
Jahr
2005
Anzahl Seiten
664

Freiwilliger Klimabeitrag

CO₂-Emission
0.5 kg
Klimabeitrag
CHF 0.11

Produktdimensionen

Breite
155 mm

30 Tage Rückgaberecht wenn ungeöffnet
Keine Garantie

Produkte vergleichen

Passend dazu

Bewertungen & Meinungen

Garantiefallquote

So oft weist ein Produkt dieser Marke in der Kategorie «Fachbücher» innerhalb der ersten 24 Monate einen Defekt auf.

Quelle: Digitec Galaxus
  • 1.Rheinwerk
    0 %
  • 1.S.Fischer
    0 %
  • 1.Springer
    0 %
  • 1.Stämpfli
    0 %
  • 1.Ullstein
    0 %

Garantiefalldauer

So lange dauert eine Abwicklung ab Ankunft bei der Servicestelle bis Wiedererhalt in Arbeitstagen im Durchschnitt.

Quelle: Digitec Galaxus
  • Springer
    Ungenügende Daten
  • An der Ruhr
    Ungenügende Daten
  • Anaconda
    Ungenügende Daten
  • Ariston
    Ungenügende Daten
  • Avery Publishing Group
    Ungenügende Daten

Leider haben wir für diese Kategorie aktuell noch nicht genügend Daten, um dir mehr Quoten anzuzeigen.

Rückgabequote

So oft wird ein Produkt dieser Marke in der Kategorie «Fachbücher» retourniert.

Quelle: Digitec Galaxus
  • 60.Orell Füssli
    1.1 %
  • 60.Penguin Random House
    1.1 %
  • 60.Springer
    1.1 %
  • 63.An der Ruhr
    1.2 %
  • 63.Don Bosco
    1.2 %
Quelle: Digitec Galaxus