Benutzerdefiniertes Cover
Benutzerdefiniertes Cover
Normale Ansicht MARC-Ansicht ISBD

Validation of Evolving Software / edited by Hana Chockler, Daniel Kroening, Leonardo Mariani, Natasha Sharygina

Mitwirkende(r): Resource type: Ressourcentyp: Buch (Online)Buch (Online)Sprache: Englisch Reihen: SpringerLink BücherVerlag: Cham : Springer, 2015Beschreibung: Online-Ressource (VIII, 220 p. 60 illus., 28 illus. in color, online resource)ISBN:
  • 9783319106236
Schlagwörter: Andere physische Formen: 9783319106229 | Erscheint auch als: 978-331-91062-2-9 Druck-AusgabeDDC-Klassifikation:
  • 005.1
RVK: RVK: ST 230LOC-Klassifikation:
  • QA76.758
DOI: DOI: 10.1007/978-3-319-10623-6Online-Ressourcen:
Inhalte:
IntroductionChallenges of Existing Technology -- Static Analysis -- Dynamic Analysis -- Hybrid Analysis -- Quality of Validation.
Zusammenfassung: Introduction -- Challenges of Existing Technology -- Static Analysis -- Dynamic Analysis -- Hybrid Analysis -- Quality of Validation.Zusammenfassung: This book describes the methodology and accompanying technology for reducing the costs of validation of changes by introducing automatic techniques to analyze and test software increments. It builds a unified approach to efficient and reliable validation of changes and upgrades, and may be used as a research monograph and a reference book.PPN: PPN: 1657483819Package identifier: Produktsigel: ZDB-2-SEB | ZDB-2-SXCS | ZDB-2-SCS
Dieser Titel hat keine Exemplare