صورة الغلاف

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. (المحرر, http://id.loc.gov/vocabulary/relators/edt), Kroening, Daniel. (المحرر, http://id.loc.gov/vocabulary/relators/edt), Mariani, Leonardo. (المحرر, http://id.loc.gov/vocabulary/relators/edt), Sharygina, Natasha. (المحرر, 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.

مواد مشابهة