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

Compartimentação política do território: uma análise do processo no Curimataú oriental Paraibano

During the 1980‟s, the Brazilian State has undergone a process of redemocratization, causing a profund change in the political and institutional organization of the country. That reorientation of the Brazilian federative structure had as normative framework the enactment of the federal Constitution of 1988, occuring after its enactment a considerable political opening under the cloak of new democratic arrangements of tax and fiscal decentralization, which generated a new federative order, especially with regard to municipalities. Such institutions contributed to the creation of several new municipalities, involving, directly, changes in the structure of national territory, driven by the political context. This case was notoriouns in the 1990s, increased in the country's municipal mesh and spread all over the states of the federation. The Paraíba State was integrated in this context, creating in this period, 52 new municipalities. In the perspective, it will seek to understand the purpose that sustained this process of fragmentation of Paraíba state territory. For this purpose was made use of several bibliographies, secondary data, documentary sources and research in locus of the municipalities of Casserengue and Riachão, located in the Paraíba‟s Curimataú Oriental microregion, which were selected as a focus for specific analysis of the event. It is understood, however, that the production of municipalities, includes several intentions through political appropriation of the territory, although, being permeated by the Institutional

Competition and phylogeny determine community structure in Mullerian co-mimics

Until recently, the study of negative and antagonistic interactions (for example, competition and predation) has dominated our understanding of community structure, maintenance and assembly(1). Nevertheless, a recent theoretical model suggests that positive interactions (for example, mutualisms) may counterbalance competition, facilitating long-term coexistence even among ecologically undifferentiated species(2). Mullerian mimics are mutualists that share the costs of predator education(3) and are therefore ideally suited for the investigation of positive and negative interactions in community dynamics. The sole empirical test of this model in a Mullerian mimetic community supports the prediction that positive interactions outweigh the negative effects of spatial overlap(4) (without quantifying resource acquisition). Understanding the role of trophic niche partitioning in facilitating the evolution and stability of Mullerian mimetic communities is now of critical importance, but has yet to be formally investigated. Here we show that resource partitioning and phylogeny determine community structure and outweigh the positive effects of Mullerian mimicry in a species-rich group of neotropical catfishes. From multiple, independent reproductively isolated allopatric communities displaying convergently evolved colour patterns, 92% consist of species that do not compete for resources. Significant differences in phylogenetically conserved traits (snout morphology and body size) were consistently linked to trait-specific resource acquisition. Thus, we report the first evidence, to our knowledge, that competition for trophic resources and phylogeny are pivotal factors in the stable evolution of Mullerian mimicry rings. More generally, our work demonstrates that competition for resources is likely to have a dominant role in the structuring of communities that are simultaneously subject to the effects of both positive and negative interactions.

Aquatic insects as the main food resource of fish the community in a Neotropical reservoir

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

Preliminary data on the feeding habits of the freshwater stingrays Potamotrygon falkneri and Potamotrygon motoro (Potamotrygonidae) from the Upper Paraná River basin, Brazil

As raias da família Potamotrygonidae representam um grupo singular da ictiofauna Neotropical. Apesar de serem antigos os relatos sobre o grupo, ainda são muitas as questões que permanecem sem resposta, sobretudo no que diz respeito à biologia das espécies que ocorrem na Bacia do Paraná-Paraguai. No presente trabalho foi analisada a dieta de Potamotrygon falkneri e Potamotrygon motoro, capturadas no Alto Rio Paraná, a jusante da Usina Hidrelétrica Engenheiro Souza Dias (UHE Jupiá). As duas espécies de raias apresentaram dieta diversificada, ingerindo 14 itens, entre moluscos, crustáceos, insetos e peixes, porém com predominância de insetos aquáticos em diversidade e abundância. Somente um indivíduo de cada espécie ingeriu peixe. Potamotrygon motoro consumiu principalmente Ephemeroptera, enquanto P. falkneri, principalmente Mollusca, Hemiptera e Trichoptera. Os dados aparentemente indicam uma dieta mais especializada de P. motoro, com maior consumo de Ephemeroptera (Baetidae), e uma dieta mais generalizada de P. falkneri. A análise dos indivíduos capturados em três micro-hábitats, que diferem quanto ao tipo de substrato e presença de vegetação marginal, sugere diferenças nos tipos de alimentos consumidos.

Feeding selectivity of ichthyofauna in a tropical stream: space-time variations in trophic plasticity

Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq)

Soil profile, relief features and their relation to structure and distribution of Brazilian Atlantic rain forest trees

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

Exploring community assembly through an individual-based model for trophic interactions

Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq)

Breeding activity patterns, reproductive modes, and habitat use by anurans (Amphibia) in a seasonal environment in the Pantanal, Brazil

Annual patterns of breeding activity, reproductive modes, and habitat use are described for a frog community in a seasonal environment, in the southern Pantanal, Mato Grosso do Sul, Brazil. Data were collected monthly between January 1995 and December 1998. A total of 24 species from four families; Bufonidae (3 species), Hylidae (10 species), Leptodactylidae (9 species), and Microhylidae (2 species) were registered. Three reproductive activity patterns are recognized among these species: continuous, explosive, and prolonged; 50% of the species were explosive breeders. Seasonal pattern of reproduction was verified for three analyzed years (1995-1997) most species reproduced during the rainy season (Nov-Jan). The reproduction was aseasonal in 1998; unexpected rains in the dry season lead to an unusual breeding activity. Five reproductive modes were noted - 62.5% of the species have the generalized aquatic mode, and 33.3% deposit eggs embedded in foam nests. Many species used the same sites for reproduction, although temporal partitioning and calling site segregation was observed. The occurrence of many species that exhibit explosive breeding early in the rainy season is common in seasonal and open environments with variable and unpredictable rainfall, as is the case in the Pantanal.

Spatial and temporal distribution of tadpole assemblages (Amphibia, Anura) in a seasonal dry tropical forest of southeastern Brazil

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

Vesicle-to-micelle transition in dioctadecyldimethylammonium bromide and dioctadecyldimethylammonium chloride dispersions induced by octaethylene glycol n-dodecyl monoether. An isothermal titration calorimetry study

We have used isothermal titration calorimetry to investigate the vesicle-to-micelle transition in dioctadecyldimethylammonium bromide (DODAB) and chloride (DODAC) vesicle dispersions induced by the nonionic surfactant octaethylene glycol n-dodecyl monoether (C12E8) at room temperature. Small and giant unilamellar vesicles were prepared by sonication and without sonication, respectively, of the pure cationic surfactants at low concentrations in water. The titration of 1.0 mM DODAX (X = Cl- and Br-) by a concentrated micellar solution of C12E8 shows that the enthalpy of interaction (DeltaH(obs)) of C12E8 in micellar form with DODAX is always endothermic. The titration curves are understood on the basis of superposition of the enthalpies of partitioning of C12E8 into the bilayer, of micelle formation and of vesicle-to-micelle transformation. The enthalpy, DeltaH(obs), initially increases owing to the incorporation of C12E8 into the vesicle bilayer until the C12E8/DODAX saturation ratio (R-sat) is reached, then DeltaH(obs) decreases, in different ways for DODAB and DODAC, owing to degradation of vesicles and formation of mixed micelles and intermediary structures up to the C12E8/DODAX solubilization ratio, R-sol. Above R-sol only mixed micelles exist. The surfactant solubilization takes place in three stages. All the critical ratios are lower for DODAB than for DODAC, meaning that C12E8 solubilizes more strongly in DODAB for example, R-sat is 0.8 for DODAB and 1.2 for DODAC. Sonication has no significant effect on the transition.

Breeding Habitat and Landscape Correlates of Frog Diversity and Abundance in a Tropical Agricultural Landscape

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

Variação temporal no sítio de vocalização em uma comunidade de anuros de Botucatu, Estado de São Paulo, Brasil

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

Estimativa da irradiação total sobre uma superfície inclinada a partir da irradiação global na horizontal

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

Alimentação dos peixes em um riacho do Parque Estadual Morro do Diabo, bacia do Alto Rio Paraná, sudeste do Brasil

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