Emilio José Calleja García - Academia.edu (original) (raw)

Emilio José Calleja García

Uploads

Papers by Emilio José Calleja García

Research paper thumbnail of NLP-Based Requirements Formalization for Automatic Test Case Generation

Due to the growing complexity and rapid changes of software systems, the assurance of their quali... more Due to the growing complexity and rapid changes of software systems, the assurance of their quality becomes increasingly difficult. Model-based testing in agile development is a way to overcome these difficulties. However, major effort is still required to create specification models from a large set of functional requirements provided in natural language. This paper presents an approach for a machineaided requirements formalization technique based on Natural Language Processing (NLP) to be used for an automatic test case generation. The goal of the presented method is to automate the process of model creation from requirements in natural language by utilizing appropriate algorithms, thus reducing cost and effort. The application of our procedure will be demonstrated using an industry example from the e-mobility domain. In this example, requirement models are generated for a charging approval system within a larger vehicle battery charging application. Additionally, existing tools f...

Research paper thumbnail of Testing a battery management system via criticality-based rare event simulation

Proceedings of the 9th Workshop on Modeling and Simulation of Cyber-Physical Energy Systems

Research paper thumbnail of NLP-Based Requirements Formalization for Automatic Test Case Generation

Due to the growing complexity and rapid changes of software systems, the assurance of their quali... more Due to the growing complexity and rapid changes of software systems, the assurance of their quality becomes increasingly difficult. Model-based testing in agile development is a way to overcome these difficulties. However, major effort is still required to create specification models from a large set of functional requirements provided in natural language. This paper presents an approach for a machineaided requirements formalization technique based on Natural Language Processing (NLP) to be used for an automatic test case generation. The goal of the presented method is to automate the process of model creation from requirements in natural language by utilizing appropriate algorithms, thus reducing cost and effort. The application of our procedure will be demonstrated using an industry example from the e-mobility domain. In this example, requirement models are generated for a charging approval system within a larger vehicle battery charging application. Additionally, existing tools f...

Research paper thumbnail of Testing a battery management system via criticality-based rare event simulation

Proceedings of the 9th Workshop on Modeling and Simulation of Cyber-Physical Energy Systems

Log In