Ir al contenido

Documat


Resumen de Una propuesta para la verificación de Requisitos basada en métricas

Beatriz Bernárdez Jiménez Árbol académico, Amador Durán Toro Árbol académico, José Miguel Toro Bonilla Árbol académico, Marcela Genero Árbol académico

  • español

    En este artículo se describen un conjunto de heurísticas para verificación de requisitos basadas en métricas. También se presentan los principales resultados de las revisiones empíricas que se han llevado a cabo para validarlas. Las heurísticas son fruto de nuestra experiencia en la verificación de especificaciones de requisitos desarrolladas por alumnos de Ingeniería Informática de la Universidad de Sevilla. La intuición en la que se basan las heurísticas es que existe cierta relación causa—efecto entre el valor de ciertas métricas para casos de uso y la presencia de defectos en éstos. Una primera revisión empírica, publicada en un trabajo previo, nos permitió identificar los principales tipos de defectos que detectan las heurísticas. Basándonos en dicho conjunto de defectos se ha elaborado una taxonomía de defectos para casos de uso, que se ha usado como instrumento para verificar un conjunto de especificaciones de requisitos objeto de la segunda revisión empírica realizada. El objetivo de dicho estudio ha sido corroborar la validez de las heurísticas y se han obtenido resultados interesantes que confirman la validez de las mismas.

  • English

    In this paper, a set of heuristics, based on metrics, to requirements verification are described. Also, the findings of the empirical studies carried out to validate the heuristics are summarised. The heuristics profit from our experience on verifying requirements specification developed by students of the Computer Science Engineering School. The intuition behind the heuristics is that there exists certain cause—effect relationship between the value of some use case metrics and the presence of concrete defects types in use cases. A first empirical review presented in our previous work has allowed us to identify the list of the main defect types that are detected by the heuristics. Based on this list, we have defined a complete taxonomy of defects to use cases. Using that taxonomy, a set of requirement specifications have been verified and a second empirical review have been carried out to corroborate the validity of heuristics, obtaining some successful results.


Fundación Dialnet

Mi Documat