Evolução da capacidade de regularização do sistema hidrelétrico brasileiro.

No Brasil, cerca de dois terços da capacidade total instalada de geração de energia elétrica e, em média nos últimos quinze anos, aproximadamente 90% da geração efetiva provêm das hidrelétricas. Este sistema inclui 170 usinas hidrelétricas de médio e grande porte existentes ou previstas até 2023, aproximadamente dois terços delas com capacidade de regularizar vazões e todas operando de maneira interligada. Restrições ambientais, técnicas, sociais e econômicas tem dificultado cada vez mais a implantação de empreendimentos hidráulicos contendo reservatórios de grande porte, tornando a maioria dos novos empreendimentos a fio d´água. Para compreender melhor o processo, este trabalho apresenta um levantamento da evolução anual da capacidade instalada e de armazenamento do sistema desde 1950 até a expansão prevista nos próximos 8 anos, em 2023. Os dados da década de 2000 e a previsão até 2023 de forma ainda mais acentuada indicam uma redução continua e significativa da capacidade relativa de regularização, com impacto direto nas decisões de operação e de expansão do sistema térmico complementar. A fim de avaliar as possíveis consequências da redução da capacidade de regularização, simulações foram realizadas no modelo HIDROTERM (ZAMBON et al. 2012); os resultados apontam para uma necessidade de ser complementar continuamente a energia hídrica, não só em períodos hidrologicamente desfavoráveis.

Extração de casos de teste utilizando Redes de Petri hierárquicas e validação de resultados utilizando OWL.

Este trabalho propõe dois métodos para teste de sistemas de software: o primeiro extrai ideias de teste de um modelo desenvolvido em rede de Petri hierárquica e o segundo valida os resultados após a realização dos testes utilizando um modelo em OWL-S. Estes processos aumentam a qualidade do sistema desenvolvido ao reduzir o risco de uma cobertura insuficiente ou teste incompleto de uma funcionalidade. A primeira técnica apresentada consiste de cinco etapas: i) avaliação do sistema e identificação dos módulos e entidades separáveis, ii) levantamento dos estados e transições, iii) modelagem do sistema (bottom-up), iv) validação do modelo criado avaliando o fluxo de cada funcionalidade e v) extração dos casos de teste usando uma das três coberturas de teste apresentada. O segundo método deve ser aplicado após a realização dos testes e possui cinco passos: i) primeiro constrói-se um modelo em OWL (Web Ontology Language) do sistema contendo todas as informações significativas sobre as regras de negócio da aplicação, identificando as classes, propriedades e axiomas que o regem; ii) em seguida o status inicial antes da execução é representado no modelo através da inserção das instâncias (indivíduos) presentes; iii) após a execução dos casos de testes, a situação do modelo deve ser atualizada inserindo (sem apagar as instâncias já existentes) as instâncias que representam a nova situação da aplicação; iv) próximo passo consiste em utilizar um reasoner para fazer as inferências do modelo OWL verificando se o modelo mantém a consistência, ou seja, se não existem erros na aplicação; v) finalmente, as instâncias do status inicial são comparadas com as instâncias do status final, verificando se os elementos foram alterados, criados ou apagados corretamente. O processo proposto é indicado principalmente para testes funcionais de caixa-preta, mas pode ser facilmente adaptado para testes em caixa branca. Obtiveram-se casos de testes semelhantes aos que seriam obtidos em uma análise manual mantendo a mesma cobertura do sistema. A validação provou-se condizente com os resultados esperados, bem como o modelo ontológico mostrouse bem fácil e intuitivo para aplicar manutenções.