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

Diagênese e proveniência dos arenitos da tectonossequência Rifte na bacias do Rio do Peixe Araripe, NE do Brasil

This thesis presents diagenetic and provenance studies of sandstones belonging to the Rift Tectonosequence of the Rio do Peixe and Araripe basins. These basins are located in the interior of Northeast Brazil aligned along the Trend-Cariri Potiguar. Their origin is related to the Early Cretaceous rifting event. In terms of lithostratigraphy, the studied section corresponds to the Antenor Navarro, Sousa and Rio Piranhas formations of the Rio do Peixe Basin, and the Missão Velha and Abaiara formations of the Araripe Basin, outcropping in the central-west Cariri Valley. A facies analysis was performed and identified nine distinct sedimentary facies for the Rio de Peixe Basin and ten sedimentary facies for the Araripe Basin, individualized according to the different rock types and their sedimentary structures. These facies associations to led paleoenvironments interpretations and their vertical succession allowed understanding the evolution of the depositional setting during the cronostratigraphic interval studied in these basins. Based on petrographic and diagenetic studies it was possible to characterize the texture and mineralogy of these sandstones, identifying their diagenetic stage and the grain framework provenance. The petrographic study allowed to classify the lithotypes studied in both basins as quartzarenites. Such quartzarenites, in general, are rich in quartz, feldspar and lithic fragment grains, and at accessory levels tourmaline, sphene, zircon, epidote and other mineralogy. The diagenetic history of the studied rocks proved to be very complex, being characterized by a variety mineral of phases that succeeded each other during the eo, meso and telodiagenetic stages. According to the studied formation and the textural and compositional aspects of the rocks, some processes were more or less active, while others were even absent. The eodiagenetic stage is marked by mechanical infiltration of clays and early mechanical compactional processes. The mesodiagenetic phase is characterized by continuity of the mechanical compaction and the beggining of chemical compaction, with quartz and feldspar overgrowths, precipitation of kaolinite, alteration of framework grains to chlorite and illite, and finally, precipitation of opaque minerals. The telodiagenetic stage is represented by the oxidation of some grains, matrix and cements. For the provenance analysis of the studied sandstones were used ternary diagrams whose vertices correspond to the percentage of quartz, feldspar and lithic fragments. This study allowed identifies the source area of these rocks as continental blocks. It was also possible, based on the chemical stability and mineralogical maturity of the rocks, recognize that the Antenor Navarro Formation of the Rio do Peixe Basin, and the upper section of the Missão Velha Formation of Araripe Basin have less maturity and stability when compared with the other studied formations

Staining methods applied to glycol methacrylate embedded tissue sections

The use of glycol methacrylate (GMA) avoids some technical artifacts, which are usually observed in paraffin-embedded sections, providing good morphological resolution. on the other hand, weak staining have been mentioned during the use of different methods in plastic sections. In the present study, changes in the histological staining procedures have been assayed during the use of staining and histochemical methods in different GMA-embedded tissues.Samples of tongue, submandibular and sublingual glands, cartilage, portions of respiratory tract and nervous ganglion were fixed in 4% formaldehyde and embedded in glycol methacrylate. The sections of tongue and nervous ganglion were stained by H&E. Picrosirius, Toluidine Blue and Sudan Black B methods were applied, respectively, for identification of collagen fibers in submandibular gland, sulfated glycosaminoglycans in cartilage (metachromasia) and myelin lipids in nervous ganglion. Periodic Acid-Schiff (PAS) method was used for detection of glycoconjugates in submandibular gland and cartilage while AB/PAS combined methods were applied for detection of mucins in the respiratory tract. In addition, a combination of Alcian Blue (AB) and Picrosirius methods was also assayed in the sublingual gland sections.The GMA-embedded tissue sections showed an optimal morphological integrity and were favorable to the staining methods employed in the present study. In the sections of tongue and nervous ganglion, a good contrast of basophilic and acidophilic structures was obtained by H&E. An intense eosinophilia was observed either in the striated muscle fibers or in the myelin sheaths in which the lipids were preserved and revealed by Sudan Black B. In the cartilage matrix, a strong metachromasia was revealed by Toluidine Blue in the negatively-charged glycosaminoglycans. In the chondrocytes, glycogen granules were intensely positive to PAS method. Extracellular glycoproteins were also PAS positive in the basal membrane and in the region occupied by the lamina externa and reticular fibers surrounding each smooth muscle cells of the blood vessels. In the epithelial cells of the respiratory tract, acid and neutral mucins were histochemically detected by AB and PAS methods, respectively. Moreover, granules containing acid and neutral mucins were revealed in purple by AB and PAS concomitantly. In the sublingual gland sections, a distinct affinity of acid mucins by AB (in turquoise-blue) and collagen fibers by Picrosirius (in red) was obtained when these methods were combined. Although some routine dyes used in paraffin sections have showed a weak stain in historesin sections, our results showed that different dyes could be applied in GMA sections if modified staining procedures were assayed. Therefore, appropriate staining contrast and, thus, detection of one or different substances in a same section can be acquired in association to the good morphological resolution provided by GMA. (C) 2003 Elsevier Ltd. All rights reserved.

Structural and ultrastructural aspects of ontogenesis and differentiation of resin secretory cavities in Hymenaea stigonocarpa (Fabaceae-Caesalpinioideae) leaves

Cell lysis in the formation of secretory cavities in plants has been questioned by some authors and considered as result of technical artifacts. To describe the formation of secretory resin cavities in Hymenaea stigonocarpa leaves, leaflet samples at different stages of differentiation were collected, fixed, and processed for light and electron microscopy as per usual methods. The initial cells of secretory resin cavities are protodermal and grow towards the mesophyll ground meristem; these cells then divide producing cell groups that are distinguished by the shape and arrangement of cytoplasm, and density. At the initial stages of differentiation of the secretory cavities, some central cells in these groups show dark cytoplasm and condensed nuclear chromatin. Later, there is cell wall loosening, tonoplast and plasmalemma rupture resulting in cell death. These cells, however, maintain organelle integrity until lysis, when the cell wall degrades and the plasmalemma ruptures, releasing protoplast residues, marked characteristics of programmed cell death. The secretory epithelium remains active until complete leaf expansion when the cavity is filled with resin and the secretory activity ceases. There are no wall residues between central cells in adult cavities. Our results demonstrate lysigeny and the importance of ontogenetic studies in determining the origin of secretory cavities.

Compacidade do suporte cerâmico cru versus propriedades do revestimento cerâmico cozido

Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)

Homogeneity assessment of a station climate series (1933-2005) in the Metropolitan Area of São Paulo: instruments change and urbanization effects

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

Burial history and porosity evolution of Brazilian upper Jurassic to tertiary sandstone reservoirs

The parameter time-depth index (TDI) is applied in this study to quantify empirically the influence of burial history on sandstone porosity evolution. The TDI, expressed in kilometers per million years of age, is defined as the area in the burial history diagram enclosed by the burial curve of the reservoir and the axes of the diagram. In practice, reservoir depths during burial history are integrated at regular time intervals of 1 m.y. The calculations exclude present-day bathymetry or paleobathymetry. Sandstone reservoirs from several sedimentary basins along the Brazilian continental margin (Santos, Campos, Espírito Santo, Cumuruxatiba, Recôncavo, Sergipe, Alagoas, and Potiguar) were analyzed to investigate the evolution of porosity against TDI. These Upper Jurassic to Tertiary sandstones lie in depths of 700 to 4900 m, and are hydrocarbon charged (oil or gas). Average porosities of most of these reservoirs were obtained from core analysis, and a few porosity data were taken from well log interpretations. Detrital constituents of the sandstones are mainly quartz, feldspar, and granitic/gneissic rock fragments. Sandstones were grouped into three main reservoir types, based on composition (detrital quartz content) and grain sorting: Type I (average quartz content <50%) are very coarse grained to conglomeratic, poorly to very poorly sorted lithic arkoses. Rock fragments are mainly granitic/gneissic and coarse grained. Type II (average quartz content ranging from 50% to 70%) are fine- to coarse-grained (pebbles absent or occurring in small percentages), moderately sorted arkoses. Type III (average quartz content >80%) are fine to coarse, moderately to poorly sorted quartz arenites or subarkoses. Plots of average porosity against depth show great dispersion in porosity values; such dispersion is mostly due to differences in the reservoir burial histories. However, plotting porosity values against the TDI for individual reservoir types produces well-defined trends. The decrease in porosity is less marked in Type III reservoirs, intermediate in Type II, and faster in Type I. Such plots suggest that it is possible to make relatively accurate porosity predictions based on reservoir TDI, texture, and composition,: within the constraints of reservoir depth/age and basin tectonics analyzed in this study.

Clonal chromosome abnormalities found in three non-neoplastic proliferative brain lesions

Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)

O meteorito condrítico Saulo Gomes

This paper aims to present the results of petrographic and lithochemical studies obtained in one of the three artifacts, which fell on the farm Buritis in Buritizal County in August 1967, which were collected and stored until the present by reporter Saulo Gomes. The petrographic analysis showed that the artifact is composed by spherical and irregular chondrules with serial granulometry and size averaging around 1 mm and the largest reaching about 6 mm in diameter. The chondrules are made of olivine, ortho and clinopyroxene, crystallite glass, nickel iron alloy and troillite (kamacite and/or taenite/tetrataenite) and inter chondrules glassy material occurs in association with troillite, nickel and other alloy iron-based compounds. The lithochemical data show excellent correlation with the C chondrite, noting only small differences above or between them. The study made it possible to classify the artifact as type L3 and L4 ordinary chondrite.

Caracterização de terras pretas arqueológicas no sul do Estado do Amazonas

The Archaeological Dark Earth (ADE) soils are characterized by its high fertility, dark color, and presence of pottery fragments. Regarding the formation of ADE, the most widely accepted hypothesis is that anthropogenic processes involving pre-Columbian populations made them. The purpose of this study is to characterize ADE units located in the Southern Amazon Region, in the cities of Apuí and Manicoré. Seven ADE sites were selected, trenches opened and the soil profiles characterized morphologically. Then, samples of each horizon were collected for analyses of the following physical and chemical properties: particle size, water-dispersible clay, flocculation, soil bulk density, particle density, total porosity, pH in water and KCl solutions, Ca2+, Mg2+, K+, Al3+, available P, H+Al, and organic C. Also, total oxides, free oxides and amorphous forms were analyzed. The texture of the anthropic A horizon ranged from sandy loam to clay loam. The pottery fragments and lithic material were found in similar quantities and at similar depths in the A horizons of the studied soil profiles, suggesting some similarity between the anthropogenic factors of formation. The anthropic horizons of profiles P3, P4, and P7 had a eutrophic character and high to very high levels of available phosphorus, compared to P1, P2, P5, and P6, indicating the heterogeneity of the ADEs.

Artemídia: processos e procedimentos no ateliê-laboratório do artista-cineasta

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

Sentidos de Brasil na imprensa Argentina: a teia noticiosa do periódico Clarín

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

O produto de moda para o portador de deficiência física: análise de desconforto

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

O laboratório de anatomia sob a perspectiva da 'descrição densa': interfaces da cultura e o ensino de Ciências

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

Temas sociocientíficos: análise dos processos argumentativos no contexto escolar

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