Full text
| |
| Author(s): |
Arineiza Cristina Pinheiro
Total Authors: 1
|
| Document type: | Master's Dissertation |
| Press: | São Carlos. |
| Institution: | Universidade de São Paulo (USP). Instituto de Ciências Matemáticas e de Computação (ICMC/SB) |
| Defense date: | 2012-06-22 |
| Examining board members: |
Adenilso da Silva Simão;
Ana Maria Ambrosio;
Simone do Rocio Senger de Souza
|
| Advisor: | Adenilso da Silva Simão |
| Abstract | |
Test activities are essential to ensure the quality of products and identify faults to reduce maintenance costs and avoid that the client finds these faults. In this sense, model-based tests have been proved useful, because the cost of generating test cases and fault correction tend to be smaller. Due to its conceptual simplicity and expressiveness in describing the behavior of a system, Finite State Machines (FSM) have been used and researched in the model-based testing area. FSMs, employed with the support of appropriate tools, enable the generation of test cases in an automated way to assess the expected behavior of a system, reducing both the generation and maintenance costs and human failures. Thus, the applicability of test cases generation methods based on models in the context of embedded systems should be investigated. Test cases generation methods based on FSM are designed to derive test cases from the model. In this context, this work aims to investigate the applicability of generation methods in real-world scenarios, focusing embedded systems. It should identify the difficulties and limitations of the process, as well as the essential requirements for the adequacy of generation methods proposed in the literature and tools to support the test activity. The main focus of the project is the implementation of mechanisms that meet the elicited requirements in order to provide usability, security and tool portability (AU) | |
| FAPESP's process: | 10/04001-3 - Subsidies for the Application of State Machine Based Test Case Generation Methods |
| Grantee: | Arineiza Cristina Pinheiro |
| Support Opportunities: | Scholarships in Brazil - Master |