Desenvolvimento de misturas ternárias para remoção de reboco de fluido de perfuração sintético

The construction of wells is one of the most important activities of the oil industry. The drilling process is the set of activities and operations to design, program and perform the opening thereof. During this process, the cuttings are removed by the drilling fluid, or mud, and carted to the surface. This fluid is injected into the drill string and returns to the surface through the annular space between the well walls and the drill string. After the descent of the column casing, the annular space between the casing string and the walls of the borehole is filled with cement so as to secure the spine and prevent any migration of fluids between the various permeable zones traversed by the well behind of the coating. To ensure the good quality of the cementation scrubbers are used mattresses which are pumped ahead of the cement slurry so as to avoid contamination of the drilling fluid paste, or vice versa, and assist in the removal of plaster, formed by drilling fluid of the borehole walls, thus enabling a better cement bond to the well. Within this context, this work aims to evaluate the efficiency of mattresses scrubbers, the basis of ionic and nonionic surfactants, on the removal of nonaqueous drilling fluid, based on n-paraffin in oil wells, and the compatibility between the Mattress relations washer / drilling fluid bed scrubber / cement paste mattress washer / cement slurry / drilling fluid and the drilling fluid / cement slurry using laboratory tests rheology, thickening time and compressive strength. Also technique was performed X-ray diffraction (XRD) for a more detailed analysis of these mixtures with hydrated cement paste. In compatibility tests the conditions of temperature and pressure used in the same laboratory procedure simulating the conditions of oil wells, the well is considered the depth of 800 m. The results showed that the compositions of the mattress washer nonionic, KMS obtained a 100% efficient in removing the non-aqueous drilling fluid, and the best formulation showed good results with respect to compliance testing

Geração automática de testes a partir de descrições de linguagens

Some programs may have their entry data specified by formalized context-free grammars. This formalization facilitates the use of tools in the systematization and the rise of the quality of their test process. This category of programs, compilers have been the first to use this kind of tool for the automation of their tests. In this work we present an approach for definition of tests from the formal description of the entries of the program. The generation of the sentences is performed by taking into account syntactic aspects defined by the specification of the entries, the grammar. For optimization, their coverage criteria are used to limit the quantity of tests without diminishing their quality. Our approach uses these criteria to drive generation to produce sentences that satisfy a specific coverage criterion. The approach presented is based on the use of Lua language, relying heavily on its resources of coroutines and dynamic construction of functions. With these resources, we propose a simple and compact implementation that can be optimized and controlled in different ways, in order to seek satisfaction the different implemented coverage criteria. To make the use of our tool simpler, the EBNF notation for the specification of the entries was adopted. Its parser was specified in the tool Meta-Environment for rapid prototyping

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

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

Apoiando a Construcao de Testes de Aceitacao Automatizados a partir da Especificacao de Requisitos

A automação consiste em uma importante atividade do processo de teste e é capaz de reduzir significativamente o tempo e custo do desenvolvimento. Algumas ferramentas tem sido propostas para automatizar a realização de testes de aceitação em aplicações Web. Contudo, grande parte delas apresenta limitações importantes tais como necessidade de valoração manual dos casos de testes, refatoração do código gerado e forte dependência com a estrutura das páginas HTML. Neste trabalho, apresentamos uma linguagem de especificação de teste e uma ferramenta concebidas para minimizar os impactos propiciados por essas limitações. A linguagem proposta dá suporte aos critérios de classes de equivalência e a ferramenta, desenvolvida sob a forma de um plug-in para a plataforma Eclipse, permite a geração de casos de teste através de diferentes estratégias de combinação. Para realizar a avaliação da abordagem, utilizamos um dos módulos do Sistema Unificado de Administração Publica (SUAP) do Instituto Federal do Rio Grande do Norte (IFRN). Participaram da avaliação analistas de sistemas e um técnico de informática que atuam como desenvolvedores do sistema utilizado.

Apoiando a construção de testes de aceitação automatizados a partir da especificação de requisitos

Automation has become increasingly necessary during the software test process due to the high cost and time associated with such activity. Some tools have been proposed to automate the execution of Acceptance Tests in Web applications. However, many of them have important limitations such as the strong dependence on the structure of the HTML pages and the need of manual valuing of the test cases. In this work, we present a language for specifying acceptance test scenarios for Web applications called IFL4TCG and a tool that allows the generation of test cases from these scenarios. The proposed language supports the criterion of Equivalence Classes Partition and the tool allows the generation of test cases that meet different combination strategies (i.e., Each-Choice, Base-Choice and All Combinations). In order to evaluate the effectiveness of the proposed solution, we used the language and the associated tool for designing and executing Acceptance Tests on a module of Sistema Unificado de Administração Pública (SUAP) of Instituto Federal Rio Grande do Norte (IFRN). Four Systems Analysts and one Computer Technician, which work as developers of the that system, participated in the evaluation. Preliminary results showed that IFL4TCG can actually help to detect defects in Web applications

Uma abordagem para a verificação do comportamento excepcional a partir de regras de designe e testes

Checking the conformity between implementation and design rules in a system is an important activity to try to ensure that no degradation occurs between architectural patterns defined for the system and what is actually implemented in the source code. Especially in the case of systems which require a high level of reliability is important to define specific design rules for exceptional behavior. Such rules describe how exceptions should flow through the system by defining what elements are responsible for catching exceptions thrown by other system elements. However, current approaches to automatically check design rules do not provide suitable mechanisms to define and verify design rules related to the exception handling policy of applications. This paper proposes a practical approach to preserve the exceptional behavior of an application or family of applications, based on the definition and runtime automatic checking of design rules for exception handling of systems developed in Java or AspectJ. To support this approach was developed, in the context of this work, a tool called VITTAE (Verification and Information Tool to Analyze Exceptions) that extends the JUnit framework and allows automating test activities to exceptional design rules. We conducted a case study with the primary objective of evaluating the effectiveness of the proposed approach on a software product line. Besides this, an experiment was conducted that aimed to realize a comparative analysis between the proposed approach and an approach based on a tool called JUnitE, which also proposes to test the exception handling code using JUnit tests. The results showed how the exception handling design rules evolve along different versions of a system and that VITTAE can aid in the detection of defects in exception handling code

POPT: uma abordagem de ensino de programação orientada a problema e testes

There is a growing interest of the Computer Science education community for including testing concepts on introductory programming courses. Aiming at contributing to this issue, we introduce POPT, a Problem-Oriented Programming and Testing approach for Introductory Programming Courses. POPT main goal is to improve the traditional method of teaching introductory programming that concentrates mainly on implementation and neglects testing. POPT extends POP (Problem Oriented Programing) methodology proposed on the PhD Thesis of Andrea Mendonça (UFCG). In both methodologies POPT and POP, students skills in dealing with ill-defined problems must be developed since the first programming courses. In POPT however, students are stimulated to clarify ill-defined problem specifications, guided by de definition of test cases (in a table-like manner). This paper presents POPT, and TestBoot a tool developed to support the methodology. In order to evaluate the approach a case study and a controlled experiment (which adopted the Latin Square design) were performed. In an Introductory Programming course of Computer Science and Software Engineering Graduation Programs at the Federal University of Rio Grande do Norte, Brazil. The study results have shown that, when compared to a Blind Testing approach, POPT stimulates the implementation of programs of better external quality the first program version submitted by POPT students passed in twice the number of test cases (professor-defined ones) when compared to non-POPT students. Moreover, POPT students submitted fewer program versions and spent more time to submit the first version to the automatic evaluation system, which lead us to think that POPT students are stimulated to think better about the solution they are implementing. The controlled experiment confirmed the influence of the proposed methodology on the quality of the code developed by POPT students

Geração de testes a partir de gramáticas: áreas de aplicação

The work proposed by Cleverton Hentz (2010) presented an approach to define tests from the formal description of a program s input. Since some programs, such as compilers, may have their inputs formalized through grammars, it is common to use context-free grammars to specify the set of its valid entries. In the original work the author developed a tool that automatically generates tests for compilers. In the present work we identify types of problems in various areas where grammars are used to describe them , for example, to specify software configurations, which are potential situations to use LGen. In addition, we conducted case studies with grammars of different domains and from these studies it was possible to evaluate the behavior and performance of LGen during the generation of sentences, evaluating aspects such as execution time, number of generated sentences and satisfaction of coverage criteria available in LGen

Uma ferramenta de análise automatizada de técnicas de seleção de testes de regressão baseada em mineração de repositórios de software

The main goal of Regression Test (RT) is to reuse the test suite of the latest version of a software in its current version, in order to maximize the value of the tests already developed and ensure that old features continue working after the new changes. Even with reuse, it is common that not all tests need to be executed again. Because of that, it is encouraged to use Regression Tests Selection (RTS) techniques, which aims to select from all tests, only those that reveal faults, this reduces costs and makes this an interesting practice for the testing teams. Several recent research works evaluate the quality of the selections performed by RTS techniques, identifying which one presents the best results, measured by metrics such as inclusion and precision. The RTS techniques should seek in the System Under Test (SUT) for tests that reveal faults. However, because this is a problem without a viable solution, they alternatively seek for tests that reveal changes, where faults may occur. Nevertheless, these changes may modify the execution flow of the algorithm itself, leading some tests no longer exercise the same stretch. In this context, this dissertation investigates whether changes performed in a SUT would affect the quality of the selection of tests performed by an RTS, if so, which features the changes present which cause errors, leading the RTS to include or exclude tests wrongly. For this purpose, a tool was developed using the Java language to automate the measurement of inclusion and precision averages achieved by a regression test selection technique for a particular feature of change. In order to validate this tool, an empirical study was conducted to evaluate the RTS technique Pythia, based on textual differencing, on a large web information system, analyzing the feature of types of tasks performed to evolve the SUT

Testes em modelos weibull na forma estendida de Marshall-Olkin

In survival analysis, the response is usually the time until the occurrence of an event of interest, called failure time. The main characteristic of survival data is the presence of censoring which is a partial observation of response. Associated with this information, some models occupy an important position by properly fit several practical situations, among which we can mention the Weibull model. Marshall-Olkin extended form distributions other a basic generalization that enables greater exibility in adjusting lifetime data. This paper presents a simulation study that compares the gradient test and the likelihood ratio test using the Marshall-Olkin extended form Weibull distribution. As a result, there is only a small advantage for the likelihood ratio test

Testes de hipóteses em modelos de sobrevivência com Fração de cura

Survival models deals with the modeling of time to event data. However in some situations part of the population may be no longer subject to the event. Models that take this fact into account are called cure rate models. There are few studies about hypothesis tests in cure rate models. Recently a new test statistic, the gradient statistic, has been proposed. It shares the same asymptotic properties with the classic large sample tests, the likelihood ratio, score and Wald tests. Some simulation studies have been carried out to explore the behavior of the gradient statistic in fi nite samples and compare it with the classic statistics in diff erent models. The main objective of this work is to study and compare the performance of gradient test and likelihood ratio test in cure rate models. We first describe the models and present the main asymptotic properties of the tests. We perform a simulation study based on the promotion time model with Weibull distribution to assess the performance of the tests in finite samples. An application is presented to illustrate the studied concepts

Dois testes de imageamento com GPR em problemas de controle ambiental em regiões tropicais: migração de dunas e localização de dutos de óleo enterrados

Because the penetration depth of Ground Penetrating Radar (GPR) signals is very limited in high conductive soils, the usefullness of this method in tropical regions is not yet completly known. The main objective of this researh is to test the usefullness of the method in Brazil. Two typical problems where GPR has been used in Europe and North American were choosed for this test: the first one is to characterize the internal structures of a sand body and the second problem is the localization of old buried pipes lines. The first test was done near the city of São Bento do Norte, in the northern coast of Rio Grande do Norte state, NE Brazil. In this region, there is a sand dune that is migrating very fast in the direction of adjacent settling areas. To characterize the internal structure of the dune and its relationship to the prevailing wind direction, as a preliminary step to understand the dune migration, GPR profiles using the 400 MHz frequency were performed in E-W, N-S, NE-SW, and SE-NW directions over the sand dune intersecting at the top of the dune. The practical resolution of the GPR data is around 30 cm; this was sufficient to distinguish individual foresets inside the dune. After applying the elevation correction to the data, we identified that dips of bedding structures are smallest for the N-S profile, which is perpendicular to the dominant wind direction, largest for the E-W profile, and intermediate for the SW-NE and SE-NW profiles. Foresets in the E-W profile dip with angles varying from 2 to 6 degrees. In the E-W profile, the water table and a horizontal truncation interface separating two generations of dunes were identified, as well as an abrupt directional change in the foreset patterns associated to a lateral contact between two dune generations, the older one extending to the west. The used high frequency of 400 Mhz does not allow a penetration deep enough to map completely these internal contacts. The second test was done near Estreito, a small town near Carnaúbais city, also in Rio Grande do Norte state. In this locality, there are several old pipe lines buried in area covered by plantations where digging should be minimized. Several GPR profiles using the 400 and 200 MHz frequency were performed trying to intercept perpendicularly the possible pipe lines. Because of the high conductivity of the soil, the raw original data can hardly be use to identify the pipe lines. However, after an adequate processing over the 200 MHz profiles, six pipe lines were identified. As a global result of the tests, GPR can be very usefull if the conductivity of the ground is low or, in the case of medium conductivities of the soils, if adequate processing is performed

Parâmetros bioquímicos e níveis de IgE total e específicas para aeroalérgenos em mulheres obesas com síndrome dos ovários policísticos

Introduction: Polycystic ovary syndrome (PCOS) whose classic features (menstrual irregularity of oligo/ amenorrhea type, chronic anovulation, infertility and hyperandrogenism clinical and/ or biochemical), is associated with aspects of metabolic syndrome (MS), as obesity and insulin resistance. The level of obesity determines different levels of inflammation, increasing cytokines participants of metabolic and endocrine functions, beyond modulate the immune response. Metabolic changes, added to the imbalance of sex hormones underlying irregular menstruation observed in (PCOS) can trigger allergic processes and elevation of total and specific IgE antibodies indicate that a sensitization process was started. Objective: To evaluate the influence of PCOS on biochemical parameters and levels of total and specific IgE to aeroallergens in obese women. Methods: After approval by the Committee of Ethics in Research, were recruited 80 volunteers with BMI ≥ 30 kg/m2 and age between 18 and 45 years. Among these, 40 with PCOS according to the Rotterdam criteria and 40 women without PCOS (control group). All participants were analysed with regard to anthropometric, clinical, gynecological parameters, interviewed using a questionnaire, and underwent blood sampling for realization of laboratory tests of clinical biochemistry: Total cholesterol, LDL-cholesterol, HDL- cholesterol, Triglycerides, Fasting glucose, Urea, Creatinine, Aspartate aminotransferase (AST), Alanine aminotransferase (ALT) and immunological: total and specific IgE to Dermatophagoides pteronyssinus, Blomia tropicalis, Dermatophagoides farinae and Dermatophagoides microceras.Statistical analysis was performed using SPSS 15.0 software through the chi-square tests, Fisher, Student t test and binary logistic regression, with significance level (p <0.05). Results: It was observed in the group of obese women with PCOS that 29 (72.5%) had menstrual cycle variable and 27 (67.5%) had difficulty getting pregnant. According to waist-hip ratio, higher average was also observed in obese PCOS (0.87). Blood level of HDL (36.9 mg/dL) and ALT (29.3 U/L) were above normal levels in obese women with PCOS, with statistically significant relationship. In the analysis of total and specific IgE to D. pteronyssinus high results were also prevalent in obese PCOS, with blood level (365,22 IU/mL) and (6.83 kU/L), respectively, also statistically significant. Conclusions: Observed predominance of cases with high levels of total IgE in the group of obese women with PCOS, 28 (70%) of the participants, whose mean blood concentration of the group was 365.22 IU/mL. In the analysis of Specific IgE between the groups, the allergen Dermatophagoides pteronyssinus showed greater dispersion and average the results of sensitization in the group of obese PCOS, whose mean blood concentration was 6.83 kU/l. Keywords: Obesity, Allergens and Polycystic Ovary Syndrome

Expressão heteróloga de biossurfactantes identificados em bibliotecas metagenômicas

The microorganisms have a vast genetic diversity and they are present throughout the biosphere, however, only about 1% of the species can be cultivated by traditional cultivation techniques. Within this diversity there is a huge pool genetic and biological being explored. The metagenomics has enabled direct access to microbial genome derived from environmental samples using independent methods of cultivation. The methodology enables to obtain functional information about the proteins, as well as identify potential products with biotechnological interest and new industrially exploitable biological resources, such as new solutions to environmental impacts. Oil-contaminated areas are characterized by a large accumulation of hydrocarbons and surfactants may be used for bioremediation. Thus, the metagenomic approach was used in this study in order to select genes involved in the degradation and hydrocarbon emulsification. In a previous work, the environmental DNA (eDNA) was extracted from soil samples collected from two different areas (Caatinga and Saline River) of Rio Grande do Norte (Brazil), the metagenomic libraries were constructed and functionally analyzed. The clone able to degrade the oil was evaluated for the ability to synthesize biosurfactants. The sequence analysis revealed an ORF with 897 bp, 298 amino acids and a protein with around 34 kDa. The search for homology in GenBank revealed sequence similarity with a hypothetical protein of representatives Halobacteriaceae family, who were recently shown as strains producing biosurfactants. The presence of the inserted coding sequence and the acquired phenotype was confirmed. Primers were designed and the ORF amplified by PCR. The ORF was subcloned into pETDuet-1 expression vector for subsequent purification of the protein of interest containing a histidine tail. The tests performed to confirm the biosurfactant activity and the ability of hydrocarbon degradation showed positive results. The immunodetection test (western blot) using the monoclonal AntiHis® confirmed the presence of the environmental protein. This study was the first to report a possible protein with biosurfactant activity obtained from a metagenomic approach