Hugendubel.info - Die B2B Online-Buchhandlung 

Merkliste
Die Merkliste ist leer.
Bitte warten - die Druckansicht der Seite wird vorbereitet.
Der Druckdialog öffnet sich, sobald die Seite vollständig geladen wurde.
Sollte die Druckvorschau unvollständig sein, bitte schliessen und "Erneut drucken" wählen.

Formal Approaches to Software Testing

Third International Workshop on Formal Approaches to Testing of Software, FATES 2003, Montreal, Quebec, Canada, October 6th, 2003
BuchKartoniert, Paperback
268 Seiten
Englisch
Springererschienen am28.01.2004
Formal methods provide system designers with the possibility to analyze system models and reason about them with mathematical precision and rigor.mehr
Verfügbare Formate
BuchKartoniert, Paperback
EUR53,49
E-BookPDF1 - PDF WatermarkE-Book
EUR53,49

Produkt

KlappentextFormal methods provide system designers with the possibility to analyze system models and reason about them with mathematical precision and rigor.
Details
ISBN/GTIN978-3-540-20894-5
ProduktartBuch
EinbandartKartoniert, Paperback
Verlag
Erscheinungsjahr2004
Erscheinungsdatum28.01.2004
ReiheLecture Notes in Computer Science
Seiten268 Seiten
SpracheEnglisch
Gewicht420 g
IllustrationenVIII, 268 p.
Artikel-Nr.10576122

Inhalt/Kritik

Inhaltsverzeichnis
Program Testing and Analysis.- Black-Box Testing of Grey-Box Behavior.- On Checking Whether a Predicate Definitely Holds.- Using a Software Testing Technique to Improve Theorem Proving.- Auto-generating Test Sequences Using Model Checkers: A Case Study.- Mutually Enhancing Test Generation and Specification Inference.- JMLAutoTest: A Novel Automated Testing Framework Based on JML and JUnit.- Test Theory and Test Derivation Algorithms.- Compositional Testing with ioco.- Defining Observation Objectives for Reactive and Distributed Systems.- Time-Optimal Real-Time Test Case Generation Using Uppaal.- Test Cases Generation for Nondeterministic Real-Time Systems.- Property Oriented Test Case Generation.- Computing Unique Input/Output Sequences Using Genetic Algorithms.- Automatic Generation of Test Purposes for Testing Distributed Systems.- Test Methods and Test Tools.- Interaction Testing in an Embedded System Using Hardware Fault Injection and Program Mutation.- Automatic Conformance Testing of Internet Applications.- A Use Case Driven Testing Process: Towards a Formal Approach Based on UML Collaboration Diagrams.- VISWAS and on Diagnosability with IEEE Std P1522 and UML2.0 Testing Profile.- Towards a Tool Environment for Model-Based Testing with AsmL.mehr

Autor

Andreas Ulrich, geboren 1962 in Hamburg, arbeitet seit 1999 als Redakteur im Deutschlandressort des SPIEGEL, wo er für die Themen Organisierte Kriminalität und Terrorismus zuständig ist. Zeitweise ist er als Reporter im Kosovo, in Afghanistan und im Irak unterwegs.
Weitere Artikel von
Herausgegeben von Petrenko, Alexandre