2.2. Estado del Arte
2.2.2. Mapeo sistemático de las propuestas
Posterior al proceso de dimensionamiento descrito en la sección anterior se ha realizado un primer ejercicio para visualizar la interacción de las dos dimensiones (Tipo de contribución y tipo de validación) a partir de los documentos analizados en el proceso de mapeo sistemático, obteniendo los siguientes resultados:
En la Figura 2.9 se puede observar de manera sintetizada y haciendo uso de ejes temáticos las dos dimensiones descritas anteriormente para comprender el entorno encontrado de la propuesta de investigación. Se tiene un primer eje donde se muestran los tipos de contribución de los trabajos de investigación estudiados, y un segundo eje con los tipos de validación empleados por los investigadores para sus propuestas. Esta figura además permite ver la información de cruces entre los diferentes ítems de cada dimensión de investigación de manera que se pueda visualizar con mayor claridad el total de casos de cada pareja de ítems. Esta figura se acompaña de la Tabla 2.4 que describe año, país, autor(es) y título del trabajo de investigación en donde se encontraron los aspectos visualizados.
Ref. Año País Autor (es) Titulo
Ref. 1
[45] 2002 Italia
Vincenzo Gervasi and Bashar Nuseibeh
Lightweight validation of natural language requirements
Ref. 2
[46] 2015 Francia
ManzoorAhmada,NicolasBell oira,Jean-MichelBruelb
Modeling and verification of Functional and Non-Functional Requirements of ambient Self- Adaptive Systems
Ref. 3
[47] 1998 Alemania
Peter Haumer, Klaus Pohl, Klaus Weidenhaupt
Requirements Elicitation and Validation with Real World Scenes Ref. 4
[48] 2014 Suecia
Jiale Zhou, Yue Lu, Kristina Lundqvist
The Observer-Based Technique for Requirements Validation in Embedded Real-Time Systems Ref. 5
[33] 2003 España
J. C. Domínguez and P. Rodríguez Dapena
Verificación de los requisitos no funcionales en el software crítico
29 Ref. 6
[28] 2012 Argentina
Marcelo Marciszack, Marina Cardenas, Claudia Castro, Ramiro Perez
Validación de requisitos a través de Modelos Conceptuales
Ref. 7
[49] 2011
Costa
Rica Michael Arias Chaves
La ingeniería de requisitos y su importancia en el desarrollo de proyectos de software Ref. 8 [50] 2010 Barcelona, España
Oscar Romero , Alberto Abelló Automatic validation of requirements to support multidimensional design Ref. 9 [51] 2006 Japón
Atsushi Kokune, Masuhiro Mizuno, Kyoichi Kadoya, Shuichiro Yamamoto
FBCM: Strategy modeling method for the validation of software requirements
Ref.
10 [7] 2008 Italia
Filippo Ricca, Marco Torchiano, Massimiliano Di Penta, Mariano Ceccato, Paolo Tonella
Using acceptance tests as a support for clarifying requirements: A series of experiments Ref. 11 [52] 2015 Madrid, España
Eugenio Parra, Christos Dimou, Juan Llorens, Valentín Moreno, Anabel Fraga
A methodology for the classification of quality of requirements using machine learning techniques
Ref. 12 [53]
2013 Suecia
Elizabeth Bjarnason, Per Runeson, Markus Borg, Michael Unterkalmsteiner, Emelie Engström, Björn
Regnell, Giedre
Sabaliauskaite, Annabella Loconsole, Tony Gorschek, Robert Feldt
Challenges and practices in aligning requirements with verification and validation: a case study of six companies
Ref. 13 [54]
2013 Australia
Tuong Huan Nguyen, Bao Quoc Vo, Markus Lumpe, John Grundy
KBRE: a framework for knowledge-based requirements engineering
Tabla 2.4. Referencias de trabajos de investigación incluidos en el mapeo sistemático
Se tomaron como base un total de 13 trabajos de investigación los cuales se ven reflejados en cada una de las intersecciones de la Figura 2.9.
30
Conclusiones de la intersección Tipo de contribución vrs. Tipo de validación de las propuestas:
En la dimensión tipo de contribución, se encontraron 2 propuestas de tipo teórico, donde no se evidencian resultados como tal de la forma y el método de validación utilizado, ni una aplicación en concreto, sino que se verifica con la teoría y con algunos expertos para demostrar que, si se cumple lo que se ha propuesto, por lo tanto, se categorizan con un tipo de validación teórico; sin embargo, hacen parte de la evolución teórica de los procesos de validación de requisitos.
Además, se encontraron 5 trabajos de investigación que contribuyen con una propuesta metodológica, (Figura 2.9) que muestran un aporte exclusivamente técnico en la validación de requisitos, y 4 trabajos de investigación en los cuales se presentan enfoques. De las propuestas analizadas sólo [54] incluyen aspectos de conocimiento frente a requisitos en un sentido general, no exclusivamente de RNF.
Entre las formas de validación más usadas se encuentra los estudios de caso con 5 propuestas (Figura 2.9) que presentan resultados de validación significativos frente a software aplicado, seguido con el tipo teórico con 5 propuestas en el cual no se muestra evidencia de una validación explicita de las propuestas y por último 2 propuestas que soportan la validación mediante un software aplicado.
Dentro de las 5 propuestas de categoría estudio de caso, 3 son enfoques.
Dentro del tipo validación a través de software aplicado cabe resaltar los reportados por Zhou et al [48] usando técnicas de observación y Parra et al [52] usando técnicas de aprendizaje automatizado para validación de requisitos.
También es importante resaltar que, de los 13 documentos analizados, bajo las condiciones y método de búsqueda replicable, sólo 1 es un aporte frente al proceso de validación de requisitos latinoamericano, los demás son europeos o estadounidenses.
A continuación en la Tabla 2.5 se presenta un resumen de la contribución de cada uno de los documentos analizados (Tabla 2.2), para posteriormente ampliar cada uno de estos estudios.
Ref. articulo
Tipo de
contribución Cómo se realiza la validación de la propuesta? Ref. 1
[45] Enfoque
Se realiza un estudio de caso en una parte de las instalaciones de la NASA
Ref. 2
[46] Enfoque
Se realiza un estudio de caso académico de Vivienda Asistida Ambiental (AAL).
Ref. 3
[47] Enfoque
Se realiza un desarrollo del modelo estado actual.
Ref. 4
[48] Metodología
Se realiza un experimento a través de una aplicación industrial en un sistema de bloqueo y desbloqueo de vehículos.
31 Ref. 5
[33] Teoría
No se valida, solo se hace referencia uso del método llamado Softcare©, utilizando las técnicas SFMEA y SFTA.
Ref. 6
[28] Metodología
Indica la realización de una herramienta que permita gestionar y validar requisitos de software. Ref. 7
[49] Teoría
No se valida, se hace referencia a la importancia de la validación en los proceso de desarrollo software.
Ref. 8
[50] Enfoque
Aplicación práctica mediante el caso de estudio TPC Benchmark H.
Ref. 9
[51] Metodología
Un caso de estudio de desarrollar una estrategia de SMC (System Capital Management) en una empresa de automóviles japonesa..
Ref. 10
[7] Herramienta
Se realizaron dos experimentos con estudiantes de la Universidad de Trento y el Politécnico de Torino
Ref. 11
[52] Metodología
Mediante un software aplicado en un estudio de caso en INCOSE (International Council on Systems Engineering).
Ref. 12
[53] Herramienta
Se hace uso de entrevistas a 30 personas de 6 empresa desarrolladoras de software.
Ref. 13
[54] Metodología
Mediante una herramienta desarrollada y aplicada a un caso de uso industrial.
Tabla 2.5. Resumen de contribuciones incluidas en el mapeo sistemático.