תמונות העטיפה

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

תיאור מלא

שמור ב:
מידע ביבליוגרפי
מחבר תאגידי: SpringerLink (Online service)
מחברים אחרים: 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)
פורמט: אלקטרוני ספר אלקטרוני
שפה:English
יצא לאור: Cham : Springer International Publishing : Imprint: Springer, 2015.
מהדורה:1st ed. 2015.
נושאים:
Software engineering.
Computer logic.
Software Engineering.
Logics and Meanings of Programs.
גישה מקוונת:https://doi.org/10.1007/978-3-319-10623-6
תגים: הוספת תג
אין תגיות, היה/י הראשונ/ה לתייג את הרשומה!
תוכן הענינים:
  • Introduction
  • Challenges of Existing Technology
  • Static Analysis
  • Dynamic Analysis
  • Hybrid Analysis
  • Quality of Validation.

פריטים דומים