Pruebas de Software. Fundamentos y Técnicas

Este proyecto estudia los fundamentos y las técnicas de las pruebas de software. Veremos lo importante que pueden llegar a ser las pruebas, mostrando diferentes desastres causados por fallos en el software. También estudiaremos las diferentes herramientas que se utilizan para llevar a cabo la gestión, administración y ejecución de estas pruebas. Finalmente aplicaremos los conceptos estudiados mediante un caso práctico. Crearemos los casos de prueba funcionales basándonos en las especificaciones del protocolo MDB/ICP e instalaremos y aprenderemos cómo crear estos casos con una de las herramientas estudiadas en la parte teórica. ABSTRACT: This project studies the fundamentals and techniques of software testing. We will see how important the evidence showing different disasters caused by bugs in the software can become. We will also study the different tools used to carry out the management, administration and execution of these tests. Finally, we apply the concepts studied by a case study. We create test cases based on functional specifications MDB/ICP protocol We will install and learn how to create such cases by one of the tools studied in the theoretical part.

A real case of a cognitive multiplayer game: design and development of the iOS client in Swift and its cloud architecture

as tecnologías emergentes como el cloud computing y los dispositivos móviles están creando una oportunidad sin precedentes para mejorar el sistema educativo, permitiendo tanto a los educadores personalizar y mejorar la experiencia de aprendizaje, como facilitar a los estudiantes que adquieran conocimientos sin importar dónde estén. Por otra parte, a través de técnicas de gamificacion será posible promover y motivar a los estudiantes a que aprendan materias arduas haciendo que la experiencia sea más motivadora. Los juegos móviles pueden ser el camino correcto para dar soporte a esta experiencia de aprendizaje mejorada. Este proyecto integra el diseño y desarrollo de una arquitectura en la nube altamente escalable y con alto rendimiento, así como el propio cliente de iOS, para dar soporte a una nueva version de Temporis, un juego móvil multijugador orientado a reordenar eventos históricos en una línea temporal (e.j. historia, arte, deportes, entretenimiento y literatura). Temporis actualmente está disponible en Google Play. Esta memoria describe el desarrollo de la nueva versión de Temporis (Temporis v.2.0) proporcionando detalles acerca de la mejora y adaptación basados en el Temporis original. En particular se describe el nuevo backend hecho en Go sobre Google App Engine creado para soportar miles de usuarios, asó como otras características por ejemplo como conseguir enviar noticaciones push desde la propia plataforma. Por último, el cliente de iOS en Temporis v.2.0 se ha desarrollado utilizando las últimas y más relevantes tecnologías, prestando especial atención a Swift (el lenguaje de programación nuevo de Apple, que es seguro y rápido), el Paradigma Funcional Reactivo (que ayuda a construir aplicaciones altamente interactivas además de a minimizar errores) y la arquitectura VIPER (una arquitectura que sigue los principios SOLID, se centra en la separación de asuntos y favorece la reutilización de código en otras plataformas). ABSTRACT Emerging technologies such as cloud computing and mobile devices are creating an unprecedented opportunity for enhancing the educational system, letting both educators customize and improve the learning experience, and students acquire knowledge regardless of where they are. Moreover, through gamification techniques it would be possible to encourage and motivate students to learn arduous subjects by making the experience more motivating. Mobile games can be a perfect vehicle to support this enhanced learning experience. This project integrates the design and development of a highly scalable and performant cloud architecture, as well as the iOS client that uses it, in order to provide support to a new version of Temporis, a mobile multiplayer game focused on ordering time-based (e.g. history, art, sports, entertainment and literature) in a timeline that currently is available on Google Play. This work describes the development of the new Temporis version (Temporis v.2.0), providing details about improvements and details on the adaptation of the original Temporis. In particular, the new Google App Engine backend is described, which was created to support thousand of users developed in Go language are provided, in addition to other features like how to achieve push notications in this platform. Finally, the mobile iOS client developed using the latest and more relevant technologies is explained paying special attention to Swift (Apple's new programming language, that is safe and fast), the Functional Reactive Paradigm (that helps building highly interactive apps while minimizing bugs) and the VIPER architecture (a SOLID architecture that enforces separation of concerns and makes it easy to reuse code for other platforms).

Dinâmica de interações tróficas de Euschistus heros (Hemiptera: Pentatomidae) com Telenomus podisi e Trissolcus basalis (Hymenoptera: Platygastridae)

Dentre os insetos que causam prejuízo a produção de soja, os percevejos fitófagos destacam-se como o principal grupo de pragas, sendo Euschistus heros (Fabricius, 1798), atualmente, a principal espécie de praga da cultura, que está distribuída em todas as regiões brasileiras de cultivo da leguminosa. Para o controle das populações destes insetos, o método mais utilizado é o controle químico. No entanto, as exigências tem sido crescentes no que diz respeito à redução do uso de agroquímicos. Dentre as alternativas, o uso dos parasitoides de ovos Telenomus podisi Ashmead, 1881 e Trissolcus basalis Wollaston, 1858 emerge com bom potencial para programas de controle biológico. O uso desses agentes de controle deve ser baseado em estudos que assegurem a eficiência dos insetos no manejo da população da praga. O presente estudo combina experimentação laboratorial e de campo com modelagem matemática para investigar o potencial dos parasitoides como controladores do percevejo da soja. Foram realizados estudos relacionados aos parâmetros biológicos e potenciais reprodutivos de T. podisi e T. basalis através de tabelas de vida de fertilidade. Foram determinadas as exigências térmicas de ambos os parasitoides de ovos e observou-se o efeito da idade dos ovos de E. heros no parasitismo por T. podisi e T. basalis. Foi também avaliada a interação entre as duas espécies de parasitóides e determinado o número ideal de cada espécie de parasitoide a ser liberado de acordo com a densidade de ovos do hospedeiro. Finalmente um modelo matemático foi proposto visando simular interações e liberações em parasitoides, para o controle de E. heros. Com a combinação entre os experimentos e a implementação de metodologia analítica através de modelagem ecológica espera-se incrementar estratégias de controle da praga, para fundamentar a recomendação do uso do parasitoide mais eficiente para controlar E. heros, ou mesmo a melhor forma de combinar o o uso das espécies de inimigos naturais.

An Exploration of the challenges associated with software logging in large systems

Thesis (Master, Computing) -- Queen's University, 2016-05-29 18:11:34.114

Soluções globais para sistemas industriais-teste de software

Relatório de estágio apresentada para cumprimento dos requisitos necessários à obtenção do grau de Mestre em Sistemas de Informação Organizacionais

Null Check Analysis

Null dereferencing is one of the most frequent bugs in Java systems causing programs to crash due to the uncaught NullPointerException. Developers often fix this bug by introducing a guard (i.e., null check) on the potentially-null objects before using them. In this paper we investigate the null checks in 717 open-source Java systems to understand when and why developers introduce null checks. We find that 35 of the if-statements are null checks. A deeper investigation shows that 71 of the checked-for-null objects are returned from method calls. This indicates that null checks have a serious impact on performance and that developers introduce null checks when they use methods that return null.

Chinch-bug barriers.

Issued originally as Entomological Series. Circular 5.

Chinch-bug barriers.

Issued originally as Entomological Series. Circular 5.

Cydnidae of the Western Hemisphere.

Includes bibliography.

Synopsis der deutschen Blindwanzen (Hemiptera heteroptera, Fam. Capsidae),

Mode of access: Internet.

Analysis of Melanoma Onset: Assessing Familial Aggregation by Using Estimating Equations and Fitting Variance Components via Bayesian Random Effects Models

We investigate whether relative contributions of genetic and shared environmental factors are associated with an increased risk in melanoma. Data from the Queensland Familial Melanoma Project comprising 15,907 subjects arising from 1912 families were analyzed to estimate the additive genetic, common and unique environmental contributions to variation in the age at onset of melanoma. Two complementary approaches for analyzing correlated time-to-onset family data were considered: the generalized estimating equations (GEE) method in which one can estimate relationship-specific dependence simultaneously with regression coefficients that describe the average population response to changing covariates; and a subject-specific Bayesian mixed model in which heterogeneity in regression parameters is explicitly modeled and the different components of variation may be estimated directly. The proportional hazards and Weibull models were utilized, as both produce natural frameworks for estimating relative risks while adjusting for simultaneous effects of other covariates. A simple Markov Chain Monte Carlo method for covariate imputation of missing data was used and the actual implementation of the Bayesian model was based on Gibbs sampling using the free ware package BUGS. In addition, we also used a Bayesian model to investigate the relative contribution of genetic and environmental effects on the expression of naevi and freckles, which are known risk factors for melanoma.

And the beak shall inherit - evolution in response to invasion

The increased demographic performance of biological invaders may often depend on their escape from specifically adapted enemies. Here we report that native taxa in colonized regions may swiftly evolve to exploit such emancipated exotic species because of selection caused by invaders. A native Australian true bug has expanded it host range to include a vine imported from tropical America that has become a serious environmental weed. Based on field comparisons and historical museum specimens, we show that over the past 30-40 years, seed feeding soapberry bugs have evolved 5-10% longer mouthparts, better suited to attack the forest-invading balloon vines, which have large fruits. Laboratory experiments show that these differences are genetically based, and result in a near-doubling of the rate at which seeds are attacked. Thus a native biota that initially permits invasion may rapidly respond in ways that ultimately facilitate control.

Multiple origins of parasitism in lice: phylogenetic analysis of SSU rDNA indicates that the Phthiraptera and Psocoptera are not monophyletic

The Paraneoptera (Hemipteroid Assemblage) comprises the orders Thysanoptera (thrips), Hemiptera (bugs), Phthiraptera (lice) and Psocoptera (booklice and barklice). The phylogenetic relationships among the Psocodea (Phthiraptera and Psocoptera), Thysanoptera and Hemiptera are unresolved, as are some relationships within the Psocodea. Here, we present phylogenetic hypotheses inferred from SSU rDNA sequences; the most controversial of which is the apparent paraphyly of the Phthiraptera, which are parasites of birds and mammals, with respect to one family of Psocoptera, the Liposcelididae. The order Psocoptera and the suborder that contains the Liposcelididae, the Troctomorpha, are also paraphyletic. The two remaining psocopteran suborders, the Psocomorpha and the Trogiomorpha, are apparently monophyletic. The Liposcelididae is most closely related to lice from the suborder Amblycera. These results suggest that the taxonomy of the Psocodea needs revision. In addition, there are implications for the evolution of parasitism in insects; parasitism may have evolved twice in lice or have evolved once and been subsequently lost in the Liposcelididae.

Influence of Observer Presence on Pacific Damsel Bug Behavior: Who is Watching Whom?

When direct observations are used to study animal behavior the presence of the observer may alter the animal and hence influence the data being collected, yet few studies have quantified this effect. We conducted direct observation studies in the glasshouse to assess the relative influence of observer presence on the behavior of Pacific damsel bugs, Nabis kinbergii, a potentially important predator of crop pests. Comparisons of predator activity, predator distribution, prey (Helicoverpa armigera) mortality and prey distribution between frequently observed and minimally observed treatments, during diurnal and nocturnal observation sessions showed that the frequency of observer presence had no apparent impact on Pacific damsel bug behavior. This is the first documented test of the impact of observer presence in an insect system. To place our results in context, we reviewed 15 papers on the influence of observer presence in a range of animals. We established that just over half of these papers found evidence for an effect. Nevertheless, direct observations should be useful in further studies of Pacific damsel bug behavior, and researchers using direct observations to study the behavior of other animals should be cognizant of observer effects during design and interpretation of their study.