Imagem da capa

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

ver descrição completa

Na minha lista:
Detalhes bibliográficos
Autor Corporativo: SpringerLink (Online service)
Outros Autores: 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)
Formato: Recurso Eletrônico livro eletrônico
Idioma:English
Publicado em: Cham : Springer International Publishing : Imprint: Springer, 2015.
Edição:1st ed. 2015.
Assuntos:
Software engineering.
Computer logic.
Software Engineering.
Logics and Meanings of Programs.
Acesso em linha:https://doi.org/10.1007/978-3-319-10623-6
Tags: Adicionar Tag
Sem tags, seja o primeiro a adicionar uma tag!
Sumário:
  • Introduction
  • Challenges of Existing Technology
  • Static Analysis
  • Dynamic Analysis
  • Hybrid Analysis
  • Quality of Validation.

Registros relacionados