Análise de impacto baseada em rastreabilidade de artefatos para linhas de produto de software

Software Product Line (SPL) consists of a software development paradigm, whose main focus is to identify features common and variability among applications in a specific domain. An LPS is designed to attend all products requirements from its product family. These requirements and LPS may have changes over time due to several factors, such as evolution of product requirements, evolution of the market, evolution of SLP process, evolution of the technologies used to develop the products. To handle these changes, LPS should be modified and evolve in order to not become obsolete, and adapt itself to new requirements. The Changes Impact Analysis is an activity that understand and identify what consequences these changes are cause on LPS. Impact Analysis on LPS may be supported by traceability relationships, which identify relationships between artefacts created during all phases of software development. Despite the solutions of change impact analysis based on traceability for software, there is a lack of solutions for assessing the change impact analysis based on traceability for LPS, since existing solutions do not include estimates specific to the artefacts of LPS. Thus, this paper proposes a process of change impact analysis and an tool for assessing the change impact through traceability of artefacts in LPS. For this purpose, we specified a process of change impact analysis that considers artifacts produced during the development of LPS. We have also implemented a tool which allows estimating and identifying artefacts and products of LPS affected from changes in other products, changes in class, changes in features, changes between releases of LPS and artefacts related to changes in core assets and variability. Finally, the results were evaluated through metrics

Uma abordagem sistemática para implementação, gerenciamento e customização de testes de linhas de produto de software

Through the adoption of the software product line (SPL) approach, several benefits are achieved when compared to the conventional development processes that are based on creating a single software system at a time. The process of developing a SPL differs from traditional software construction, since it has two essential phases: the domain engineering - when common and variables elements of the SPL are defined and implemented; and the application engineering - when one or more applications (specific products) are derived from the reuse of artifacts created in the domain engineering. The test activity is also fundamental and aims to detect defects in the artifacts produced in SPL development. However, the characteristics of an SPL bring new challenges to this activity that must be considered. Several approaches have been recently proposed for the testing process of product lines, but they have been shown limited and have only provided general guidelines. In addition, there is also a lack of tools to support the variability management and customization of automated case tests for SPLs. In this context, this dissertation has the goal of proposing a systematic approach to software product line testing. The approach offers: (i) automated SPL test strategies to be applied in the domain and application engineering, (ii) explicit guidelines to support the implementation and reuse of automated test cases at the unit, integration and system levels in domain and application engineering; and (iii) tooling support for automating the variability management and customization of test cases. The approach is evaluated through its application in a software product line for web systems. The results of this work have shown that the proposed approach can help the developers to deal with the challenges imposed by the characteristics of SPLs during the testing process

Dos requisitos à arquitetura em linhas de produtos de software: uma estratégia de transformações entre modelos

The tracking between models of the requirements and architecture activities is a strategy that aims to prevent loss of information, reducing the gap between these two initial activities of the software life cycle. In the context of Software Product Lines (SPL), it is important to have this support, which allows the correspondence between this two activities, with management of variability. In order to address this issue, this paper presents a process of bidirectional mapping, defining transformation rules between elements of a goaloriented requirements model (described in PL-AOVgraph) and elements of an architectural description (defined in PL-AspectualACME). These mapping rules are evaluated using a case study: the GingaForAll LPS. To automate this transformation, we developed the MaRiPLA tool (Mapping Requirements to Product Line Architecture), through MDD techniques (Modeldriven Development), including Atlas Transformation Language (ATL) with specification of Ecore metamodels jointly with Xtext , a DSL definition framework, and Acceleo, a code generation tool, in Eclipse environment. Finally, the generated models are evaluated based on quality attributes such as variability, derivability, reusability, correctness, traceability, completeness, evolvability and maintainability, extracted from the CAFÉ Quality Model

Reqsys-MDD: uma ferramenta para mapeamento entre modelos de features e requisitos em linhas de produto de software

The approach Software Product Line (SPL) has become very promising these days, since it allows the production of customized systems on large scale through product families. For the modeling of these families the Features Model is being widely used, however, it is a model that has low level of detail and not may be sufficient to guide the development team of LPS. Thus, it is recommended add the Features Model to other models representing the system from other perspectives. The goals model PL-AOVgraph can assume this role complementary to the Features Model, since it has a to context oriented language of LPS's, which allows the requirements modeling in detail and identification of crosscutting concerns that may arise as result of variability. In order to insert PL-AOVgraph in development of LPS's, this paper proposes a bi-directional mapping between PL-AOVgraph and Features Model, which will be automated by tool ReqSys-MDD. This tool uses the approach of Model-Driven Development (MDD), which allows the construction of systems from high level models through successive transformations. This enables the integration of ReqSys-MDD with other tools MDD that use their output models as input to other transformations. So it is possible keep consistency among the models involved, avoiding loss of informations on transitions between stages of development

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

Culicídeos vetores em uma unidade de conservação da caatinga na região do seridó no Rio Grande do Norte aspectos da transmissão de doenças

The scarcity of occurrence records of culicid species, transmitting insects of etiologic agents for arboviruses, protozoan diseases and philarioses, and lack of information about their interactions with the forest environment make the Caatinga one of the most unknown biomes in Brazil. The aim of this study was to identify culicid species in a conservation unit located in a preserved area of the Caatinga and the possible associations with local abiotic factors, as well as characterize the natural and artificial ecotopes present in the Caatinga of Rio Grande do Norte state. The Ecological Station of Serido (ESEC-Seridó) is a Caatinga Conservation Unit located in a rural area of Rio Grande do Norte. The hot and dry climate of the Caatinga, along with a short rainy season, favor the adaptation and resistance of plants, resulting in completely distinct landscapes over the course of the year. The study took place over the course of one year, with monthly collections between 10h-12h, 14h-16h and 18h-20h. Adult mosquitoes were collected in a forest area using a manual suction trap with human bait as attractant at the three times and a Shannon trap for night collections. During the rainy season ovitraps were randomly distributed at different sites. The different capture sites were observed and photographed. Immature and adult insects captured were taken to the laboratory for identification. Of the 5081 insects collected in human-bait and Shannon traps, 75% were Mansonia wilsoni. In addition, Aedeomyia, Aedes, Anopheles, Coquillettidia, Culex, Haemagogus, Mansonia and Psorophora were identified. Of the 92 Haemagogus eggs found, 71 were collected on the banks of a reservoir. Mosquito larvae were found and photographed in an artificial breeding site of a neighboring rural area. Humidity had the greatest influence on culicid density in the Caatinga. Rain was important in the appearance of Haemagogus, Anopheles, Aedes and Psorophora. Temperature had a negative influence on Anopheles triannulatus. The occurence of important vector species of diseases in a little known preserved area of the Caatinga as well as environmental and sociocultural questions are factors that favor the emergence of transmitting insects, making these areas potential subject to the resurgence of diseases

Reformas administrativas no Brasil: o caso do governo do estado do Piauí

From the 1980s, with technological development, globalization, and in a context of increasingly urgent demands, there is an international movement to modernize the state structures. Being driven by the victory of conservative governments in Britain and the U.S., this speech reform comes only to Brazil in the 1990s, the government of Fernando Henrique Cardoso. Thus, in view of the recent movement of states to implement this reform agenda in their structures this research was to identify the elements that made it possible to attempt to modernize the administrative structure of the state of Piauí in 2003, in view of the political and administrative career in which the state was entered. Seeking to clarify the problem studied here, through a case study carried out a descriptive and exploratory, using a technique of gathering data to document research and interviews semi-structured. As the lens of analysis for this study used the neo-historical and sociological institutionalism, through which it sought to identify the critical moment in which they gave the Administrative Reform of Piaui, the process of breaking with the political and administrative career that previously had being followed, and the isomorphic mechanisms that enabled this speech reform comes up to this state, mechanisms that allow the homogenization of the organizational field. In general it appears that the search for new patterns and new technologies for management by the states in Brazil is due to the context of fiscal crisis in which the states were entered, forcing them to seek alternative models of management . The process of diffusion of New Public Management agenda for the states became possible, among other factors, due to the new scenario in which was inserted into the Brazilian federal system in the second half of the 1990s, characterized by a greater articulation between the horizontalstates, where through the mechanisms of isomorphic institutional change was made possible by the absorption of the speech states reformer of the 1990s. However, due to the specificities of each region is given the experiences state unevenly. In the case of Piauí Administrative Reform only became possible due to the rearrangement of political forces in the state and the mechanisms of isomorphic institutional change, which allowed, in 2003, the state government to absorb the speech reformer

Estudo do comportamento mecânico de estruturas de solo-cimento reforçado com fibras de coco e hastes de bambu

In this work the use of coconut fiber (coir) and bamboo shafts as reinforcement of soil-cement was studied, in order to obtain an alternative material to make stakes for fences in rural properties. The main objective was to study the effect of the addition of reinforcement to the soil-cement matrix. The effect of humidity on the mechanical properties was also analyzed. The soil-cement mortar was composed by a mixture, in equal parts, of soil and river sand, 14% in weight of cement and 10 % in weight of water. As reinforcement, different combinations of (a) coconut fiber with 15 mm mean length (0,3 %, 0,6 % and 1,2 % in weight) and (b) bamboo shafts, also in crescent quantities (2, 4 and 8 shafts per specimen) were used. For each combination 6 specimens were made and these were submitted to three point flexural test after 28 days of cure. In order to evaluate the effect of humidity, 1 specimen from each of the coconut fiber reinforced combination was immersed in water 24 hours prior to flexural test. The results of the tests carried out indicated that the addition of the reinforcement affected negatively the mechanical resistance and, on the other hand, increased the tenacity and the ductility of the material.

Estruturas tectônicas cenozóicas na porção leste da Bacia Potiguar - RN

This thesis encompasses the integration of geological, geophysical, and seismological data in the east part of the Potiguar basin, northeastern Brazil. The northeastern region is located in South American passive margin, which exhibits important areas that present neotectonic activity. The definition of the chronology of events, geometry of structures generated by these events, and definition of which structures have been reactivated is a necessary task in the region. The aims of this thesis are the following: (1) to identify the geometry and kinematics of neotectonic faults in the east part of the Potiguar basin; (2) to date the tectonic events related to these structures and related them to paleoseismicity in the region; (3) to present evolutional models that could explain evolution of Neogene structures; (4) and to investigate the origin of the reactivation process, mainly the type of related structure associated with faulting. The main type of data used comprised structural field data, well and resistivity data, remote sensing imagery, chronology of sediments, morphotectonic analysis, x-ray analysis, seismological and aeromagnetic data. Paleostress analysis indicates that at least two tectonic stress fields occurred in the study area: NSoriented compression and EW-oriented extension from the late Campanian to the early Miocene and EW-oriented compression and NS-oriented extension from the early Miocene to the Holocene. These stress fields reactivated NE-SW- and NW-SE-trending faults. Both set of faults exhibit right-lateral strike-slip kinematics, associated with a minor normal component. It was possible to determine the en echelon geometry of the Samambaia fault, which is ~63 km long, 13 km deep, presents NE-SW trend and strong dip to NW. Sedimentfilled faults in granite rocks yielded Optically Stimulated Luminescence (OSL) and Single-Aliquot Regeneration (SAR) ages at 8.000 - 9.000, 11.000 - 15.000, 16.000 - 24.000, 37.000 - 45.500, 53.609 - 67.959 e 83.000 - 84.000 yr BP. The analysis of the ductile fabric in the João Câmara area indicate that the regional foliation is NE-SW-oriented (032o - 042o), which coincides with the orientation of the epicenters and Si-rich veins. The collective evidence points to reactivation of preexisting structures. Paleoseismological data suggest paleoseismic activity much higher than the one indicated by the short historical and instrumental record

Processamento e interpretação de dados 2D e 3D de GPR :aplicações no imageamento de feições kársticas e estruturas de dissolução no campo de petróleo de Fazenda Belém-CE

In Fazenda Belém oil field (Potiguar Basin, Ceará State, Brazil) occur frequently sinkholes and sudden terrain collapses associated to an unconsolidated sedimentary cap covering the Jandaíra karst. This research was carried out in order to understand the mechanisms of generation of these collapses. The main tool used was Ground Penetrating Radar (GPR). This work is developed twofold: one aspect concerns methodology improvements in GPR data processing whilst another aspect concerns the geological study of the Jandaíra karst. This second aspect was strongly supported both by the analysis of outcropping karst structures (in another regions of Potiguar Basin) and by the interpretation of radargrams from the subsurface karst in Fazenda Belém. It was designed and tested an adequate flux to process GPR data which was adapted from an usual flux to process seismic data. The changes were introduced to take into account important differences between GPR and Reflection Seismic methods, in particular: poor coupling between source and ground, mixed phase of the wavelet, low signal-to-noise ratio, monochannel acquisition, and high influence of wave propagation effects, notably dispersion. High frequency components of the GPR pulse suffer more pronounced effects of attenuation than low frequency components resulting in resolution losses in radargrams. In Fazenda Belém, there is a stronger need of an suitable flux to process GPR data because both the presence of a very high level of aerial events and the complexity of the imaged subsurface karst structures. The key point of the processing flux was an improvement in the correction of the attenuation effects on the GPR pulse based on their influence on the amplitude and phase spectra of GPR signals. In low and moderate losses dielectric media the propagated signal suffers significant changes only in its amplitude spectrum; that is, the phase spectrum of the propagated signal remains practically unaltered for the usual travel time ranges. Based on this fact, it is shown using real data that the judicious application of the well known tools of time gain and spectral balancing can efficiently correct the attenuation effects. The proposed approach can be applied in heterogeneous media and it does not require the precise knowledge of the attenuation parameters of the media. As an additional benefit, the judicious application of spectral balancing promotes a partial deconvolution of the data without changing its phase. In other words, the spectral balancing acts in a similar way to a zero phase deconvolution. In GPR data the resolution increase obtained with spectral balancing is greater than those obtained with spike and predictive deconvolutions. The evolution of the Jandaíra karst in Potiguar Basin is associated to at least three events of subaerial exposition of the carbonatic plataform during the Turonian, Santonian, and Campanian. In Fazenda Belém region, during the mid Miocene, the Jandaíra karst was covered by continental siliciclastic sediments. These sediments partially filled the void space associated to the dissolution structures and fractures. Therefore, the development of the karst in this region was attenuated in comparison to other places in Potiguar Basin where this karst is exposed. In Fazenda Belém, the generation of sinkholes and terrain collapses are controlled mainly by: (i) the presence of an unconsolidated sedimentary cap which is thick enough to cover completely the karst but with sediment volume lower than the available space associated to the dissolution structures in the karst; (ii) the existence of important structural of SW-NE and NW-SE alignments which promote a localized increase in the hydraulic connectivity allowing the channeling of underground water, thus facilitating the carbonatic dissolution; and (iii) the existence of a hydraulic barrier to the groundwater flow, associated to the Açu-4 Unity. The terrain collapse mechanisms in Fazenda Belém occur according to the following temporal evolution. The meteoric water infiltrates through the unconsolidated sedimentary cap and promotes its remobilization to the void space associated with the dissolution structures in Jandaíra Formation. This remobilization is initiated at the base of the sedimentary cap where the flow increases its abrasion due to a change from laminar to turbulent flow regime when the underground water flow reaches the open karst structures. The remobilized sediments progressively fill from bottom to top the void karst space. So, the void space is continuously migrated upwards ultimately reaching the surface and causing the sudden observed terrain collapses. This phenomenon is particularly active during the raining season, when the water table that normally is located in the karst may be temporarily located in the unconsolidated sedimentary cap

Esporotricose do gato doméstico (Felis catus): transmissão humana

No presente trabalho relata-se caso de paciente, funcionário de hospital veterinário, infectado através de arranhadura de gato doméstico portador de esporotricose. Inquérito domiciliar junto aos proprietários do animal fonte de infecção, revelou dois outros casos presuntivos de esporotricose humana transmitida por gatos, e confirmou o diagnóstico, por cultivo do Sporotrix schenckii, em 3 gatos domésticos adicionais. A esporotricose felina caracteriza-se por lesões cutâneas ulceradas e tendência à disseminação sistêmica e evolução fatal. A transmissão intra e inter-espécie é facilitada pela exuberância de fungos nas lesões cutâneas de felinos infectados.

Transporte eletrônico e propriedades termodinâmicas de nanobiomoléculas

We use a tight-binding formulation to investigate the transmissivity and the currentvoltage (I_V) characteristics of sequences of double-strand DNA molecules. In order to reveal the relevance of the underlying correlations in the nucleotides distribution, we compare theresults for the genomic DNA sequence with those of arti_cial sequences (the long-range correlated Fibonacci and RudinShapiro one) and a random sequence, which is a kind of prototype of a short-range correlated system. The random sequence is presented here with the same _rst neighbors pair correlations of the human DNA sequence. We found that the long-range character of the correlations is important to the transmissivity spectra, although the I_V curves seem to be mostly inuenced by the short-range correlations. We also analyze in this work the electronic and thermal properties along an _-helix sequence obtained from an _3 peptide which has the uni-dimensional sequence (Leu-Glu-Thr- Leu-Ala-Lys-Ala)3. An ab initio quantum chemical calculation procedure is used to obtain the highest occupied molecular orbital (HOMO) as well as their charge transfer integrals, when the _-helix sequence forms two di_erent variants with (the so-called 5Q variant) and without (the 7Q variant) _brous assemblies that can be observed by transmission electron microscopy. The di_erence between the two structures is that the 5Q (7Q) structure have Ala ! Gln substitution at the 5th (7th) position, respectively. We estimate theoretically the density of states as well as the electronic transmission spectra for the peptides using a tight-binding Hamiltonian model together with the Dyson's equation. Besides, we solve the time dependent Schrodinger equation to compute the spread of an initially localized wave-packet. We also compute the localization length in the _nite _-helix segment and the quantum especi_c heat. Keeping in mind that _brous protein can be associated with diseases, the important di_erences observed in the present vi electronic transport studies encourage us to suggest this method as a molecular diagnostic tool

Excitações elementares em super-redes quasiperiódicas com simetria espelho

In this thesis, we investigated the magnonic and photonic structures that exhibit the so-called deterministic disorder. Speci cally, we studied the effects of the quasiperiodicity, associated with an internal structural symmetry, called mirror symmetry, on the spectra of photonics and magnonics multilayer. The quasiperiodicity is introduced when stacked layers following the so-called substitutional sequences. The three sequences used here were the Fibonacci sequence, Thue-Morse and double-period, all with mirror symmetry. Aiming to study the propagation of light waves in multilayer photonic, and spin waves propagation in multilayer magnonic, we use a theoretical model based on transfer matrix treatment. For the propagation of light waves, we present numerical results that show that the quasiperiodicity associated with a mirror symmetry greatly increases the intensity of transmission and the transmission spectra exhibit a pro le self-similar. The return map plotted for this system show that the presence of internal symmetry does not alter the pattern of Fibonacci maps when compared with the case without symmetry. But when comparing the maps of Thue-Morse and double-time sequences with their case without the symmetry mirror, is evident the change in the pro le of the maps. For magnetic multilayers, we work with two di erent systems, multilayer composed of a metamagnetic material and a non-magnetic material, and multilayers composed of two cubic Heisenberg ferromagnets. In the rst case, our calculations are carried out in the magnetostatic regime and calculate the dispersion relation of spin waves for the metamgnetic material considered FeBr2. We show the e ect of mirror symmetry in the spectra of spin waves, and made the analysis of the location of bulk bands and the scaling laws between the full width of the bands allowed and the number of layers of unit cell. Finally, we calculate the transmission spectra of spin waves in quasiperiodic multilayers consisting of Heisenberg ferromagnets. The transmission spectra exhibit self-similar patterns, with regions of scaling well-de ned in frequency and the return maps indicates only dependence of the particular sequence used in the construction of the multilayer

As dunas eólicas de Natal/RN: datação e evolução

The main purpose of this study is to present complementary information on eolian systems that occur in the Center-South portion of the city of Natal, Rio Grande do Norte State, Brazil. The investigation focused on the identification of eolian units, absolute luminescence dating of eolian sediments, to geophysical analysis by Ground Penetrating Radar (GPR), as well as qualitative identification of the use and terrain occupation in the study area. A map was elaborated in order to separate eolian geological units, and describe their deposicional and erosional characteristics, by aerial photo-interpretation. The study lead to the identification of six main units: Unit I - Blowouts (BW), Unit II - Active dunes field (DA), Unit III - Fixed dunes field (DF), Unit IV - Parabolic dunes field (DP), Unit V - Red parabolic dunes field (DV) and Unit VI - Devastated dunes surface (SD). Were analised by Termoluminescense (TL) Method Eight samples from units I, III, IV and V. The largest number of samples with similar or close resulted yielded ages about 15,000 years. Two GPR profiles were obtained in areas of the Dunes Park, near the "Natal s Conventions Center". Results showed the migration a new dune generation over on older one, the geologic contact between dunes and the Formação Barreiras (FB), and the groundwater level inside the dune unit. The qualitative study on the use and terrain occupation of the soil in some dunes fields in the study area, it was possible identify some use and occupation, as the following ones: the construction of residential and commercial buildings, dunes fields cutted for construction to access road and garbage deposition