Ambiente integrado para verificação e teste da coordenação de componentes tolerantes a falhas (2010)
- Authors:
- Autor USP: HANAZUMI, SIMONE - IME
- Unidade: IME
- Sigla do Departamento: MAC
- Assunto: TÉCNICAS DE PROGRAMAÇÃO
- Agências de fomento:
- Language: Português
- Abstract: Hoje, diante das contínuas mudanças e do mercado competitivo, as empresas e organizações têm sempre a necessidade de adaptar suas práticas de negócios para atender às diferentes exigências de seus clientes e manter-se em vantagem com relação às suas concorrentes. Para ajuda-las a atingir esta meta, uma proposta promissora é o Desenvolvimento Baseado em Componentes (DBC), cuja idéia básica é a de que um novo software possa ser construído rapidamente a partir de componentes pré-existentes> Entretanto, a montagem de sistemas corporativos mais confiáveis e tolerantes a falhas a partir da integração de componentes tem-se mostrado uma tarefa relativamente complexa. E a necessidade de garantir que tal integração não falhe tornou-se algo imprescindível sobretudo porque as conseqüências de uma falha podem ser extremamente graves. Para que haja uma certa garantia de que o software seja tolerante a falhas, devem ser realizadas atividades de testes e verificação formal de programas. Isto porque ambas, em conjunto, procuram garantir ao desenvolvedor que o sistema resultante da integração é de fato, confiável. Mas a viabilidade prática de execução destas atividades depende de ferramentas que auxiliem sua realização, uma vez que a execução de ambas constitui um alto custo para o desenvolvimento de software. Tendo em vista esta necessidade de facilitar a realização de testes e verificação nos sistemas baseados em componentes (DBC), este trabalho de Mestrado se propõe a desenvolver um ambiente integrado para a verificação e teste de protocolos para a coordenação do comportamento excepcional de componentes.
- Imprenta:
- Data da defesa: 01.09.2010
-
ABNT
HANAZUMI, Simone. Ambiente integrado para verificação e teste da coordenação de componentes tolerantes a falhas. 2010. Dissertação (Mestrado) – Universidade de São Paulo, São Paulo, 2010. Disponível em: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-29092010-191938/. Acesso em: 03 jan. 2026. -
APA
Hanazumi, S. (2010). Ambiente integrado para verificação e teste da coordenação de componentes tolerantes a falhas (Dissertação (Mestrado). Universidade de São Paulo, São Paulo. Recuperado de http://www.teses.usp.br/teses/disponiveis/45/45134/tde-29092010-191938/ -
NLM
Hanazumi S. Ambiente integrado para verificação e teste da coordenação de componentes tolerantes a falhas [Internet]. 2010 ;[citado 2026 jan. 03 ] Available from: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-29092010-191938/ -
Vancouver
Hanazumi S. Ambiente integrado para verificação e teste da coordenação de componentes tolerantes a falhas [Internet]. 2010 ;[citado 2026 jan. 03 ] Available from: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-29092010-191938/ - Geração de propriedades sobre programas Java a partir de objetivos de teste
- Coordinating exceptions of Java systems: implementation and formal verification
- Generation of Java programs properties from test purposes
- OConGraX: automatically generating data-flow test cases for fault-tolerant systems
- Using formal verification to reduce test space of fault-tolerant programs
- Crab: uma ferramenta de configuração e interpretação de métricas de software para avaliação de qualidade de código
How to cite
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
