Por favor, use este identificador para citar o enlazar este ítem: http://ciateq.repositorioinstitucional.mx/jspui/handle/1020/511
Generación automática de casos de prueba a partir de requerimientos funcionales utilizando gramáticas libres de contexto
Alejandra Victoria Alcaraz
GUSTAVO ESPEJEL SALAZAR
EDGAR GONZALO COSSIO FRANCO
Acceso Abierto
Atribución-NoComercial-CompartirIgual
Casos de prueba
Automatización
Validación de hardware
Test cases
Automation
Hardware validation
Los sistemas de hardware son cada vez más complejos y difíciles de validar, a la vez que la validación para asegurar su correcto funcionamiento resulta muy costosa, entre el 50 y 70% del costo de los proyectos es dedicado para validación; y las fallas que se escapen pueden resultar también muy costosas. Es por esta razón que se deben buscar áreas de oportunidad para mejorar el proceso, resulte más eficiente y menos costoso. En este trabajo se busca automatizar la generación de casos de prueba a partir del análisis de los requerimientos funcionales con el propósito de reducir el tiempo de generación de estos casos de prueba y así reducir los costos. Para este fin se utiliza una plataforma que analiza los requerimientos y luego genera los casos de prueba con la información obtenida del análisis. Esta plataforma está conformada por dos módulos: un analizador de requerimientos y un generador de casos de prueba. El módulo analizador está siendo reusado del sistema TCG_UML (Espejel Salazar, 2019), este módulo requiere de una gramática para habilitar el análisis. Esta gramática fue desarrollada para habilitar el análisis sintáctico y semántico de los requerimientos. El módulo generador de casos de prueba se implementó para que trabajara en conjunto con el módulo analizador, este recibe el árbol sintáctico que el analizador genera y a partir de ahí construye los casos de prueba necesarios para garantizar que los requerimientos son correctamente validados. Al automatizar la generación de casos de prueba se logró llegar al resultado esperado, se redujo el tiempo de generación de los casos de prueba y los costos de validación en un 8%.
Hardware systems are getting more complex and harder to validate, and at the same time, validation to guarantee its correct functionality is very expensive, it is between 50% and 70% the total cost of the project. Also, the not found bugs could be very expensive. This is the reason to try to find opportunities to enhance the validation process and make it more efficient and less expensive. In this project the objective is to automate the test cases generation activity from functional requirements analysis to reduce the time and cost. For this purpose, it is used a platform that analyses the requirements and then it generates the tests cases with the information produced from the analysis. This platform is comprised of two modules: the requirements analyzer and a test cases generator. The analyzer module is taken from TCG_UML (Espejel Salazar, 2019), this module requires a grammar to enable the analysis. This grammar was developed to enable the syntactic and semantic analysis. The test cases generator module was developed to work in conjunction with the analyzer module, it receives the syntactic tree that the analyzer module generates, and it generates the test cases from it to guarantee that the requirements are correctly validated. Test cases automation achieved the expected result, the time needed for tests cases generation and the cost was reduced by 8%.
CIATEQ, A.C.
2021
Tesis de maestría
Español
Público en general
TECNOLOGÍA DE LA AUTOMATIZACIÓN
Versión aceptada
acceptedVersion - Versión aceptada
Aparece en las colecciones: Maestría en Sistemas Inteligentes Multimedia

Cargar archivos:


Fichero Descripción Tamaño Formato  
VictoriaAlcarazAlejandra MSIM 2021.pdfTesis de maestría en texto completo1.59 MBAdobe PDFVisualizar/Abrir