Formal Approaches to Software Testing

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.
Band 2931
Lecture Notes in Computer Science Band 2931

Formal Approaches to Software Testing

Third International Workshop on Formal Approaches to Testing of Software, FATES 2003, Montreal, Quebec, Canada, October 6th, 2003

Buch (Taschenbuch, Englisch)

49,99 €

inkl. gesetzl. MwSt.

Formal Approaches to Software Testing

Ebenfalls verfügbar als:

Taschenbuch

Taschenbuch

ab 49,99 €
eBook

eBook

ab 53,49 €

Beschreibung

Details

Einband

Taschenbuch

Erscheinungsdatum

28.01.2004

Herausgeber

Andreas Ulrich

Verlag

Springer Berlin

Seitenzahl

268

Beschreibung

Details

Einband

Taschenbuch

Erscheinungsdatum

28.01.2004

Herausgeber

Andreas Ulrich

Verlag

Springer Berlin

Seitenzahl

268

Maße (L/B/H)

23,5/15,5/1,6 cm

Gewicht

880 g

Auflage

2004

Sprache

Englisch

ISBN

978-3-540-20894-5

Unsere Kundinnen und Kunden meinen

0.0

0 Bewertungen

Informationen zu Bewertungen

Zur Abgabe einer Bewertung ist eine Anmeldung im Konto notwendig. Die Authentizität der Bewertungen wird von uns nicht überprüft. Wir behalten uns vor, Bewertungstexte, die unseren Richtlinien widersprechen, entsprechend zu kürzen oder zu löschen.

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kund*innen durch Ihre Meinung

Erste Bewertung verfassen

Unsere Kundinnen und Kunden meinen

0.0

0 Bewertungen filtern

  • Formal Approaches to Software Testing
  • 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.