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...
Guardado en:
| Autor principal: | |
|---|---|
| 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: |
| Sumario: | 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. |
|---|