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

Avaliando a robustez e manutenibilidade do comportamento excepcional de aplicações C#

Mainstream programming languages provide built-in exception handling mechanisms to support robust and maintainable implementation of exception handling in software systems. Most of these modern languages, such as C#, Ruby, Python and many others, are often claimed to have more appropriated exception handling mechanisms. They reduce programming constraints on exception handling to favor agile changes in the source code. These languages provide what we call maintenance-driven exception handling mechanisms. It is expected that the adoption of these mechanisms improve software maintainability without hindering software robustness. However, there is still little empirical knowledge about the impact that adopting these mechanisms have on software robustness. This work addresses this gap by conducting an empirical study aimed at understanding the relationship between changes in C# programs and their robustness. In particular, we evaluated how changes in the normal and exceptional code were related to exception handling faults. We applied a change impact analysis and a control flow analysis in 100 versions of 16 C# programs. The results showed that: (i) most of the problems hindering software robustness in those programs are caused by changes in the normal code, (ii) many potential faults were introduced even when improving exception handling in C# code, and (iii) faults are often facilitated by the maintenance-driven flexibility of the exception handling mechanism. Moreover, we present a series of change scenarios that decrease the program robustness

Tratamento de exceções, multithreads e arquivos

O professor apresenta tratamento de exceções, multithreads e arquivos na linguagem Java. Ilustrando como utilizar, além de mostrar a estrutura de cada um deles em Java.

Avaliação da influência da temperatura e do tratamento enzimático no comportamento reológico do suco de abacaxi pérola (Ananas Comosus L. merr.)

O objetivo deste trabalho foi determinar o comportamento reológico do suco de abacaxi- pérola natural e tratado com enzimas pectinolíticas. As condições de tratamento enzimático foram otimizadas através de um planejamento experimental do tipo fatorial completo 2^k, com três repetições do ponto central. Na avaliação do comportamento reológico foram utilizadas duas amostras submetidas a peneiramento (N e D), analisadas em quatro diferentes temperaturas (10; 25; 50 e 65 °C). As análises reológicas foram realizadas utilizando um viscosímetro de cilindros concêntricos Brookfield e os dados experimentais foram ajustados ao modelo de Mizrahi-Berk. A relação entre temperatura e viscosidade aparente foi descrita por uma equação tipo Arrhenius. A otimização da atividade enzimática indicou, através da análise de variância e da metodologia de superfície de resposta, que as variáveis temperatura e tempo de tratamento exerceram efeito estatisticamente significativo (p<0,05) sobre a concentração de pectina presente na amostra. O modelo utilizado mostrou-se adequado para descrever o comportamento reológico dos sucos de acordo com os parâmetros R², χ² e B_f. Os baixos valores obtidos para o índice de comportamento indicaram um comportamento pseudoplástico (n<1). A temperatura exerceu influência sobre a tensão de cisalhamento e a viscosidade aparente dos sucos analisados, sendo os menores valores observados nas amostras analisadas a 65 °C. A equação tipo Arrhenius descreveu de modo satisfatório o efeito da temperatura sobre a viscosidade aparente. Os valores da energia de ativação (E_at) foram de 4,54 Kcal.g.mol^-1 e 4,89 Kcal.g.mol^-1, respectivamente, para as amostras do suco de abacaxi natural e despectinizado, aumentando com o tratamento enzimático. A atividade enzimática proporcionou uma redução nos valores dos parâmetros de comportamento reológico das amostras, bem como na viscosidade aparente, em todas as temperaturas utilizadas, sendo o maior percentual de redução observado a 65 °C (41,66%).

Uma abordagem para avaliação e tratamento de exceções propagadas no uso de serviços Web em .Net

High dependability, availability and fault-tolerance are open problems in Service-Oriented Architecture (SOA). The possibility of generating software applications by integrating services from heterogeneous domains, in a reliable way, makes worthwhile to face the challenges inherent to this paradigm. In order to ensure quality in service compositions, some research efforts propose the adoption of verification techniques to identify and correct errors. In this context, exception handling is a powerful mechanism to increase SOA quality. Several research works are concerned with mechanisms for exception propagation on web services, implemented in many languages and frameworks. However, to the extent of our knowledge, no works found evaluates these mechanisms in SOA with regard to the .NET framework. The main contribution of this paper is to evaluate and to propose exception propagation mechanisms in SOA to applications developed within the .NET framework. In this direction, this work: (i)extends a previous study, showing the need to propose a solution to the exception propagation in SOA to applications developed in .NET, and (ii) show a solution, based in model obtained from the results found in (i) and that will be applied in real cases through of faults injections and AOP techniques.

Efeitos da automonitoração sobre o comportamento de adesão a dois tipos de regras nutricionais em adultos com diabetes tipo 2

O diabetes mellitus é uma doença crônica de etiologia múltipla, cujo tratamento inclui mudanças no estilo de vida, onde a adoção de hábitos alimentares saudáveis é de suma importância para o controle da doença. No entanto, a adesão ao plano alimentar é um dos aspectos de maior desafio para o tratamento desta patologia. Esta pesquisa teve como objetivo comparar a eficácia do uso de procedimentos de automonitoração sobre o comportamento de adesão a dois tipos de regras nutricionais (Plano Alimentar – PA e Contagem Total de Carboidratos - CTC) em adultos com diabetes Tipo 2. Participaram quatro adultos inscritos no Programa HiperDia de uma Unidade Municipal de Saúde, na cidade de Belém, apresentando dificuldades de adesão à dieta. A coleta de dados aconteceu no laboratório de Patologia da Nutrição e em ambiente domiciliar dos participantes. O procedimento constou de: (1) Composição da amostra e entrevista para confirmação dos critérios de inclusão; (2) Caracterização da linha de base (LB) do comportamento alimentar; (3) Intervenção: Treino de Automonitoração (AM) com PA para dois participantes da Condição A (CTa) e com CTC para dois participantes da Condição B (CTb); (4) Reversão das condições de Treino; (5) Follow-up e (6) Entrevista Final. O Treino em AM incluiu a verificação da correspondência entre o registro do comportamento alimentar e as regras nutricionais; a análise dos custos e benefícios da emissão dos comportamentos de seguimento das regras estabelecidas; análises funcionais da emissão ou não do comportamento de seguir as regras e o planejamento das ações de adesão. O participante foi solicitado a registrar todas as refeições realizadas em intervalos de dois em dois dias a cada visita domiciliar da pesquisadora. Calculou-se o Índice de Adesão à Dieta (IAD) por dia de registro. Nos resultados, observou-se que, na linha de base os IADs de todos os participantes estavam abaixo de 50%. No entanto, após o Treino em AM, a média dos IADs obtidos pelos participantes quando submetidos ao PA foi igual a 62,49%, enquanto a obtida em CTC foi de 75,50%. Os valores absolutos dos IADs encontrados nos participantes da CTa foram maiores do que os IADs dos participantes da CTb. Todos os participantes, independente da condição, apresentaram aumento nos IADs ao serem comparados com a LB, com declínio após a suspensão da AM. Ao término da AM, dois participantes escolheram PA e dois a CTC para seguir o tratamento; entretanto, observou-se que todos mantiveram o seguimento do PA no follow-up. Inferiu-se que a CTC parece ser mais eficaz em instalar comportamentos alimentares adequados e o PA parece obter bons resultados na manutenção dos comportamentos instalados. Todos os participantes se encontravam com excesso de peso na LB, dois participantes reduziram o peso após a intervenção, mas todos mantiveram o diagnóstico nutricional da LB. Quanto à hemoglobina glicada, todos os participantes apresentavam valores acima de 6% durante a LB e, após a intervenção, três participantes reduziram esse valor. Discute-se a importância de nutricionistas auxiliarem o paciente a ficar sob o controle das mudanças observadas em seu repertório por meio da análise de contingências, prescrevendo um tratamento individualizado e para além do foco na doença.

Integração de sistemas de informação através de web services

Sistemas de informação incorporam processos de negócios particulares de cada organização. A medida em que se observa uma crescente pressão de mercado para que empresas troquem informações de forma automatizada e segura para obtenção de melhores resultados, faz-se necessário repensar a forma como são concebidos os sistemas de informação, desde a modelagem da empresa propriamente dita até a modelagem dos processos de negócio e sua interação com os demais colaboradores. Modelar os processos de negócio de uma empresa em um contexto global significa não apenas estabelecer regras de comportamento, mas também expressar a forma como os processos poderão ser acionados e interagir com sistemas de informação diferentes. Existem várias tecnologias empregadas para a integração de sistemas de informação. Entre tantas tecnologias, uma delas vêm recebendo especial atenção: a tecnologia Web services. A suposta interoperabilidade dos Web services permite a comunicação de aplicações desenvolvidas em diferentes plataformas de hardware e diferentes linguagens de programação através da Internet ou de uma rede local. No entanto, algumas particularidades devem ser observadas para que a implementação de Web services seja eficiente. Disponibilizar processos de negócio de uma empresa através da Internet pode ser uma ótima opção para o incremento de suas atividades, mas requer cuidados especiais. Este trabalho apresenta uma revisão bibliográfica sobre a modelagem de empresas, modelagem de processos de negócio e a integração de sistemas de informação através do uso de Web services. Através de um estudo de caso, são apresentados os principais conceitos e as etapas necessárias para a implementação de Web services em um sistema Web. Como contribuição deste trabalho, é proposta uma alternativa de modelagem de sistemas que permite um melhor controle sobre o tratamento de exceções em Web services. O trabalho desenvolvido compreendeu a especificação, desenvolvimento e aplicação de um ambiente para suportar esta classe de aplicação. No texto é descrito o funcionamento da biblioteca NuSOAP, apresentando o código-fonte completo da aplicação desenvolvida, acessando Web services através de chamadas em alto nível (WSDL). Com o presente trabalho, tem-se uma proposta, já avaliada e validada, para funcionar como referencial conceitual e prático para o desenvolvimento de aplicações usando a tecnologia de Web services.

Estudo comportamental sobre os efeitos do tratamento crônico com imipramina em ratos manipulados no período neonatal

Eventos precoces, particularmente diferentes tipos de estresse, como hipóxiaisquemia, infecções, desnutrição/hipernutrição e negligência materna, podem trazer conseqüências para toda a vida. Tais conseqüências variam conforme a qualidade, a intensidade e a janela de tempo em que o agente agressor atuou, além da susceptibilidade do organismo que o recebeu. Os mecanismos pelos quais estes eventos levam a tais alterações ainda não estão totalmente esclarecidos, mas sabe-se que esta fase da vida constitui-se ao mesmo tempo de um período de hiporresponsividade ao estresse, assim como uma fase crítica para desenvolvimento de diversos órgãos e sistemas. Sabe-se que desafiando a homeostasia do organismo nesse momento, ocorre uma programação de diversos sistemas envolvidos na resposta ao estresse a um novo equilíbrio funcional, o que pode alterar a relação saúde-doença na vida adulta. Dentre os modelos para o estudo de intervenções precoces, temos a Manipulação Neonatal, que consiste numa separação breve da mãe, durante o período hiporresponsivo ao estresse. Nesse trabalho usou-se a separação por 10 min, nos primeiros 10 dias de vida. A partir desta intervenção animais tornam-se menos reativos ao estresse, apresentam comportamento menos ansioso frente a estressores e têm comportamento alimentar caracterizado por um aumento no consumo de alimento palatáveis, sem alteração no consumo de ração padrão. O controle da alimentação envolve basicamente dois componentes, um homeostático e outro hedônico. A preferência alimentar alterada dos animais manipulados no período neonatal indica possivelmente uma alteração da percepção hedônica do alimento. As vias dopaminérgicas mesolímbicas estão associadas a recompensas naturais ou biológicas como alimentação, sexo, drogadição. Sabe-se que animais manipulados no período neonatal apresentam redução de receptores D3 no núcleo acumbens. A Imipramina é um antidepressivo tricíclico que age principalmente por inibição da recaptação de serotonina e noradrenalina, e com ações indiretas sobre o sistema dopaminérgico e eixo Hipotálamo – Pituitária - Adrenal. Seu uso crônico reforça a capacidade do organismo de enfrentar o estresse e de sentir recompensas naturais como a da alimentação. O objetivo desse trabalho foi investigar se o tratamento crônico com Imipramina reverteria o comportamento alimentar alterado de animais manipulados no periodo neonatal. Adicionalmente investigou-se o efeito deste tratamento sobre outras alterações comportamentais como a menor inibição exploratória no Labirinto em Cruz Elevado e menor habituação no teste do Campo Aberto. No consumo basal de alimento doce, houve aumento de consumo de alimento doce apenas em machos manipulados, sendo que o tratamento com Imipramina diminui este efeito. Os animais machos manipulados não tiveram aumento de consumo em resposta ao estresse de contenção nem à exposição a um ambiente enriquecido, porém responderam à novidade. Novamente aqui o tratamento com Imipramina reverteu o comportamento, pois os animais tratados apresentaram maior reatividade aos estímulos, igualando seu modo de reagir ao dos animais não manipulados. As fêmeas não apresentaram diferenças no consumo de alimento doce no basal, porém o tratamento com Imipramina reduziu a intensidade da resposta aos diferentes estímulos, levando-as a um menor consumo. Nos testes comportamentais, de um modo geral, animais manipulados, tanto machos (no Labirinto em Cruz Elevado), quanto fêmeas (no Campo Aberto), mostraram sinais de menor ansiedade, sem efeito da Imipramina. Porém entre os não manipulados, a Imipramina teve efeito ansiolítico apenas em fêmeas. Tanto o tratamento medicamentoso, quanto a manipulação neonatal levaram a uma menor habituação ao Campo Aberto. Na Preferência Condicionamada de Lugar houve igual desempenho de todos os animais. O principal achado deste trabalho foi o fato dos animais manipulados não tratados com Imipramina terem apresentado uma reduzida variabilidade nas respostas decorrentes de mudanças ambientais, evidenciado tanto no comportamento alimentar persistentemente mantido no mesmo patamar (independentemente das intervenções), quanto na resistência a habituação ao Campo Aberto. A Imipramina foi eficaz em reverter apenas a alteração do comportamento alimentar de ratos machos manipulados no período neonatal, permitindo-lhes uma maior variabilidade de resposta, o que aproximou o seu comportamento ao dos animais não manipulados.

Caracterizando os fluxos excepcionais em linhas de produto de software: um estudo exploratório

The Exception Handling (EH) is a widely used mechanism for building robust systems. In Software Product Line (SPL) context it is not different. As EH mechanisms are embedded in most of mainstream programming languages (like Java, C# and C++), we can find exception signalers and handlers spread over code assets associated to common and variable SPL features. When exception signalers and handlers are added to an SPL in an unplanned way, one of the possible consequences is the generation of faulty family instances (i.e., instances on which common or variable features signal exceptions that are mistakenly caught inside the system). In this context, some questions arise: How exceptions flow between the optional and alternative features an LPS? Aiming at providing answers to these questions, this master thesis conducted an exploratory study, based on code inspection and static analysis code, whose goal was to categorize the main ways which exceptions flow in LPSs. To support the study, we developed an static analysis tool called PLEA (Product Line Exception Analyzer) that calculates the exceptional flows of LPSs, and categorize these flows according to the features associated with handlers and signalers. Preliminary results showed that some types of exceptional flows have more potential to yield failures in exceptional behavior of SLPs

Padronização da codificação programas em Borland Delphi: experiência no projeto SIGI.

Regras gerais para formatação de código fonte: idioma dos nomes; identação; margens; comentários. Linguagem Object Pascal. Tratamento de exceções estruturado. Classes: nomenclatura; atributos; propriedades. Arquivos: arquivos de projeto (project); Arquivos de formulários (Forms); Arquivos de units; Units de formulários; Units dos módulos de dados (data module); Units de propósito geral. Formulários (Forms) e Módulo de dados (Data Modules).

Estudo de biorremediação dos azo corantes têxteis Acid Blue 161 e Procion Red MX-5B por fungos filamentosos em solução simples e solução binária associado a testes de toxicidade com Lactuca sativa e Artemia salina

Pós-graduação em Ciências Biológicas (Microbiologia Aplicada) - IBRC

Influência de Colletotrichum dematium var. truncata, Phomopsis sojae e Diaporthe phaseolorum f. sp. meridionalis nos testes de vigor de sementes de soja

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

Testes de identidade generalizada com objetos em macaco-prego (Cebus apella)

Macacos-prego demonstram identidade generalizada (IG) quando os testes são precedidos de treino de discriminações simples com mudanças sucessivas (DSMS) da função dos estímulos usados nos testes. O presente estudo avaliou se esse efeito facilitador deve-se exclusivamente ao contato prévio com os estímulos. Submeteu-se um macaco-prego a quatro testes de IG com objetos: Teste 1 - diretamente com estímulos novos em uma tarefa de discriminação condicional por identidade; Teste 2 - com os mesmos estímulos do teste anterior após o treino de indução de controle condicional via DSMS; Teste 3 - com estímulos novos previamente manipulados livremente pelo sujeito; e Teste 4 - com os mesmos estímulos do Teste 3 após terem sido apresentados em treino de DSMS. O desempenho do sujeito atingiu o critério de aprendizagem nos testes 2 e 4. O treino de indução de controle condicional via DSMS com os estímulos de teste foi mais efetivo para produzir IG do que a livre manipulação.

Influência da variação sazonal, sobre os atributos químicos e biológicos do solo nos sítios do LBA e PPBIO em Caxiuanã/PA, Amazônia Oriental

Diversos fatores ambientais, como pH, temperatura e umidade do solo influenciam a densidade e a atividade dos microorganismos. É possível que o equilíbrio da biosfera esteja sendo modificado pelas mudanças globais de origem natural e/ou antrôpica e influenciando os fatores ambientais que determinam o comportamento da microbiota edáfica. Afim de verificar a influencia dessas alterações, foi desenvolvido o presente estudo na área do experimento ESECAFLOR, que simula a ocorrência de fenômenos extremos, como o evento El Niño e na área do Programa PPBio (área de Floresta Primária), que visa estudar a Biodiversidade da Amazônia, sendo está última usada para fins comparativos (Testemunha). As amostras de solo para as análises químicas, física e biológicas foram coletadas nas profundidades: 00 – 05, 05 -10, 10 – 20 e 20 – 30 cm, nos períodos sazonais Chuvoso, Transição e Menos Chuvoso. Também foi determinado a Temperatura do solo nas mesmas profundidades. Os métodos utilizados foram os descritos por Embrapa (1997), Clark (1965), Gerhardt (1994), Yang et al. (1998) e Keeney (1982). O tratamento dos dados e os testes estatísticos (ANOVA: dois critério, Teste de Tukey e Correlação Linear Simples) foram realizados por meio do programa estatísticos Bioestat 5.0. Os maiores teores de macro e micro nutrientes foram encontrados na área de floresta primária natural (PPBio). Os maiores valores de Unidades Formadoras de Colônias (196 x 10⁴ UFC/g de solo e 124 x 10² UFC/g de solo) para a população de Bactérias e Fungos, respectivamente, foram identificados também na área do PPBio e nos períodos chuvoso e intermediário, respectivamente. Foi identificado diferença significativa entre os dados obtidos para ambas as áreas e também houve diferença significativa dos dados de cada área em relação aos períodos sazonais e as profundidades estudados. A área que sofreu alteração antrópica (ESECAFLOR) apresentou os menores teores para os macro e micronutrientes, evidenciando a influência do processo de exclusão das águas pluviais na disponibilidade desses elementos no solo.

Comportamento mecânico e biológico de implante dentário com interface cônica interna

The general aim of this study was to evaluate the conical interface of pilar/implant. The specific aims were to evaluate the influence of hexagonal internal index in the microleakage and mechanical strength of Morse taper implants; the effect of axial loading on the deformation in cervical region of Morse taper implants of different diameters through strain gauge; the effect of axial loading in cervical deformation and sliding of abutment into the implant by tridimensional measurements; the integrity of conical interface before and after dynamic loading by microscopy and microleakage; and the stress distribution in tridimensional finite element models of Morse taper implants assembled with 2 pieces abutment. According to the obtained results, could be concluded that the diameter had influence in the cervical deformation of Morse taper implants; the presence of internal hexagonal index in the end of internal cone of implant didn´t influenced the bacterial microleakage under static loading neither reduced the mechanical strength of implants; one million cycles of vertical and off-center load had no negative influence in Morse taper implant integrity.