Obálka

Validation of Evolving Software

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...

Celý popis

Uloženo v:
Podrobná bibliografie
Korporativní autor: SpringerLink (Online service)
Další autoři: Chockler, Hana. (Editor, http://id.loc.gov/vocabulary/relators/edt), Kroening, Daniel. (Editor, http://id.loc.gov/vocabulary/relators/edt), Mariani, Leonardo. (Editor, http://id.loc.gov/vocabulary/relators/edt), Sharygina, Natasha. (Editor, http://id.loc.gov/vocabulary/relators/edt)
Médium: Elektronický zdroj E-kniha
Jazyk:English
Vydáno: Cham : Springer International Publishing : Imprint: Springer, 2015.
Vydání:1st ed. 2015.
Témata:
Software engineering.
Computer logic.
Software Engineering.
Logics and Meanings of Programs.
On-line přístup:https://doi.org/10.1007/978-3-319-10623-6
Tagy: Přidat tag
Žádné tagy, Buďte první, kdo otaguje tento záznam!
Obsah:
  • Introduction
  • Challenges of Existing Technology
  • Static Analysis
  • Dynamic Analysis
  • Hybrid Analysis
  • Quality of Validation.

Podobné jednotky