Full text
| |
| Author(s): |
Simone Hanazumi
Total Authors: 1
|
| Document type: | Master's Dissertation |
| Press: | São Paulo. |
| Institution: | Universidade de São Paulo (USP). Instituto de Matemática e Estatística (IME/SBI) |
| Defense date: | 2010-09-01 |
| Examining board members: |
Ana Cristina Vieira de Melo;
Mario Jino;
Flavio Soares Correa da Silva
|
| Advisor: | Ana Cristina Vieira de Melo |
| Abstract | |
Nowadays, because of continuous changes and the competitive market, companies and organizations have the necessity to adapt their business practices in order to satisfy the different requirements of their customers and then, keep themselves in advantage among their competitors. To help them to reach this aim, a promising purpose is the Component-Based Development (CBD), whose basic idea is that a new software can be built in a fast way from preexisting components. However, mounting more reliable and fault-tolerant corporative systems from components integration is a relatively complex task. And the need to assure that such integration does not fail becomes something essential, especially because the consequences of a failure can be extremely serious. To have a certain guarantee that the software will be fault-tolerant, testing activities and formal verification of programs should be done. This is because both, together, try to assure to developer that the resulting system of the integration is, in fact, reliable. But the practical feasibility of executing these activities depends on tools which support it, once both executions have a high cost to software development. Having the necessity to make test and verification easier in systems based in components (CBD), this work has, as main objective, the development of an integrated environment for verification and test of protocols to the coordination of components exceptional behaviour. (AU) | |
| FAPESP's process: | 08/03235-0 - An integrated environment for verification and test of fault-tolerant components coordination |
| Grantee: | Simone Hanazumi |
| Support Opportunities: | Scholarships in Brazil - Master |