Estudio semántico de modelos construidos por elicitadores independientes observando el mismo problema. Proyecto: Completitud de Modelos de Requisitos
Uno de los principales problemas que se presenta en la Ingeniería de Requisitos es la incompletitud [Kotonya 98] [Loucopoulos 95] [Firesmith 05]. Esto se refiere a la dificultad en establecer si se ha elicitado y modelado toda la información requerida para desarrollar un sistema de software que...
Guardado en:
Autores principales: | , , |
---|---|
Formato: | Working Paper |
Lenguaje: | Español |
Publicado: |
Universidad de Belgrano. Departamento de investigaciones. Documentos de Trabajo. Facultad de Tecnología Informática
2014
|
Materias: | |
Acceso en línea: | http://repositorio.ub.edu.ar/handle/123456789/2456 |
Aporte de: |
id |
I36-R142-123456789-2456 |
---|---|
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 |
elicitadores Eliciting Ingeniería sistema de software software system engineering |
spellingShingle |
elicitadores Eliciting Ingeniería sistema de software software system engineering Doorn, Jorge H. Litvak, Claudia Hadad, Graciela D. S. Estudio semántico de modelos construidos por elicitadores independientes observando el mismo problema. Proyecto: Completitud de Modelos de Requisitos |
topic_facet |
elicitadores Eliciting Ingeniería sistema de software software system engineering |
description |
Uno de los principales problemas que se presenta en la Ingeniería de Requisitos es la incompletitud
[Kotonya 98] [Loucopoulos 95] [Firesmith 05]. Esto se refiere a la dificultad en establecer si se ha elicitado
y modelado toda la información requerida para desarrollar un sistema de software que cubra las expec-tativas y necesidades de los clientes y usuarios.
Entonces el problema de la incompletitud se vincula directamente con un tipo específico de defecto:
las omisiones. Las técnicas de verificación y validación ayudan a mitigar este problema [Kotonya 98]
[Loucopoulos 95], como así también, el uso de técnicas de elicitación apropiadas permiten lograr una
adquisición de conocimiento más acabada sobre el dominio de la aplicación [Goguen 93]. Pero estas
técnicas no permiten eliminar el problema ni tampoco estimar el grado de completitud alcanzado, para ello
se requiere usar otro tipo de técnicas. El método de captura y recaptura [Otis 78] es un método predictivo
sobre el tamaño de poblaciones, que ha sido utilizado en la Ingeniería de Software para establecer la
cantidad de defectos que aún faltan detectar [Wohlin 98] y en la Ingeniería de Requisitos para determinar
la cantidad de elementos faltantes en un modelo de requisitos [Doorn 03] [Ridao 06].
Según afirma Leite en [Leite 01], el proceso de definir requisitos es inherentemente incompleto, teniendo
en vista la gran complejidad del mundo real. No es esperable alcanzar la completitud de un modelo. Se
aspira entonces a lograr un modelo lo más completo posible.
Este mismo problema se presenta en otras áreas del conocimiento, tales como Biología, Economía,
Medicina y Matemática. En la Ecología, sub-disciplina de la Biología, se usó originalmente el método
de captura y recaptura [Otis 78] [White 82] para censar poblaciones cerradas en el mundo animal. Este
método se ha aplicado en la Ingeniería de Software para estimar la cantidad de defectos que faltan aún
detectar una vez ejecutadas técnicas de verificación y/o validación, principalmente inspecciones, sobre un
artefacto de software [Wohlin 98] [Briand 00] [Petersson 04] o sobre documentos de requisitos [Walia 08].
Una adaptación de este método predictivo, denominado DPM (Detection Profile Method) [Wohlin 98],
se aplicó para estimar el tamaño de modelos de requisitos [Doorn 03] [Ridao 06], mediante la estimación
de la cantidad de información aún faltante de elicitar. Es decir, propusieron utilizar el método de captura |
format |
Working Paper |
author |
Doorn, Jorge H. Litvak, Claudia Hadad, Graciela D. S. |
author_facet |
Doorn, Jorge H. Litvak, Claudia Hadad, Graciela D. S. |
author_sort |
Doorn, Jorge H. |
title |
Estudio semántico de modelos construidos por elicitadores independientes observando el mismo problema. Proyecto: Completitud de Modelos de Requisitos |
title_short |
Estudio semántico de modelos construidos por elicitadores independientes observando el mismo problema. Proyecto: Completitud de Modelos de Requisitos |
title_full |
Estudio semántico de modelos construidos por elicitadores independientes observando el mismo problema. Proyecto: Completitud de Modelos de Requisitos |
title_fullStr |
Estudio semántico de modelos construidos por elicitadores independientes observando el mismo problema. Proyecto: Completitud de Modelos de Requisitos |
title_full_unstemmed |
Estudio semántico de modelos construidos por elicitadores independientes observando el mismo problema. Proyecto: Completitud de Modelos de Requisitos |
title_sort |
estudio semántico de modelos construidos por elicitadores independientes observando el mismo problema. proyecto: completitud de modelos de requisitos |
publisher |
Universidad de Belgrano. Departamento de investigaciones. Documentos de Trabajo. Facultad de Tecnología Informática |
publishDate |
2014 |
url |
http://repositorio.ub.edu.ar/handle/123456789/2456 |
work_keys_str_mv |
AT doornjorgeh estudiosemanticodemodelosconstruidosporelicitadoresindependientesobservandoelmismoproblemaproyectocompletituddemodelosderequisitos AT litvakclaudia estudiosemanticodemodelosconstruidosporelicitadoresindependientesobservandoelmismoproblemaproyectocompletituddemodelosderequisitos AT hadadgracielads estudiosemanticodemodelosconstruidosporelicitadoresindependientesobservandoelmismoproblemaproyectocompletituddemodelosderequisitos |
bdutipo_str |
Repositorios |
_version_ |
1764820529464737792 |