Geração de casos de teste a partir de especificações B

With the increasing complexity of software systems, there is also an increased concern about its faults. These faults can cause financial losses and even loss of life. Therefore, we propose in this paper the minimization of faults in software by using formally specified tests. The combination of testing and formal specifications is gaining strength in searches mainly through the MBT (Model-Based Testing). The development of software from formal specifications, when the whole process of refinement is done rigorously, ensures that what is specified in the application will be implemented. Thus, the implementation generated from these specifications would accurately depict what was specified. But not always the specification is refined to the level of implementation and code generation, and in these cases the tests generated from the specification tend to find fault. Additionally, the generation of so-called "invalid tests", ie tests that exercise the application scenarios that were not addressed in the specification, complements more significantly the formal development process. Therefore, this paper proposes a method for generating tests from B formal specifications. This method was structured in pseudo-code. The method is based on the systematization of the techniques of black box testing of boundary value analysis, equivalence partitioning, as well as the technique of orthogonal pairs. The method was applied to a B specification and B test machines that generate test cases independent of implementation language were generated. Aiming to validate the method, test cases were transformed manually in JUnit test cases and the application, created from the B specification and developed in Java, was tested. Faults were found with the execution of the JUnit test cases

Beta: uma ferramenta para geração de testes de unidade a partir de especificações B

Formal methods and software testing are tools to obtain and control software quality. When used together, they provide mechanisms for software specification, verification and error detection. Even though formal methods allow software to be mathematically verified, they are not enough to assure that a system is free of faults, thus, software testing techniques are necessary to complement the process of verification and validation of a system. Model Based Testing techniques allow tests to be generated from other software artifacts such as specifications and abstract models. Using formal specifications as basis for test creation, we can generate better quality tests, because these specifications are usually precise and free of ambiguity. Fernanda Souza (2009) proposed a method to define test cases from B Method specifications. This method used information from the machine s invariant and the operation s precondition to define positive and negative test cases for an operation, using equivalent class partitioning and boundary value analysis based techniques. However, the method proposed in 2009 was not automated and had conceptual deficiencies like, for instance, it did not fit in a well defined coverage criteria classification. We started our work with a case study that applied the method in an example of B specification from the industry. Based in this case study we ve obtained subsidies to improve it. In our work we evolved the proposed method, rewriting it and adding characteristics to make it compatible with a test classification used by the community. We also improved the method to support specifications structured in different components, to use information from the operation s behavior on the test case generation process and to use new coverage criterias. Besides, we have implemented a tool to automate the method and we have submitted it to more complex case studies

Aplicação de redes neurais em análise de viabilidade econômica de co-geração de energia elétrica

Pós-graduação em Agronomia (Energia na Agricultura) - FCA

Metodologia para análise exergética-econômica de plantas a vapor para geração de eletricidade consumido resíduo de biomassa amazônica

A disponibilidade de recursos energéticos em um país impacta diretamente no seu desenvolvimento sócio-econômico. Com a elevação dos preços dos energéticos no Brasil, a eficientização do uso de energia tornar-se uma atividade estratégica para o setor industrial. Com esse intuito as avaliações energéticas empregadas nesse setor objetivam otimizar a eficiência dos seus sistemas térmicos. Essas avaliações de desempenho energético são baseadas na Primeira Lei da Termodinâmica e são capazes de identificar apenas as perdas de energia, diferente da avaliação exergética que permite qualificar essa energia perdida. Devido a essa análise de qualificação da energia ser sofisticada e demorada, tornar-se necessário desenvolver um protocolo que seja executado de forma rápida e que contemple as particularidades da Amazônia, tanto o clima quanto a sua biomassa. Para isto, este trabalho propõe e aplica uma metodologia através do emprego de análises energéticas, exergética e exergo-econômica em uma planta de potência a vapor instalada no Estado Pará e operando com ciclo Rankine. Com aplicação dessas avaliações obtêm-se as taxas de energia e de perdas de energia, as taxas de exergia, as taxas de destruição de exergia, as taxas de custo de cada produto e o custo monetário da capacidade energética produzida pela planta em R$/kWh. Com esses resultados foi possível identificar as maiores perdas energéticas da planta, quantificar o custo da destruição de exergia nos principais equipamentos e a taxa de custo dos produtos principais da planta que são energia térmica e energia elétrica. Isto permite visualizar o desempenho energético, exergético e econômico em cada equipamento da planta e indicar os processos que merecem um trabalho de desenvolvimento para melhorar a sua eficiência econômica. Além disso, o custo da capacidade energética em R$/kWh produzida pela planta a vapor foi comparado com o valor cobrado pela concessionária de energia local. Essa comparação mostrou que central geradora de energia tem um custo de energia menor do que o valor confrontado.

Caracterização de biomassa lignocelulósica para uso em processos térmicos de geração de energia

Pós-graduação em Química - IQ

Geração de energia renovável em residências: aplicação de tecnologias existentes

Due to the high value of the bill that the Brazilian has been paying, one of the most expensive in the world, is becoming increasingly attractive the option for renewable energy in form of distributed micro and minigeneration. In other words, the renewable energy sources are becoming attractive not only because of environmental concerns, but also due to economic issues. This has become even more relevant and concrete after approval of rules by National Agency of Electric Energy (ANEEL) on 4/17/2012 (Normative Resolution n ° 482/2012 of 04/17/2012) aimed at reducing barriers to installation of small distributed generation, including microgeneration, with up to 100 kW of power, and minigeneration, 100 kW to 1 MW. The Normative Resolution n ° 482/2012 creates the Energy Clearing System, which allows consumers to install small generators in its consumer unit and exchange energy with the local distributor. The rule applies to generators that use renewable sources of energy (hydro, solar, biomass, wind and cogeneration qualified). In this context, this paper presents a technical and economic analysis of installing a residential microgenerating plant composed of photovoltaic cells, solar panels and small wind turbines

O valor da elaboração de relatórios de sustentabilidade para as empresas de mineração

Sustainability has been moving up on the business agenda in recent decades, and many methods to assess corporate sustainability have already been created. One of the most used and reliable methods is the Sustainability Reporting Guidelines of the Global Reporting Initiative (GRI). Given the importance of sustainability for society and organizations, this study examined sustainability reports published by mining companies – Alcoa, Vale and Samarco – since 2006. The objective was to verify the indicators that contribute most to the minimization of environmental impacts and the improvement of environmental performance. The methodology consisted of collecting and analyzing data from the GRI sustainability reports. It was discovered that the sustainability reports helped the companies to identify improvement opportunities and it is essential companies provide in their reports an economic, environmental and social context of their activities. Furthermore, it was found out that the indicators related to atmospheric emissions, solid waste generation, environmental protection expenditure, and the consumption of raw materials, energy and water are the ones more attached to the production process, which means they are the main contributors for the environmental performance improvement

Utilização de parâmetros qualitativos dos resíduos aterrados como referência no processo de seleção de valores empregados em modelos matemáticos para a estimativa de geração de metano

The study of mathematical modeling assists in evaluation of the capacity of production and measurement of generation time of biogas in landfills, enabling the implantation of projects of energy generation from methane. Thus, the work aims, by simulating scenarios of potential methane generation in the landfill in Rio Claro, the use of field data from methane flow and waste grounded parameters as references for selecting values of k e L0 used to estimate methane generation model in LandGEM. As a result it was found that compared the characteristics adopted in the four scenarios recommended by the USEPA literature with those found in the landfill of Rio Claro (high amount of organic matter in the waste landed and daily practice of leachate recirculation), the scenario that apparently better represent the rate of methane generation is the scenario 01, with k = 0.7 and L0 = 96. Now, the adjustment of parameters in relation to the data field of methane flow, the value of L0 which best fits the methane generation from the landfill in Rio Claro is 150, while for k the line behavior that best represents the reality are values between 0.7 and 0.3. Regarding the parameters of the waste grounded, between the suggested values of k, 0,3 is most consistent with the intermediate level of biological degradation of the residue grounded, while L0 due to the biodegradability of the waste, a new value between 120 and 150 may be more appropriate for the study

Serviço de valor adicionado para venda de produtos na TV universitária: proposta de um modelo de negócio complementar

Pós-graduação em Televisão Digital: Informação e Conhecimento - FAAC

Geração de energia por microturbina alimentada à biogás em uma propriedade rural: estudo de caso

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)

Geração de receitas complementares em mídia digital para um programa regional de televisão: estudo de caso do Revista de Sábado

Pós-graduação em Televisão Digital: Informação e Conhecimento - FAAC

Análise da viabilidade do uso de biogás gerado a partir de dejetos bovinos em microturbinas para fins de geração, cogeração e trigeração de energia

The use of digesters has become an important alternative for the proper disposal of organic agricultural wastes, serving as a solution to some environmental and health problems. Furthermore, the process of digestion provides commercially valuable by products such as biogas and bio fertilizer. The generation of biogas from agricultural waste, and its use in power generation systems has aroused great interest in rural areas because it enables supply in whole or in large part the energy demand of ownership by reducing production costs. The advent of technology has brought new forms of energy conversion of biogas, as the use of micro turbines specifies to be fuelled with biogas derived from the decomposition of organic matter in digesters, since it has a low level of methane in its composition, and high degree of impurities such as hydrogen sulphide, which are harmful to equipment and reduce the calorific value of biogas. The use of micro turbines behind other advantages like low emissions, great fuel flexibility and low maintenance. This paper presents an analysis of the feasibility of using biogas generated from cattle manure in micro turbines to generate electricity. Behind also an assessment of the energy potential that each animal has on various uses of biogas, and forms of energy recovery from the exhaust gases of the micro turbine. Also conducts an evaluation of the energy savings that the use of biogas aggregates properties.

Conversor inversor integrado três estados buck-boost para geração distribuída, com operação conectada ou ilhada

Pós-graduação em Engenharia Elétrica - FEIS

Estudo de viabilidade técnica e econômica da utilização de geração diesel no horário de ponta

Given the current energy crisis experienced in our country with the lack of rain in some areas, the energy distributors were forced to resort to thermal power plants to complement their energy production; raising the cost of electricity generation, they have been forced to repass this value to the customers through the Tariff Flags. Concerned about a substantial increase in their electric bill, some consumers were forced to look for alternatives so that their results are not affected. The use of diesel generation at peak hours is a relatively simple and inexpensive alternative that has been widely used for several industrial, commercial and service customers. In this present work, we conducted a feasibility study of the use of diesel generators at peak hours in a medium-sized hospital, calculating the depreciation period for the investment through savings in electricity bills

Estudo de viabilidade técnica e econômica da utilização de geração diesel no horário de ponta

Given the current energy crisis experienced in our country with the lack of rain in some areas, the energy distributors were forced to resort to thermal power plants to complement their energy production; raising the cost of electricity generation, they have been forced to repass this value to the customers through the Tariff Flags. Concerned about a substantial increase in their electric bill, some consumers were forced to look for alternatives so that their results are not affected. The use of diesel generation at peak hours is a relatively simple and inexpensive alternative that has been widely used for several industrial, commercial and service customers. In this present work, we conducted a feasibility study of the use of diesel generators at peak hours in a medium-sized hospital, calculating the depreciation period for the investment through savings in electricity bills