Os métodos tradicionais de validação de requisitos de desempenho de software, baseados em testes do código, permitem a detecção de problemas somente nas fases finais do ciclo de desenvolvimento de software. Mudanças no software nas fases finais do desenvolvimento são em geral mais custosas e demoradas para serem efetivadas do que aquelas identificadas em fases preliminares. As técnicas de desenvolvimento de software orientadas a modelos permitem verificar requisitos de desempenho durante todo o ciclo de vida do software. Este trabalho propõe um framework de simulação para verificação de requisitos de desempenho de sistemas computacionais de tempo real, baseado em técnicas de desenvolvimento de software orientadas a modelos. O modelo de software é representado por diagramas de instalação e de estados UML (Unified Modeling Language) anotados com informações de desempenho de acordo com o padrão UML Profile for MARTE (Modeling and Analysis of Real-Time and Embedded Systems). O framework gera automaticamente o modelo de desempenho baseado em Diagrama de Ciclo de Atividades (Activity Cycle Diagram - ACD) a partir do modelo de software UML. ACD é uma representação gráfica simples, que permite a modelagem de sistemas para simulação discreta. O modelo de análise de desempenho é simulado e os resultados da análise dos experimentos de simulação são usados para indicar possíveis melhorias no modelo do software, caso os requisitos de desempenho não sejam atendidos. A análise de desempenho e a realimentação do modelo de software são baseadas na identificação de antipadrões de desempenho no modelo ACD. Os antipadrões de desempenho descrevem erros comuns na arquitetura do software, que podem provocar problemas de desempenho, assim como suas soluções. Finalmente, para validação do framework dois estudos de caso de sistemas computacionais de tempo real são apresentados.
Identifer | oai:union.ndltd.org:IBICT/oai:agregador.ibict.br.BDTD_ITA:oai:ita.br:2063 |
Date | 14 June 2012 |
Creators | Ronaldo Arias |
Contributors | Celso Massaki Hirata |
Publisher | Instituto Tecnológico de Aeronáutica |
Source Sets | IBICT Brazilian ETDs |
Language | Portuguese |
Detected Language | Portuguese |
Type | info:eu-repo/semantics/publishedVersion, info:eu-repo/semantics/doctoralThesis |
Format | application/pdf |
Source | reponame:Biblioteca Digital de Teses e Dissertações do ITA, instname:Instituto Tecnológico de Aeronáutica, instacron:ITA |
Rights | info:eu-repo/semantics/openAccess |
Page generated in 0.0015 seconds