TestLab: An Intelligent Automated Software Testing Framework

The prevalence of software systems has become an integral part of modern-day living. Software usage has increased significantly, leading to its growth in both size and complexity. Consequently, software development is becoming a more time-consuming process. In an attempt to accelerate the development cycle, the testing phase is often neglected, leading to the deployment of flawed systems that can have significant implications on the users daily activities. This work presents TestLab, an intelligent automated software testing framework that attempts to gather a set of testing methods and automate them using Artificial Intelligence to allow continuous testing of software systems at multiple levels from different scopes, ranging from developers to end-users. The tool consists of three modules, each serving a distinct purpose. The first two modules aim to identify vulnerabilities from different perspectives, while the third module enhances traditional automated software testing by automatically generating test cases through source code analysis.Comment: 10 pages, 5 figures, 1 table, accepted for DCAI202

Processos e Soluções Utilizados em Duas Transcrições de Odeon de Ernesto Nazareth para o Violão Solo

Trabalho de Conclusão de Curso (Graduação)Este trabalho busca entender o processo de transcrição da música Odeon de Ernesto Nazareth para o violão, utilizando como material, duas versões de dois autores distintos: Antonio Sinópoli, com uma versão mais antiga e “tradicional” ao violão e Ivan Pachoito com uma versão mais recente, na tonalidade original da música. A análise se desenvolve a partir de uma leitura comparativa com a partitura original para piano e são apresentadas considerações técnicas e musicais em relação a cada uma das transcrições. Apesar de ser a mesma música, cada transcrição apresenta sua própria abordagem, sendo assim, nos propusemos a identificar quais foram os processos de adaptação em cada uma delas

Sistema expositivo de produtos não perecíveis para micro e pequenos negócios em ambientes externos

O presente estudo, consiste em através de pesquisas e experimentações, como os levantamentos de dados e etapas subjacentes, contextualizar o histórico, os conceitos e demais atributos de algumas temáticas que permeiam o projeto, como a evolução das exposições, os sistemas e mobiliários expositivos, a ergonomia e a importância e o panorama das micro e pequenas empresas na economia nacional. Como grande parte da fundamentação teórica remete à ambientes mais grandiosos, comparados ao ambiente proposto na temática, o maior desafio foi a proposta de uma solução em sistema expositivo para ambientes externos, como feiras e exposições locais. Através da conceituação do projeto, bem como a geração e seleção de alternativas, torna-se possível à realização completa da proposta final atendendo os principais requisitos analisados no decorrer do trabalho. O sistema é capaz de se adequar a diferentes tipos de negócios, de forma prática e discreta, sendo facilmente transportado e alocado nos diversos espaços expositivos.The present study consists of, through research and experiments, such as data surveys and underlying stages, to contextualize the history, concepts and other attributes of some themes that permeate the project, such as the evolution of exhibitions, exhibition systems and furniture, ergonomics and the importance and panorama of micro and small companies in the national economy. As a large part of the theoretical foundation refers to more grandiose environments, compared to the environment proposed in the theme, the biggest challenge was the proposal of a solution in an exhibition system for outdoor environments, such as fairs and local exhibitions. Through the conceptualization of the project, as well as the generation and selection of alternatives, it becomes possible to complete the final proposal, meeting the main requirements analyzed in the course of the work. The system is capable of adapting to different types of businesses, in a practical and discreet way, being easily transported and placed in the various exhibition spaces

Sistema de aquecimento solar de água para uso em bebidas quentes : proposição e estudo

Este trabalho propõe um sistema de aquecimento híbrido, gerado por energia solar térmica e energia elétrica, cujo objetivo é a disponibilização de água quente em locais públicos, apropriada para a preparação de chimarrão, bebida popular no sul da América Latina. Para estudar este novo conceito, a seguinte metodologia foi utilizada: pesquisas bibliográfica e de produtos similares; definição dos parâmetros de vazão, temperatura e tecnologia do coletor solar; determinação da área coletora que maximiza a relação de custo-benefício do sistema, utilizando os resultados da fração solar obtidos no software F-Chart e avaliação do valor presente líquido de diversas configurações; avaliação do comportamento transiente do sistema, através do software TRNSYS. Os resultados obtidos mostram que a melhor configuração do sistema ocorre para área coletora de 6 m2 e reservatório térmico de 300 L, onde foi obtida fração solar média-anual de 0,524 e consumo de energia elétrica de 875.012,4 kJ. Concluiu-se que o sistema é economicamente viável, com custo operacional estimado em R$1.428,94 por ano, e pode contribuir para a difusão e conscientização dos benefícios decorrentes do uso da energia solar térmica.This work studies a hybrid water heating system, powered by solar thermal energy and electricity, applied for hot water disposal in public areas, in appropriate temperature for mate brewing, a popular drink in the south of Latin America. In order to study this new concept, the following methodology was used: similar products analysis and bibliographic research; definitions of volumetric flow, ideal disposal temperature, and best solar collector technology; definition of the collecting area that maximizes the cost-benefit ratio of the system, by using results obtained in the F-Chart software for several configurations, together with an evaluation of the net present value of each one; and evaluation of the transient behavior of the system, on TRNSYS. The results show that a 6 m2 collecting area and a 300 L thermal storage tank are the best configuration for the system, resulting in an average annual solar fraction of 0.524, and an annual auxiliary electric energy consumption of 875,012.4 kJ. Results led to the conclusion that the system is economically feasible, with an annual estimated operational cost of R$ 1,428.94, and may contribute to spread and raise awareness of the benefits of solar thermal energy

Avançando o ensino-aprendizagem da anatomia humana: implementação do Banco Anatômico-Radiológico Digital (BARD) da UNILA

VII Seminário de Extensão Universitária da UNILA (SEUNI); VIII Encontro de Iniciação Científica e IV Encontro de Iniciação em Desenvolvimento Tecnológico e Inovação (EICTI 2019) e Seminário de Atividades Formativas da UNILA (SAFOR)Este projeto de extensão tem por objetivo implementar uma base de peças anatômicas digital que possa ser utilizada por alunos e professores de cursos da área da saúde da Universidade Federal da Integração Latino-Americana, principalmente no ensino e pesquisa de anatomia e radiologia com alunos e com a comunidade externa, utilizando o software InVesalius. A implementação consistirá de três tipos de atividades: a coleta de imagens de instituições de saúde e pacientes, mediante autorização; a criação e manutenção de um ambiente virtual onde os arquivos recebidos serão armazenados, catalogados e indexados; e a criação de um guia rápido do usuário para docentes, discentes e pesquisadores. O ambiente utilizado será o Laboratório de Simulações da Unila (Campus JU), cujos equipamentos servirão tanto no processo de desenvolvimento do banco de imagens quanto no posterior estudo e aprendizado dos alunos. O momento atual do projeto situa-se na etapa de catalogação e indexação de arquivos pelos grupos de discentes participantes. Espera-se, ao final, disponibilizar uma ferramenta com potencial para o contínuo desenvolvimento da educação médica, em especial no que tange ao ensino da anatomia humanaAgradeço à UNILA pela bolsa de estudos concedida durante o desenvolvimento deste projeto de extensão

Do imposto sobre grandes fortunas como instrumento de justiça tributária

Ao longo da história, a humanidade nunca foi relativamente tão rica etãodesigual. Neste início de segundo milênio destaca-se como um grande óbice ao desenvolvimento civilizatório e à concretização da Justiça, mormente entendida como Equidade, o combate às injustas e nocivas Desigualdades Sociais. Dentro da problemática da iníqua divisão do capital (renda e propriedade) no século XXI temos que a principal função social do Estado Democrático de Direito é promover a (Re)Distribuição das vantagens econômicas sobretudo através de uma política fiscal guiada pelo uso adequado dos Tributos. No Brasil, ocorre que temos um Sistema Tributário Nacional de carga proeminentemente Regressiva que sobrecarrega as classes menos abastadas e subtributa asmais abonadas contrariando sua própria principiologia constitucional. Há ainda a previsão no artigo 153, inciso VII, da Constituição da República Federativa de 1988 para a instituição do Imposto sobre Grandes Fortunas(IGF) -epítome que consubstancia a Isonomia, a Capacidade Contributiva e a Progressividade –o qual jamais foi criado. Desta feita analisamos este tributo sobre a riqueza na perspectiva do direito comparado, dos projetos de lei nacionais, da omissão legislativa e da doutrina. Concluindo pela adequação do IGF como um altamente recomendável instrumento de Justiça Tributária.Trough the ages of history, the humankind relatively has never been so rich and unequal. In this beginning of the second millennium arises as a great obstacle to the civilizational development and the concretion of Justice, mainly understood as Fairness, the fight against the unjust and harmful Social Inequalities. Inside the problematic of the unfair division of the capital(income and property) in the XXI century the major social function of the Democratic State of Law is to promote the (Re)Distribution of the economic advantages mostly trough a fiscal policy guided by the adequate use of Taxes. In Brazil, happens that our National Tax System have prominently Regressive burdens, that overcharge the less wealthy classes and under-tax the opulent minority, it opposes the system’sownconstitutional principiology. There’s also in the Constitution of the Federal Republic of 1988, article 153, item VII, a mandate to institute a Great Fortunes Tax(GFT) -epitome that consubstantiates Isonomy, Contributive Capacity and Progressivity –which has never been created. Thus we analyze this wealth tax from the perspective of comparative law, national bills, legislative omission and doctrine. Concluding by the adequacy of the GFT as ahighly recommended instrument of Tax Justice

Use of large-scale hydrological models to predict dam break-related impacts

In this research study, the MGB-IPH (acronym for Large Scale Model in Portuguese - Modelo de Grandes Bacias) was used to simulate the propagation of a dam breach hydrograph estimated from predictor equations for the Três Marias Hydropower Dam, considered one of the largest in South America. The results of the peak flow, peak time and flood spot were compared with results of the Hec-Ras 5.06 model, typically used for local-scale dam break studies. As for the extent of the flood, a hit rate of 84% and a median error of 2.1 meters deep, along 4,055 km2 of the flooded area downstream was obtained. Maximum errors of 13% were observed in the prediction of the peak flow and of 20% for the peak time in distant locations up to 526 km downstream from the dam, thus establishing itself within the limits of the typical uncertainties associated with dam break studies. Thus, the potential of using this type of approach in previous studies of large dam failures is explored, configuring this method as an alternative to the use of robust or simplified models for determining downstream areas potentially affected by these disasters.Neste trabalho, foi utilizado o Modelo de Grandes Bacias (MGB-IPH) para simular a propagação de um hidrograma de ruptura estimado a partir de equações preditoras para a barragem da UHE Três Marias, considerada uma das maiores da América do Sul. Os resultados, quanto à vazão de pico, tempo de pico e mancha de inundação foram comparados com os resultados advindos do modelo Hec-Ras 5.06, tipicamente utilizado para estudos de rompimento de barragens em escala local. Quanto à extensão da mancha de inundação, obteve-se um índice de acerto de 84% e um erro mediano de 2,1 metros de profundidade, ao longo de 4.055 km2 de área inundada a jusante. Observaram-se erros máximos de 13% na predição da vazão de pico e de 20% para o tempo de pico em locais distantes até 526 km a jusante da barragem, estabelecendo-se, portanto dentre os limites das incertezas típicas associadas a estudos de rompimento de barragens. Desta forma, o uso potencial deste tipo de abordagem em estudos prévios de rompimento de barragens é explorado, configurando-se este método como uma alternativa ao uso de modelos robustos ou simplificados para determinação de áreas de jusante potencialmente afetadas por estes desastres