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 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

Comparação entre pericárdio bovino preservado em glicerina e malha de poliéster no reparo de falhas da parede abdominal em ratos

OBJETIVO: Comparar uma malha comercial de poliéster com o pericárdio bovino preservado em glicerina na reconstituição de defeitos da parede abdominal. MÉTODOS: Foram utilizados 30 ratos, divididos em dois grupos eqüitativos. Efetuou-se uma excisão retangular de 2,5 x 2 cm, incluindo toda a musculatura abdominal e peritônio. No grupo I a parede abdominal foi reparada com malha de poliéster e no grupo II com pericárdio bovino conservado em glicerina. Os animais foram sacrificados aos 15, 60 e 90 dias de pós-operatório, sendo o local cirúrgico avaliado macroscópica e histologicamente. RESULTADOS: Os animais do grupo I apresentaram aderências mais severas e em maior número quando comparados aos do grupo II; porém, sem comprometimento funcional. A análise histológica revelou incorporação dos tecidos aos implantes, com maior resposta fibroblástica nos animais do grupo I. CONCLUSÃO: A malha de poliéster oferece maior resistência estrutural e resposta fibroblástica mais intensa; contudo, promove grande quantidade de aderências às vísceras abdominais, quando comparada ao pericárdio bovino.

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

Avaliação da contribuição de desenvolvedores para projetos de software usando mineração de repositórios de software e mineração de processos

Software Repository Mining (MSR) is a research area that analyses software repositories in order to derive relevant information for the research and practice of software engineering. The main goal of repository mining is to extract static information from repositories (e.g. code repository or change requisition system) into valuable information providing a way to support the decision making of software projects. On the other hand, another research area called Process Mining (PM) aims to find the characteristics of the underlying process of business organizations, supporting the process improvement and documentation. Recent works have been doing several analyses through MSR and PM techniques: (i) to investigate the evolution of software projects; (ii) to understand the real underlying process of a project; and (iii) create defect prediction models. However, few research works have been focusing on analyzing the contributions of software developers by means of MSR and PM techniques. In this context, this dissertation proposes the development of two empirical studies of assessment of the contribution of software developers to an open-source and a commercial project using those techniques. The contributions of developers are assessed through three different perspectives: (i) buggy commits; (ii) the size of commits; and (iii) the most important bugs. For the opensource project 12.827 commits and 8.410 bugs have been analyzed while 4.663 commits and 1.898 bugs have been analyzed for the commercial project. Our results indicate that, for the open source project, the developers classified as core developers have contributed with more buggy commits (although they have contributed with the majority of commits), more code to the project (commit size) and more important bugs solved while the results could not indicate differences with statistical significance between developer groups for the commercial project

Hipotireoidismo congênito: recomendações do Departamento de Tireoide da Sociedade Brasileira de Endocrinologia e Metabologia

O hipotireoidismo congênito (HC) é o distúrbio endócrino congênito mais frequente, com incidência variando de 1:2.000 a 1:4.000 crianças nascidas vivas e uma das principais causas de retardo mental que pode ser prevenida. Os Programas de Triagem Neonatal para a doença permitem a identificação precoce dos afetados e seu tratamento de modo a evitar as complicações da falta do hormônio. A maioria dos casos de hipotireoidismo congênito é decorrente de disgenesias tireoidianas (85%), entre elas a ectopia, hipoplasia ou agenesia tireoidianas, e os demais resultam de defeitos de síntese hormonal. As crianças afetadas (> 95%) geralmente não apresentam sintomas sugestivos da doença ao nascimento. Os sintomas e sinais mais comuns são: icterícia neonatal prolongada, choro rouco, letargia, movimentos lentos, constipação, macroglossia, hérnia umbilical, fontanelas amplas, hipotonia e pele seca. Várias estratégias são utilizadas para a triagem do HC. No Brasil, esta é obrigatória por lei e geralmente é feita com a dosagem de TSH em sangue seco coletado do calcanhar. A idade recomendada para sua realização é após as 48 horas de vida até o quarto dia. A confirmação diagnóstica é obrigatória com as dosagens de TSH e T4 livre ou T4 total.

Nucleação de vortices e paredes de domínio em nanoestruturas magnéticas

We report a theoretical investigation of the magnetic phases and hysteresis of exchange biased ferromagnetic (F) nanoelements for three di erent systems: exchange biased nanoparticles, exchange biased narrow ferromagnetic stripes and exchange biased thin ferromagnetic lms. In all cases the focus is on the new e ects produced by suitable patterns of the exchange energy coupling the ferromagnetic nanoelement with a large anisotropy antiferromagnetic (AF) substrate. We investigate the hysteresis of iron and permalloy nanoparticles with a square basis, with lateral dimensions between 45 nm and 120 nm and thickness between 12 nm and 21 nm. Interface bias is aimed at producing large domains in thin lms. Our results show that, contrary to intuition, the interface exchange coupling may generate vortex states along the hysteresis loop. Also, the threshold value of the interface eld strength for vortex nucleation is smaller for iron nanoelements. We investigate the nucleation and depinning of an array of domain walls pinned at interface defects of a vicinal stripe/AF bilayer. The interface exchange eld displays a periodic pattern corresponding to the topology of the AF vicinal substrate. The vicinal AF substrate consists of a sequence of terraces, each with spins from one AF subalattice, alternating one another. As a result the interface eld of neighboring terraces point in opposite direction, leading to the nucleation of a sequence of domain walls in the ferromagnetic stripe. We investigated iron an permalloy micrometric stripes, with width ranging from 100 nm and 300 nm and thickness of 5 nm. We focused in domain wall sequences with same chirality and alternate chirality. We have found that for 100nm terraces the same chiraility sequence is more stable, requiring a larger value of the external eld for depinning. The third system consists of an iron lm with a thickness of 5 nm, exchange coupled to an AF substrate with a periodic distribution of islands where the AF spins have the opposite direction of the spins in the background. This corresponds to a two-sublattice noncompensated AF plane (such as the surface of a (100) FeF2 lm), with monolayer-height islands containing spins of one sublattice on a surface containing spins of the opposite sublattice. The interface eld acting in the ferromagnetic spins over the islands points in the opposite direction of that in the spins over the background. This a model system for the investigation of interface roughness e ects. We have studied the coercicivity an exchange bias hysteresis shift as a function of the distance between the islands and the degree of interface roughness. We have found a relevant reduction of coercivity for nearly compensated interfaces. Also the e ective hysteresis shift is not proportional to the liquid moment of the AF plane. We also developed an analytical model which reproduces qualitatively the results of numerical simulations

Você conhece esta síndrome?

A síndrome de Rothmund-Thomson é distúrbio autossômico recessivo de expressividade variável associado a mutações do gene RecQL4. Caracteriza-se por poiquilodermia, alopecia, defeitos de crescimento e desenvolvimento, catarata juvenil, alterações dentárias e esqueléticas e predisposição ao câncer cutâneo e ao osteossarcoma. Relata-se caso de paciente de 29 anos de idade com lesões cutâneas desde a infância, catarata bilateral antes dos 20 anos e carcinoma espinocelular aos 26 anos de idade.

Tratamento da úlcera corneana experimental com membrana amniótica

Objetivo: Avaliar a evolução da úlcera de córnea experimental tratada com enxerto de membrana amniótica (MA) homóloga. Métodos: Foram utilizados 18 coelhos, divididos em dois grupos experimentais: úlcera corneana (G1) e úlcera corneana tratada com enxerto de MA (G2). A ulceração corneana foi induzida na córnea toda, com álcool absoluto e lâmina de bisturi. Os animais foram sacrificados em três momentos experimentais: 7 dias (M1), 15 dias (M2) e 30 dias (M3) após a indução da ulceração. Os defeitos corneanos foram avaliados com fotodocumentação por analisador de imagem Luzex-F e exames histopatológicos, comparando-se os resultados por meio da análise de variância. Resultados: O resultado do exame morfométrico mostrou desepitelização maior em G2 no M1; a opacidade corneana foi mais intensa na área central da córnea, sendo significativamente maior em G1 no M3. Os neovasos corneanos também foram mais intensos em G1. A avaliação histopatológica revelou ulceração epitelial em dois animais de G1 no M2 e em dois de G2 no M1; o edema estromal foi mais intenso em G1, assim como a presença de neovasos. Conclusão: O uso de MA homóloga no tratamento da úlcera corneana experimental não acelerou a cicatrização, porém preveniu o edema estromal e a formação de neovascularização corneana. A cicatrização se mostrou mais deficiente na área central da córnea.

Ação neuro-muscular do veneno crotálico: dados preliminares

Estudamos 6 pacientes, 2 cães e um coelho com intoxicação crotálica. Avaliamos a condução nervosa periférica sensitiva e motora, a transmissão neuromuscular e eletromiografias. As biópsias de músculo foram processadas por histoquímica. Os 6 pacientes apresentaram mononeuropatia sensitiva no nervo periférico adjacente ao local da inoculação do veneno e encontramos evidências histoquímicas de miopatia mitocondrial. Os defeitos da transmissão neuromuscular foram mínimos. A maioria dos autores admite que veneno crotálico determina síndrome miastênica. Nossos achados indicam que ptose palpebral, facies miastênico e fraqueza muscular observados após acidente crotálico, correspondem provavelmente a miopatia mitocondrial, muitas vezes transitória e reversível.

Mistura de proteínas morfogenéticas ósseas, hidroxiapatita, osso inorgânico e colágeno envolta por membrana de pericárdio no preenchimento de defeito ósseo segmentar em coelhos

Avaliou-se o uso de biomaterial de origem bovina na regeneração de defeitos ósseos segmentares empregando-se 12 coelhos, fêmeas, da raça Norfolk, com idade de seis meses e pesos entre 3 e 4,5kg. Realizou-se falha segmentar bilateral de um centímetro de comprimento na diáfise do rádio, com inclusão do periósteo. No membro direito, o defeito foi delimitado por membrana de pericárdio liofilizada, contendo em seu interior mistura de proteínas morfogenéticas ósseas adsorvidas a hidroxiapatita, colágeno liofilizado e osso inorgânico. No membro esquerdo, o defeito não recebeu tratamento. Radiografias foram obtidas ao término do procedimento cirúrgico e aos sete, 30, 60, 90, 120 e 150 dias de pós-operatório. Após eutanásia de seis coelhos aos 60 dias e seis aos 150 dias de pós-cirúrgico, os resultados radiográficos e histológicos mostraram que a regeneração óssea foi inibida nos defeitos segmentares tratados com o biomaterial.

Histological and radiological changes in cranial bone in the presence of bone wax

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

Miniplate fixation for the repair of segmental mandibular defects filled with autogenous bone in cats

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

Qualidade espermática de sêmen de cães naturalmente infectados por Leishmania sp:

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