Distribuição diária das atividades comportamentais dos camarões marinhos Farfantepenaeus subtilis (Pérez Farfante, 1967) e Litopenaeus schmitti (Burkenroad, 1938) em condições laboratoriais

Marine aquaculture has developed in the last decades all over the world, especially related to shrimp management. In Brazil, the introduction of the species Litopenaeus vannamei has contributed to the success of the activity, even if there are problems associated with the management of a exotic species, such as new diseases and ecological pressure on native species. It has been emphasized the need of research for developing new methodology that will allow native species management, being the most important Farfantepenaeus subtilis and Litopenaeus schmitti. Most knowledge obtained from research with those species has generally used a technical approach and mainly focused feeding process. There are no specific behavioral data on their activity pattern which should be of great importance for the use of native species on commercial culture farms. So, it was our objective to study and compare the daily distribution of behavioral activities of the marine shrimp species Litopenaeus schmitti and Farfantepenaeus subtilis. Forty animals of each species, 5 individuals per aquarium, were maintained in aquaria containing 200L of sea water under continuous aeration and filtration. They were marked individually and were observed by the instantaneous focal time sampling, along 10 continuous days, in 6 daily 15 min observation windows, every two hour. In each window, behaviors and location position of the animals in the aquarium were registered at 1 min intervals. Food was offered 3 times a day, representing 10% of each aquarium biomass. Aquaria were maintained in artificial photoperiod, 12hour light/l2 hour dark, 4 aquaria in light cycle equivalent to the environmental one (light from 06:00 to 17:59 h and dark from 18:00 to 05:59 h) and the other 4 in the reverse light cycle (light from 18:00 to 05:59 h and dark from 06:00 to 17:59 h) to allow sequential behavioral observation in both phases of the 24 hour cycle. There was a clear distinction between the distribution of behavioral activities of F. subtilis and L. schmitti in the two phases. The activity pattern of Farfantepenaeus subtilis demonstrates that species has prominently night habits and a burying pattern during the light cycle. Exploration, inactivity and swimming were the most common activities. The behavioral pattern of Litopenaeus schmitti indicates that species is active along both phases of the light cycle, and the most evident behaviors were exploration, inactivity and swimming

Comportamento alimentar do camarão marinho farfantenaeus subtilis em condições laboratoriais

Shrimp culture represents an important activity to brazilian economy. The northeastern region has presented high levels of production because of its climatic conditions. An important factor for the activity´s major development is related to the introduction of the species Litopenaeus vannamei. The use of an exotic species can disturb the ecosystem. In the last decades, L. vannamei has been the only species cultivated in Brazilian farms, there not being an alternative species for shrimp culture. So, there is an urgent need to developing new studies with the native species, which might represent an alternative concerning shrimp production, with emphasis on Farfantepenaeus subtilis. Another important aspect related to the activity is feeding management, once it is quite usual that feed offer on the pond does not take into account either the species´ physiology and behavior or the influence of environmental variables, such as light cycle and substrate. That knowledge may optimize management and so reduce the impact of effluents in the environment. This study´s objective was characterizing feeding behavior of F. subtilis in laboratory. For that, an ethogram was developed, using 20 wild animals which were observed through ad libitum and all occurrences methods. Two experiments were developed in order to register feeding behavior on different substrates, along 15 days, each. In the first experiment, 40 animals were distributed in eight aquaria, half being observed during the light phase of the 24 hour cycle and the other half in the dark phase, both in halimeda substrate. In the second experiment, 20 animals were distributed in four aquaria, under similar conditions as the previous ones, but in sand substrate. In both experiments, animals were observed respectively one, four, seven and ten hours after the beginning of the phase, for light phase, for the dark phase, in ten minute observation windows, before and immediately after feed offer. The following behaviors were registered: feed ingestion, ingestion of other items, inactivity, exploration, vertical exploration, swimming, crawling, digging, burrowing, and moving by the animals. Observation windows after feed offer also included latency to reach the tray and to ingest feed. Nineteen behaviors were described for the species. F. subtilis presented more behavioral activities in halimeda substrate even in the light phase, while burrowing was predominant in sand substrate. In both substrates, moving, crawling and exploration were more frequent after feed offer, but inactivity and burrowing were more frequent before that. Feed ingestion was more frequent in halimeda, both in light and dark phases. Weight gain was also more prominent in that substrate. In sand substrtate, ingestion was more frequent in the dark phase, which suggests that higher granulometry facilitates feed ingestion in F. subtilis juveniles. Our results demonstrate the importance of studies for the better knowledge of the species, specially its response to environmental stimuli, in order to improve animal management

Efeito da coesão semântica sobre a discriminação de itens emocionais em testes de memória de reconhecimento de palavras

Highly emotional itens are best remembered in emotional memory tasks than neutral items. An example of emotional item that benefits declarative memory processes are the taboo words. These words undergo from a conventional prohibition, imposed by tradition or custom. Literature suggests that the strongest recollection these words is due to emotional arousal, as well as, the fact that they form a cohesive semantic group, which is a positive additive effect. However, studies with semantic lists show that cohesion can have a negative effect of interference, impairing memory. We analyzed, in two experiments, the effect of arousal and semantic cohesion of taboo words on recognition tests, comparing with into two other word categories: semantically related and without emotional arousal (semantic category) and neutral, with low semantic relation (objects). Our results indicate that cohesion has interfered whith the performance of the test by increasing the number of false alarms. This effect was strongly observed in the semantic category of words in both experiments, but also in the neutral and taboo words, when both were explicitly considered as semantic categories through the instruction of the test in Experiment 2. Despite the impairment induced by semantic cohesion in both experiments, the taboo words were more discriminated than others, and this result agrees with the indication of the emotional arousal as the main factor for the best recollection of emotional items in memory tests

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

Testes de escuta dicótica em escolares com distúrbio de aprendizagem

O transtorno do processamento auditivo é uma entidade clínica que pode estar associado a diversos distúrbios da comunicação humana, entre estes o distúrbio de aprendizagem. OBJETIVO: Caracterizar e comparar o desempenho de escolares com e sem distúrbio de aprendizagem nos testes de Fala com Ruído e Escuta Dicótica de Dígitos e Verbal. MATERIAL E MÉTODO: Participaram 40 escolares, de ambos os gêneros, com faixa etária de 8 a 12 anos, divididos em dois grupos: GI: composto por 20 escolares com diagnóstico de distúrbio de Aprendizagem e GII: composto por 20 escolares com bom desempenho escolar, pareados segundo gênero, faixa etária e escolaridade com GI. Foram realizadas avaliações audiológicas básicas e Testes de Dicótico de Dígitos, Dissílabos Alternados (SSW) e Fala com Ruído. FORMA DE ESTUDO: Estudo transversal com corte histórica. RESULTADOS: Os escolares de GI apresentaram desempenho inferior ao dos escolares de GII, nos testes Dicótico de Dígitos e Dissílabos Alternados e desempenho sem diferença estatisticamente significante no Teste de fala com Ruído. CONCLUSÃO: Os achados sugerem que o grupo de escolares com distúrbio de aprendizagem apresenta desempenho inferior em relação ao grupo sem dificuldades, refletindo dificuldades no processamento das informações auditivas.

Desempenho de escolares com distúrbio de aprendizagem e dislexia em testes de processamento auditivo

OBJETIVO: caracterizar e comparar, por meio de testes comportamentais, o processamento auditivo de escolares com diagnóstico interdisciplinar de (I) distúrbio da aprendizagem, (II) dislexia e (III) escolares com bom desempenho acadêmico. MÉTODOS: participaram deste estudo 30 escolares na faixa etária de 8 a 16 anos de idade, de ambos os gêneros, de 2ª a 4ª séries do ensino fundamental, divididos em três grupos: GI composto por 10 escolares com diagnóstico interdisciplinar de distúrbio de aprendizagem, GII: composto por 10 escolares com diagnóstico interdisciplinar de dislexia e GIII composto por 10 escolares sem dificuldades de aprendizagem, pareados segundo gênero e faixa etária com os grupos GI e GII. Foram realizadas avaliação audiológica e de processamento auditivo. RESULTADOS: os escolares de GIII apresentaram desempenho superior nos testes de processamento auditivo em relação aos escolares de GI e GII. GI apresentou desempenho inferior nas habilidades auditivas avaliadas para testes dicóticos de dígitos e dissílabos alternados, logoaudiometria pediátrica, localização sonora, memória verbal e não-verbal, ao passo que GII apresentou as mesmas alterações de GI, com exceção do teste de logoaudiometria pediátrica. CONCLUSÃO: os escolares com transtornos de aprendizagem apresentaram desempenho inferior nos testes de processamento auditivo, sendo que os escolares com distúrbio de aprendizagem apresentaram maior número de habilidades auditivas alteradas, em comparação com os escolares com dislexia, por terem apresentado atenção sustentada reduzida. O grupo de escolares com dislexia apresentou alterações decorrentes da dificuldade relacionada à codificação e decodificação de estímulos sonoros.

Aplicação dos testes de padrão temporal em crianças com gagueira desenvolvimental persistente

OBJETIVO: caracterizar e comparar o desempenho das crianças com diagnóstico de gagueira nos testes de padrão temporal, com crianças sem queixas e/ou sinais de transtornos psiquiátricos ou neurológicos, dificuldades de fala, audição, linguagem e/ou aprendizagem. MÉTODO: participaram 30 crianças entre 9 e 12 anos de idade, de ambos os gêneros, divididas em dois grupos: GI - 15 crianças com gagueira desenvolvimental persistente; GII - 15 crianças sem queixas e/ou sinais de transtornos psiquiátricos ou neurológicos, dificuldades de fala, audição, linguagem e/ou aprendizagem. Para avaliação do processamento auditivo temporal, foi aplicado os Testes Tonais de Padrão de Frequência (PPS-Pitch Pattern Sequence Test) e Testes Tonais de Padrão de Duração (DPS - Duration Pattern Sequence Test). RESULTADOS: o grupo II apresentou desempenho superior no teste de padrão de frequência e de padrão de duração quando comparado ao grupo I. Os resultados indicaram que houve diferença estatisticamente significante entre os grupos estudados. CONCLUSÃO: os participantes do grupo I apresentaram desempenho alterado nos testes de padrão temporal, o que indica que existe relação entre a gagueira e o transtorno do processamento auditivo.

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

Aspectos clínicos e laboratoriais em ovinos submetidos a dietas com níveis elevados de enxofre com objetivo de indução de polioencefalomalácia

A polioencefalomalacia (PEM) é uma doença neurológica que acomete ruminantes e pode ser desencadeada por diversos fatores, dentre eles o consumo excessivo de enxofre. Este trabalho teve como objetivo verificar a relação entre dietas ricas em enxofre, altos níveis de gás sulfídrico ruminal e a ocorrência de polioencefalomalácia em ovinos. Foram utilizados 18 ovinos, divididos em três grupos (G1, G2 e G3) que receberam diferentes níveis de enxofre na dieta; 0,2%, 0,9% e 1,2%, respectivamente. Exames físicos (frequência cardíaca, frequência respiratória, temperatura retal e motricidade ruminal) e complementares (concentração de sulfeto de hidrogênio ruminal, hemogasometria venosa, pH do fluído ruminal, concentração de cobre sérico e hepático, tomografia computadorizada, necropsia e histopatologia) foram realizados. A temperatura retal, a hemogasometria venosa e o pH do fluido ruminal permaneceram dentro dos valores de referência para a espécie. A motricidade ruminal estava diminuída nos grupos G2 e G3 em comparação com o G1 (controle). Quanto maior a ingestão de enxofre, menores foram os níveis de cobre sérico e hepático. Valores elevados de sulfeto de hidrogênio ruminal foram detectados nos grupos G2 e G3. Nenhum animal apresentou sinais clínicos de PEM. Nos exames de tomografia computadorizada, necropsia e exame histopatológico do sistema nervoso central (SNC), não foram observadas alterações compatíveis com PEM. É provável que algum outro fator esteja associado ao excesso de enxofre na dieta para o desenvolvimento de PEM em ovinos.

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