Validation of Evolving Software
tarafından
Chockler, Hana. editor.
Başlık
:
Validation of Evolving Software
Yazar
:
Chockler, Hana. editor.
ISBN
:
9783319106236
Fiziksel Niteleme
:
VIII, 220 p. 60 illus., 28 illus. in color. online resource.
İçindekiler
:
Introduction -- Challenges of Existing Technology -- Static Analysis -- Dynamic Analysis -- Hybrid Analysis -- Quality of Validation.
Özet
:
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.
Konu Başlığı
:
Computer science.
Software engineering.
Computer logic.
Logics and Meanings of Programs.
Yazar Ek Girişi
:
Chockler, Hana.
Kroening, Daniel.
Mariani, Leonardo.
Sharygina, Natasha.
Ek Kurum Yazar
:
SpringerLink (Online service)
Elektronik Erişim
:
Materyal Türü | Barkod | Yer Numarası | Durumu/İade Tarihi |
---|
Electronic Book | 21554-1001 | QA76.758 | Springer E-Book Collection |