Caracterizando os fluxos excepcionais em linhas de produto de software: um estudo exploratório

The Exception Handling (EH) is a widely used mechanism for building robust systems. In Software Product Line (SPL) context it is not different. As EH mechanisms are embedded in most of mainstream programming languages (like Java, C# and C++), we can find exception signalers and handlers spread over code assets associated to common and variable SPL features. When exception signalers and handlers are added to an SPL in an unplanned way, one of the possible consequences is the generation of faulty family instances (i.e., instances on which common or variable features signal exceptions that are mistakenly caught inside the system). In this context, some questions arise: How exceptions flow between the optional and alternative features an LPS? Aiming at providing answers to these questions, this master thesis conducted an exploratory study, based on code inspection and static analysis code, whose goal was to categorize the main ways which exceptions flow in LPSs. To support the study, we developed an static analysis tool called PLEA (Product Line Exception Analyzer) that calculates the exceptional flows of LPSs, and categorize these flows according to the features associated with handlers and signalers. Preliminary results showed that some types of exceptional flows have more potential to yield failures in exceptional behavior of SLPs

Squid impact analyser: uma ferramenta para análise de impacto de mudança em linhas de produto de software

Software Products Lines (SPL) is a software engineering approach to developing software system families that share common features and differ in other features according to the requested software systems. The adoption of the SPL approach can promote several benefits such as cost reduction, product quality, productivity, and time to market. On the other hand, the SPL approach brings new challenges to the software evolution that must be considered. Recent research work has explored and proposed automated approaches based on code analysis and traceability techniques for change impact analysis in the context of SPL development. There are existing limitations concerning these approaches such as the customization of the analysis functionalities to address different strategies for change impact analysis, and the change impact analysis of fine-grained variability. This dissertation proposes a change impact analysis tool for SPL development, called Squid Impact Analyzer. The tool allows the implementation of change impact analysis based on information from variability modeling, mapping of variability to code assets, and existing dependency relationships between code assets. An assessment of the tool is conducted through an experiment that compare the change impact analysis results provided by the tool with real changes applied to several evolution releases from a SPL for media management in mobile devices

Viabilidade da cultura Cnidoscolus quercifolius POHL para produção de Biodiesel no semiárido nordestino

The northeastern semiarid is a region that presents a serious picture stagnation or slowness of the economic growth, beyond the presence of social pointers below of the averages national and regional. The half-dryness conditions become the improper region for many agricultural cultures, what it affects the local populations directly, as well as the economy that is based mainly on agriculture. Cnidoscolus quercifolius Pohl, popularly know as favelone is a native species of the semiarid region that withholds great potential for the development of the region in virtue of its multiple uses. Being an oleaginous, its production in familiar farmings makes with that biodiesel either for the misery an important alternative eradication for the possibility of occupation of enormous contingents of people. The present study it aims at to evaluate the germination of the faveleira without thorns under conditions of water and saline stresses, main stresses which the vegetal species of the semiarid one are submitted; beyond verifying the acceptance of the species for agriculturists of a cooperative in the city of Apodi/RN. The methodology used for germination corresponds to using treatments with polyethylene glycol and sodium chloride to assess water and salt stress respectively, being held in rolo. O system approach used for the verification of acceptance of faveleira was the use of interview with farmers cooperative in the study area determined. In this direction it was verified that the faveleira is a resistant species the conditions of drought and salinity of the ground, factor of great relevance, since one is about a species with high added value, making possible the development for the semiarid region. It was verified that the agriculturists are favorable the introduction of the faveleira and reveal receptive the idea to cultivate a species with potential for production of biodiesel

Aplicação do método B ao projeto formal de software embarcado

This work shows a project method proposed to design and build software components from the software functional m del up to assembly code level in a rigorous fashion. This method is based on the B method, which was developed with support and interest of British Petroleum (BP). One goal of this methodology is to contribute to solve an important problem, known as The Verifying Compiler. Besides, this work describes a formal model of Z80 microcontroller and a real system of petroleum area. To achieve this goal, the formal model of Z80 was developed and documented, as it is one key component for the verification upto the assembly level. In order to improve the mentioned methodology, it was applied on a petroleum production test system, which is presented in this work. Part of this technique is performed manually. However, almost of these activities can be automated by a specific compiler. To build such compiler, the formal modelling of microcontroller and modelling of production test system should provide relevant knowledge and experiences to the design of a new compiler. In ummary, this work should improve the viability of one of the most stringent criteria for formal verification: speeding up the verification process, reducing design time and increasing the quality and reliability of the product of the final software. All these qualities are very important for systems that involve serious risks or in need of a high confidence, which is very common in the petroleum industry

Práticas agroecológicas para o cultivo do gergelim (Sesamum indicum L.)

The exceeded use of the natural resources required by the modern agriculture has been caused soil impoverishment, soil salinization and soil compaction. The unreasonable use of chemical fertilizers and pesticides causes chemical imbalances in the plant tissues, nutritional losses, taste chances and human health problems. The monocrops are more vulnerable to the pest and disease attacks. The aim of this work were to indicate the better relative planting time of the cowpea bean for the sesame/cowpea bean intercropping based on the evaluation of agronomic, economic, ecological and physiological parameters and to evaluate the viability of the cow urine and cassava wastewater use as alternative fertilizers on the sesame cultivation. In a field essay, when the sesame/cowpea bean was evaluate, the mainly treatments were the single planting of the two cultures and the multiple cropping, with the cowpea bean being planted on the same time, 7, 14 and 21 days after the sesame. The mainly treatments of the second essay were the combined doses of the cow urine (0 and 50 ml) and cassava wastewater (0, 500 and 1000 mL). In the intercrop evaluation significant differences were found between the treatments for the most of the parameters. It was verified that as the sowing of the cowpea bean was retarded in relation to the sesame sowing, the sesame performance increased when the cowpea bean performance decreased. The treatment 7 days balanced the competition relations that occurred between the two crops in the intercrop. The sesame presented little pronounced responses to the different doses of cassava wastewater. The cow urine affected the sesame growth and the growth rates increased with the increasing of the application of the product. The responses of the sesame growth to the cow urine application must be related both the nutritional richness of the product and the presence of growth stimulating substances. The obtained results indicated that in the sesame/cowpea bean intercropping, when the sesame is planted 7 days after the sesame, there is a higher possibility of the net gains to the farmer. Cow urine and cassava wastewater may be used as additional organic fertilizers