Los modelos de proceso especializado tienen muchas de las características de uno o más de los modelos tradicionales, sin embargo, dichos modelos tienden a aplicarse cuando se elige un enfoque de ingeniería de software especializado o definido muy específicamente.
DESARROLLO BASADO EN COMPONENTES.
el modelo de
desarollo basado en componentes incorpora muchas de las características
del modelo espiral. Es evolutivo por naturaleza y exige un enfoque
interactivo para la creación del software. El modelo basado en
componente configura aplicaciones desde componentes preparados
software.El modelo de desarrollo basado en componentes conduce a la
reutilización del software, y la reutilización proporciona beneficios a
los
ingenieros de software.Sin importar la tecnología usada para crear
los componentes, el modelo de desarrollo basado en componentes incorpora
las etapas siguientes.
- Se investigan y evalúan, para el tipo de aplicación de que se trate, productos disponibles basados en componentes.
- Se consideran los aspectos de integración de los componentes.
- Se diseña una arquitectura del software para que reciba los componentes.
- Se integran los componentes en la arquitectura.
- Se efectúan pruebas exhaustivas para asegurar la funcionalidad apropiada.
MODELOS DE MÉTODOS FORMALES.
El modelo de
métodos formales acompaña a un conjunto de actividades que conducen a la
especificación matemática del software de computadora. Los métodos
formales permiten que un ingeniero del software especifique, desarrolle y
verifique un sistema basado en computadora aplicando una notación
rigurosa y matemática.
La ambigüedad, lo incompleto y la inconsistencia se descubren y se
corrigen más fácilmente, no mediante una revisión a propósito para el
caso, sino mediante la aplicación del análisis matemático. Cuando se
utilizan métodos formales durante el diseño, sirven como base para la
verificación de programas y por consiguiente permiten que el ingeniero
del software descubra y corrija errores que no se pudieron detectar de
otra manera.
Aunque el modelo de los métodos formales no es el más seguido, promete un software libre de defectos. Sin embargo, se han expresado preocupaciones acerca de su aplicabilidad en un ambiente de negocios:
- El desarrollo de modelos formales consume mucho tiempo y es caro.
- Debido a que pocos desarrolladores de software tienen la formación necesaria para aplicar métodos formales, se requiere mucha capacitación.
- Es difícil utilizar los modelos como mecanismo de comunicación para clientes sin complejidad técnica.
A pesar de estas preocupaciones, el enfoque de los métodos formales ha ganado partidarios entre los desarrolladores que deben construir software de primera calidad en seguridad.
DESARROLLO DE SOFTWARE ORIENTADO A ASPECTO
Sin importar el
proceso del software que se elija, los constructores de software
complejo implementan de manera invariable un conjunto de
características, funciones y contenido de información localizados. Estas
características localizadas del software se modelan como componentes
(clases orientadas a objetos) y luego se construyen dentro del contexto
de una arquitectura de sistemas. A medida que los sistemas modernos
basados en computadora se hacen más sofisticados (y complejos), ciertas
preocupaciones —propiedades que requiere el cliente o áreas de interés
técnico— se extienden a toda la arquitectura. Algunas de ellas son las
propiedades de alto nivel de un sistema (por ejemplo, seguridad y
tolerancia a fallas). Otras afectan a funciones (aplicación de las
reglas de negocios), mientras que otras más son sistémicas
(sincronización de la tarea o administración de la memoria).
Cuando las
preocupaciones afectan múltiples funciones, características e
información del sistema, es frecuente que se les llame preocupaciones
globales. Los requerimientos del aspecto definen aquellas preocupaciones
globales que tienen algún efecto a través de la arquitectura del
software. El desarrollo de software orientado a aspectos (DSOA),
conocido también como programaciónorientada a aspectos (POA), es un
paradigma de ingeniería de software relativamente nuevo que proporciona
un proceso y enfoque metodológico para definir, especificar, diseñar y
construir aspectos: “mecanismos más allá de subrutinas y herencia para
localizar la expresión de una preocupación global”.
CONCLUSIÓN
Los métodos
formales se centra fundamentalmente en las funciones y los datos. La
especificación mediante métodos formales es más difícil de aprender que
otros métodos de análisis. Las especificaciones formales se pueden
estudiar matemáticamente, mientras que las informales no pueden
estudiarse de esta manera.
BIBLIOGRAFÍA
Pressman, R. 2010. INGENIERÍA DEL SOFTWARE. Un enfoque práctico. Séptima edición
No hay comentarios:
Publicar un comentario