Cualidades del software - Introducción a la Ingeniería de Software

Correctitud (Correctness): Un programa es funcionalmente correcto si se comporta de acuerdo a la especificación de las funciones (especificación de requerimientos funcionales) que debería proveer. Esta definición de correctitud asume que existe una especificación de requerimientos funcionales d...

Descripción completa

Guardado en:
Detalles Bibliográficos
Autor principal: Aguilera, Sergio
Formato: Learning Object
Lenguaje:Español
Publicado: Cátedras - Facultad de Ingeniería y Tecnología Informática - Universidad de Belgrano 2015
Materias:
Acceso en línea:http://repositorio.ub.edu.ar/handle/123456789/5207
Aporte de:
id I36-R142-123456789-5207
record_format dspace
institution Universidad de Belgrano
institution_str I-36
repository_str R-142
collection Repositorio Institucional - Universidad de Belgrano (UB)
language Español
topic software
Ingeniería de Software
Software engineering
Cualidades del software
Software Qualities
spellingShingle software
Ingeniería de Software
Software engineering
Cualidades del software
Software Qualities
Aguilera, Sergio
Cualidades del software - Introducción a la Ingeniería de Software
topic_facet software
Ingeniería de Software
Software engineering
Cualidades del software
Software Qualities
description Correctitud (Correctness): Un programa es funcionalmente correcto si se comporta de acuerdo a la especificación de las funciones (especificación de requerimientos funcionales) que debería proveer. Esta definición de correctitud asume que existe una especificación de requerimientos funcionales del sistema y que es posible determinar en forma no ambigua si las cumple o no. Se presentan diversas dificultades cuando no existe dicha especificación, o si existe pero está escrita informalmente utilizando, por ejemplo, lenguaje natural por lo que es posibleque contenga ambiguedades. La correctitud es una propiedad matemática que establece la equivalencia entre el software y su especificación, por lo que cuanto más riguroso se haya sido en la especificación, más precisa y sistemática podrá ser su evaluación. Posteriormente se verá que la correctitud puede serevaluada mediante diversos métodos, algunos de enfoque experimental como las pruebas, otros de enfoque analítico como verificación formal de la correctitud.
format Learning Object
author Aguilera, Sergio
author_facet Aguilera, Sergio
author_sort Aguilera, Sergio
title Cualidades del software - Introducción a la Ingeniería de Software
title_short Cualidades del software - Introducción a la Ingeniería de Software
title_full Cualidades del software - Introducción a la Ingeniería de Software
title_fullStr Cualidades del software - Introducción a la Ingeniería de Software
title_full_unstemmed Cualidades del software - Introducción a la Ingeniería de Software
title_sort cualidades del software - introducción a la ingeniería de software
publisher Cátedras - Facultad de Ingeniería y Tecnología Informática - Universidad de Belgrano
publishDate 2015
url http://repositorio.ub.edu.ar/handle/123456789/5207
work_keys_str_mv AT aguilerasergio cualidadesdelsoftwareintroduccionalaingenieriadesoftware
bdutipo_str Repositorios
_version_ 1764820531320717312