Title

Generación automática de casos de prueba a partir de requerimientos funcionales utilizando gramáticas libres de contexto

Author

Alejandra Victoria Alcaraz

Contributor

GUSTAVO ESPEJEL SALAZAR (Thesis Adviser)

EDGAR GONZALO COSSIO FRANCO (Reviewer)

Access level

Open Access

Summary or description

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%.

Publisher

CIATEQ, A.C.

Publish date

2021

Publication type

Master thesis

Publication version

Accepted Version

Format

application/pdf

Language

Spanish

Audience

General public

Source repository

CIATEQ Digital

Downloads

88

Comments



You need to sign in or sign up to comment.