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

Identificação e comparação entre controle preditivo com modelo não linear e PI sintonizados com PSO em sistema de separação gravitacional de águia-óleo

The separation methods are reduced applications as a result of the operational costs, the low output and the long time to separate the uids. But, these treatment methods are important because of the need for extraction of unwanted contaminants in the oil production. The water and the concentration of oil in water should be minimal (around 40 to 20 ppm) in order to take it to the sea. Because of the need of primary treatment, the objective of this project is to study and implement algorithms for identification of polynomial NARX (Nonlinear Auto-Regressive with Exogenous Input) models in closed loop, implement a structural identification, and compare strategies using PI control and updated on-line NARX predictive models on a combination of three-phase separator in series with three hydro cyclones batteries. The main goal of this project is to: obtain an optimized process of phase separation that will regulate the system, even in the presence of oil gushes; Show that it is possible to get optimized tunings for controllers analyzing the mesh as a whole, and evaluate and compare the strategies of PI and predictive control applied to the process. To accomplish these goals a simulator was used to represent the three phase separator and hydro cyclones. Algorithms were developed for system identification (NARX) using RLS(Recursive Least Square), along with methods for structure models detection. Predictive Control Algorithms were also implemented with NARX model updated on-line, and optimization algorithms using PSO (Particle Swarm Optimization). This project ends with a comparison of results obtained from the use of PI and predictive controllers (both with optimal state through the algorithm of cloud particles) in the simulated system. Thus, concluding that the performed optimizations make the system less sensitive to external perturbations and when optimized, the two controllers show similar results with the assessment of predictive control somewhat less sensitive to disturbances

Métodos estatísticos recursivos aplicados ao problema de estimação de vazão de gás em plantas de Plunger-lift

This work has as main objective to find mathematical models based on linear parametric estimation techniques applied to the problem of calculating the grow of gas in oil wells. In particular we focus on achieving grow models applied to the case of wells that produce by plunger-lift technique on oil rigs, in which case, there are high peaks in the grow values that hinder their direct measurement by instruments. For this, we have developed estimators based on recursive least squares and make an analysis of statistical measures such as autocorrelation, cross-correlation, variogram and the cumulative periodogram, which are calculated recursively as data are obtained in real time from the plant in operation; the values obtained for these measures tell us how accurate the used model is and how it can be changed to better fit the measured values. The models have been tested in a pilot plant which emulates the process gas production in oil wells

Detecção e diagnóstico de falhas não-supervisionados baseados em estimativa de densidade recursiva e classificador fuzzy auto-evolutivo

In this work, we propose a two-stage algorithm for real-time fault detection and identification of industrial plants. Our proposal is based on the analysis of selected features using recursive density estimation and a new evolving classifier algorithm. More specifically, the proposed approach for the detection stage is based on the concept of density in the data space, which is not the same as probability density function, but is a very useful measure for abnormality/outliers detection. This density can be expressed by a Cauchy function and can be calculated recursively, which makes it memory and computational power efficient and, therefore, suitable for on-line applications. The identification/diagnosis stage is based on a self-developing (evolving) fuzzy rule-based classifier system proposed in this work, called AutoClass. An important property of AutoClass is that it can start learning from scratch". Not only do the fuzzy rules not need to be prespecified, but neither do the number of classes for AutoClass (the number may grow, with new class labels being added by the on-line learning process), in a fully unsupervised manner. In the event that an initial rule base exists, AutoClass can evolve/develop it further based on the newly arrived faulty state data. In order to validate our proposal, we present experimental results from a level control didactic process, where control and error signals are used as features for the fault detection and identification systems, but the approach is generic and the number of features can be significant due to the computationally lean methodology, since covariance or more complex calculations, as well as storage of old data, are not required. The obtained results are significantly better than the traditional approaches used for comparison

A teoria da ruína aplicada em um modelo de empresa financeira com risco de crédito

In this work we study a new risk model for a firm which is sensitive to its credit quality, proposed by Yang(2003): Are obtained recursive equations for finite time ruin probability and distribution of ruin time and Volterra type integral equation systems for ultimate ruin probability, severity of ruin and distribution of surplus before and after ruin

Teoria da Ruína em um Modelo de Markov com dois Estados

In this work, we present a risk theory application in the following scenario: In each period of time we have a change in the capital of the ensurance company and the outcome of a two-state Markov chain stabilishs if the company pays a benece it heat to one of its policyholders or it receives a Hightimes c > 0 paid by someone buying a new policy. At the end we will determine once again by the recursive equation for expectation the time ruin for this company

Modelo de risco controlado por resseguro e desigualdades para a probabilidade de ruína

In the work reported here we present theoretical and numerical results about a Risk Model with Interest Rate and Proportional Reinsurance based on the article Inequalities for the ruin probability in a controlled discrete-time risk process by Ros ario Romera and Maikol Diasparra (see [5]). Recursive and integral equations as well as upper bounds for the Ruin Probability are given considering three di erent approaches, namely, classical Lundberg inequality, Inductive approach and Martingale approach. Density estimation techniques (non-parametrics) are used to derive upper bounds for the Ruin Probability and the algorithms used in the simulation are presented

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.