Metodología de Software

ASPECTOS DE UN LENGUAJE DE PROGRAMACION
“VERIFICACION DE TIPOS DE DATOS”
Un tipo de datos verifica un conjunto de objetos de datos y un conjunto de operaciones permitidas sobre los objetos de ese tipo. Así, los objetos del tipo “entero” comprenden un rango de variables dependientes de la instrumentación y un conjunto de operadores relacionales y aritméticos sobre literales y variables del tipoentero.
Los propósitos de especificar tipos de datos son permitir la clasificación de los objetos de acuerdo a un uso deseado; permitir al traductor del lenguaje seleccionar las representaciones de memoria para los objetos de tipos diferentes; y, en el caso de lenguajes con verificación robusta de tipos, detectar y prevenir operaciones entre objetos de tipos distintos.
La verificación de tiposde datos se refiere a las restricciones y limitaciones impuestas a los modos en que los datos elementales pueden ser manejados por el programa. Diferentes lenguajes imponen restricciones diferentes, reflejando las distintas filosofías de los diversos diseñadores de lenguajes.




Se pueden distinguir al menos cinco niveles de verificación de tipos de datos:
Nivel 0: Son tipos
Nivel 1:Coerción automática de tipos
Nivel 2: Modos mixtos
Nivel 3: Verificación ligera de tipos
Nivel 4: Verificación robusta de tipos
Cada Nivel se analiza por turno.
“LENGUAJES SIN CARACTERIZACION DE TIPOS”
Algunos lenguajes de programación (BASIC, COBOL, APL, Lisp, Snobol) no tienen proposiciones de declaración. En BASIC todos los datos se guardan en un formato numérico y los operadoresrelacionales y aritméticos se definen para números; no hay distinción entre enteros y reales como FROTRAN, COBOL guarda los daos en formatos de caracteres y decimal empacado. Los cálculos numéricos se realizan utilizando una aritmética decimal empacada. Cuando es necesario, se realizan conversiones entre representaciones de caracteres y decimal empacado. La estructura de datos fundamental en APL es elarreglo vectorial de una dimensión. Los elementos de los arreglos pueden ser números, caracteres y otros arreglos. La estructura de datos de Lisp es la lista ligada.

En Lisp es la lista ligada. Las cadenas de caracteres y los patrones son los tipos de datos fundamentales en Snobol. Las operaciones numéricas requieren conversión entre representaciones de datos. Los lenguajes sin caracterización detipos son construidos para áreas de aplicación específica y normalmente tienen una utilidad limitada en otras aplicaciones.
“MODOS MIXTOS”
FORTRAN permite operaciones en modo mixto entre tipos de datos similares. La conversión la maneja automáticamente el traductor del lenguaje. La diferencia entre la coerción automática de tipos de y la conversión en modo mixto es una cuestión de grado y no declase. Las conversiones permitidas en FORTRAN rara vez dan resultados sorpresivos e impredecibles, como en PL/1. En Fortran.
La mayor debilidad de la verificación de tipos en FORTRAN es la falta de verificación de las interfaces entre unidades de programa. En FORTRAN, una unidad de programa es un programa principal, un subprograma, un subprograma función o un bloque COMMON. Cada unidad de programase compila independientemente de las otras unidades. Con cada unidad de programa compilada se asocia una tabla de referencias externas.



“VERIFICACION ROBUSTA DE TIPOS”
Es un lenguaje de programación con verificación robusta de tipos solo se permiten operaciones entre objetos de tipos equivalentes. Para cumplir con la verificación robusta de tipos se requiere de una regla para determinarla equivalencia entre tipos. La verificación de tipos se logra utilizando revisiones al tiempo de carga sobre las interfaces entre unidades de compilación. Las revisiones al tiempo de ejecución requieren verificar propiedades dinámicas tales como restricciones de subrango, uso apropiado de registros variables, y limites apropiados en subíndices de arreglos.
“VERIFICACION LIGERA DE TIPOS”
La...