Please enable JavaScript.
Coggle requires JavaScript to display documents.
Introducción a los TADS. - Coggle Diagram
Introducción a los TADS.
Un tipo de datos es una abstracción que determina un conjunto de valores que deben tener los datos de cierto tipo. Por ejemplo en los lenguajes de programación se tienen el tipo entero, real y Booleano. A partir de eso se puede determinar, por ejemplo, que el 5 es un numero entero, que true es un valor Booleano
-
PRECONDICIONES:
-
-
– Representan los requisitos que se deben cumplir antes de llamar a esa operación, y por lo tanto
-
-
-
- Cosas que son importantes probar en el software en algún momento de la ejecución de la operación.
- Cosas que no serán sometidas a prueba pero de las cuales depende el éxito de la operación
POSTCONDICIONES:
-
– Describen el efecto de una función, definiendo el estado final.
– Representan, en cierto modo, el propósito u objetivo de la operación, y son condiciones que la
unidad que implementa el TAD garantiza que se van a cumplir tras la ejecución de la operación
(siempre que se hallan cumplido las precondiciones).
-
-
-
-
- Creación y eliminación de las instancias.
- Modificación de los atributos.
- Asociaciones formadas y canceladas.
-
-