Return to search

Uma metodologia para análise de fluxo de programas Java para tempo real

Made available in DSpace on 2014-06-12T15:59:12Z (GMT). No. of bitstreams: 2
arquivo4977_1.pdf: 839007 bytes, checksum: 6f8778aed895d0751995d11c884589f1 (MD5)
license.txt: 1748 bytes, checksum: 8a4605be74aa9ea9d79846c1fba20a33 (MD5)
Previous issue date: 2004 / Esta dissertação apresenta um método de análise de fluxo para a estimativa do WCET
(worst-case execution time), o tempo de execução no pior caso, criado através da adaptação
de uma abordagem desenvolvida recentemente com o mesmo fim, sobre programas de tempo
real orientados a objeto. O método é uma extensão projetada para trabalhar sobre bytecodes
Java, assumindo que não há nenhuma forma de anotação de código presente e também que o
código-fonte original não está disponível. Devido a estas suposições, foi necessário determinar
a estrutura original do programa, através de algoritmos existentes para análise de fluxo de
controle. Outras informações sobre o programa foram necessárias, especialmente relativas às
expressões condicionais, que foram fundamentais para a determinação dos caminhos possíveis
no grafo. Além do método criado, foi desenvolvida uma ferramenta para análise de fluxo
que implementa, de forma parcial, uma das interpretações abstratas possíveis para este tipo de
finalidade. A interpretação implementada forneceu os resultados que confirmam os conceitos
subjacentes a este trabalho. A ferramenta criada foi testada em alguns programas obtidos
na literatura. Esses programas foram selecionados com o objetivo de exercitar a análise do
fluxo de controle, em situações com características relevantes e que ocorrem freqüentemente,
incluindo vários tipos de laços e estruturas com condições complexas. Programas com expressivo
número de caminhos e de estados também foram utilizados nos testes. O método
desenvolvido constitui-se num passo importante para a estimativa do WCET em Java

Identiferoai:union.ndltd.org:IBICT/oai:repositorio.ufpe.br:123456789/2553
Date January 2004
CreatorsGuedes, Paulo Abadie
ContributorsCavalcante, Sérgio Vanderlei
PublisherUniversidade Federal de Pernambuco
Source SetsIBICT Brazilian ETDs
LanguagePortuguese
Detected LanguagePortuguese
Typeinfo:eu-repo/semantics/publishedVersion, info:eu-repo/semantics/masterThesis
Sourcereponame:Repositório Institucional da UFPE, instname:Universidade Federal de Pernambuco, instacron:UFPE
Rightsinfo:eu-repo/semantics/openAccess

Page generated in 0.0024 seconds