En el ámbito del desarrollo software, la correcta definición de requisitos es crucial para el éxito de un proyecto. Sin embargo, a menudo se observa falta de adherencia a buenas prácticas en su especificación, lo que puede causar problemas durante el ciclo de vida del proyecto. Pese a que conceptos como la anotación, trazabilidad y formato adecuado de los requisitos son ampliamente conocidos, su aplicación efectiva puede ser un desafío. En este trabajo de fin de grado se presenta el desarrollo de un sistema capaz de realizar la comprobación formal de una serie de requisitos que los proyectos de la asignatura Requirements Engineering, perteneciente al currículum del Máster Universitario en Ingeniería del Software, deben cumplir. Estos trabajos son realizados utilizando IBM Doors Next Generation, por lo que se emplea su API para acceder a la información necesaria para efectuar las comprobaciones mencionadas. El producto final del proyecto es una aplicación capaz de ser ejecutada en cualquier plataforma de enseñanza compatible con SCORM, como es el caso de Moodle, plataforma utilizada en la asignatura Requirements Engineering. Para el desarrollo de esta automatización, se han seguido técnicas de ingeniería del software, como son la definición de requisitos, la elaboración de diseños de alto nivel o la especificación y posterior realización de pruebas software.
ABSTRACT
In software development, the correct definition of requirements is crucial for the success of a project. However, good practices in their specification are often not adhered to, which can cause problems throughout the project’s lifecycle. Despite the widespread knowledge of concepts such as annotation, traceability, and proper formatting of requirements, their effective application can be challenging. This final degree project presents the development of a system capable of performing the formal verification of a series of requirements that projects in the Requirements Engineering course, part of the Master’s Degree in Software Engineering curriculum, must meet. These projects are developed using IBM Doors Next Generation, and its API is employed to access the necessary information for the mentioned verifications. The project’s final product is an application capable of being executed on any SCORM-compatible learning platform, such as Moodle, which is used in the Requirements Engineering course. Software engineering techniques have been followed to develop this automation, such as requirements definition, high-level design elaboration, and software testing specification, and testing.
En el ámbito del desarrollo software, la correcta definición de requisitos es crucial para el éxito de un proyecto. Sin embargo, a menudo se observa falta de adherencia a buenas prácticas en su especificación, lo que puede causar problemas durante el ciclo de vida del proyecto. Pese a que conceptos como la anotación, trazabilidad y formato adecuado de los requisitos son ampliamente conocidos, su aplicación efectiva puede ser un desafío. En este trabajo de fin de grado se presenta el desarrollo de un sistema capaz de realizar la comprobación formal de una serie de requisitos que los proyectos de la asignatura Requirements Engineering, perteneciente al currículum del Máster Universitario en Ingeniería del Software, deben cumplir. Estos trabajos son realizados utilizando IBM Doors Next Generation, por lo que se emplea su API para acceder a la información necesaria para efectuar las comprobaciones mencionadas. El producto final del proyecto es una aplicación capaz de ser ejecutada en cualquier plataforma de enseñanza compatible con SCORM, como es el caso de Moodle, plataforma utilizada en la asignatura Requirements Engineering. Para el desarrollo de esta automatización, se han seguido técnicas de ingeniería del software, como son la definición de requisitos, la elaboración de diseños de alto nivel o la especificación y posterior realización de pruebas software.
ABSTRACT
In software development, the correct definition of requirements is crucial for the success of a project. However, good practices in their specification are often not adhered to, which can cause problems throughout the project’s lifecycle. Despite the widespread knowledge of concepts such as annotation, traceability, and proper formatting of requirements, their effective application can be challenging. This final degree project presents the development of a system capable of performing the formal verification of a series of requirements that projects in the Requirements Engineering course, part of the Master’s Degree in Software Engineering curriculum, must meet. These projects are developed using IBM Doors Next Generation, and its API is employed to access the necessary information for the mentioned verifications. The project’s final product is an application capable of being executed on any SCORM-compatible learning platform, such as Moodle, which is used in the Requirements Engineering course. Software engineering techniques have been followed to develop this automation, such as requirements definition, high-level design elaboration, and software testing specification, and testing. Read More
Related posts:
StarCraft AI Conclave System: middleware based on a multi-agent system for interface-AI planner communication
Dirección de un proyecto software real
Herramienta de métricas de calidad de diseño software en aplicaciones para iPhone: análisis sintáctico y AST
Sistema de seta de emergencia integrada en vehículos
Modelo de simulación de la vía M40
Toolset para la gestión de información sísmica