Model-Based Testing of Reactive Systems
Manfred Broy
Sold by Wegmann1855, Zwiesel, Germany
AbeBooks Seller since June 2, 2022
New - Soft cover
Condition: New
Quantity: 1 available
Add to basketSold by Wegmann1855, Zwiesel, Germany
AbeBooks Seller since June 2, 2022
Condition: New
Quantity: 1 available
Add to basketNeuware -Testing is the primary hardware and software verification technique used by industry today. Usually, it is ad hoc, error prone, and very expensive. In recent years, however, many attempts have been made to develop more sophisticated formal testing methods. This coherent book provides an in-depth assessment of this emerging field, focusing on formal testing of reactive systems.This book is based on a seminar held in Dagstuhl Castle, Germany, in January 2004. It presents 19 carefully reviewed and revised lectures given at the seminar in a well-balanced way ensuring competent complementary coverage of all relevant aspects. An appendix provides a glossary for model-based testing and basics on finite state machines and on labelled transition systems. The lectures are presented in topical sections on testing of finite state machines, testing of labelled transition systems, model-based test case generation, tools and case studies, standardized test notation and execution architectures, and beyond testing.
Seller Inventory # 9783540262787
Testing is the primary hardware and software verification technique used by industry today. Usually, it is ad hoc, error prone, and very expensive. In recent years, however, many attempts have been made to develop more sophisticated formal testing methods. This coherent book provides an in-depth assessment of this emerging field, focusing on formal testing of reactive systems.
This book is based on a seminar held in Dagstuhl Castle, Germany, in January 2004. It presents 19 carefully reviewed and revised lectures given at the seminar in a well-balanced way ensuring competent complementary coverage of all relevant aspects. An appendix provides a glossary for model-based testing and basics on finite state machines and on labelled transition systems. The lectures are presented in topical sections on testing of finite state machines, testing of labelled transition systems, model-based test case generation, tools and case studies, standardized test notation and execution architectures, and beyond testing.
"About this title" may belong to another edition of this title.
???????????????????????????????????????????????????????
Allgemeine Geschäftsbedingungen mit Kundeninformationen
???????????????????????????????????????????????????????
Inhaltsverzeichnis
??????????????????
Versand und Zahlungsbedingungen
Versandkosten
Deutschland
Bei Bestellung eines unserer Produkte entfallen zusätzlich 4,90 € Versandgebühren an. Wir versenden Ihre Ware mit DHL. Ab einem Warenwert von 50 Euro werden keine Versandkosten berechnet. Die Lieferung ist versandfrei, sobald Sie ein Buch mitbestellen.
Lieferzeit
Lieferfrist: ca. 1-3 Tage. Produkte mit längerer Lieferzeit sind in Ihrer späteren Auftragsbestätigung gesondert gekennzeichnet.
Versandkosten Europazone 7,50 €
Belgien, Dänemark, Estland, Italien, Finnland, Frankreich, Griechenland, Großbritannien, Irland, Liechtenstein, Luxemburg, Österreich, Schweden, Schweiz, Slowakei, Spanien, Ungarn, Tschechien, Polen
Sonstige Zone
Bei Ländern ausserhalb der oben genannten Zonen, nehmen Sie bitte vorab Kontakt mit uns auf.
Lieferzeit ins Ausland
Zwischen 4 bis 15 Werktagen plus Zoll ( ausserhalb EU )
Sie haben folgende Zahlungsmöglichkeiten:
Vorkasse
PayPal
Kauf auf Lastschrift mit PayPal
Kreditkartenzahlung mit PayPal
| Order quantity | 9 to 30 business days | 8 to 14 business days |
|---|---|---|
| First item | US$ 30.16 | US$ 38.29 |
Delivery times are set by sellers and vary by carrier and location. Orders passing through Customs may face delays and buyers are responsible for any associated duties or fees. Sellers may contact you regarding additional charges to cover any increased costs to ship your items.