686 research outputs found

    Verificación de la presencia de roedores en el Parque Natural de sa Dragonera (Andratx, Mallorca, Islas Baleares)

    Get PDF
    [spa] Durante el 2011 se realizó una campaña de erradicación de roedores en la isla de sa Dragonera. El Parque Natural has establecido que cada cinco año se realicen tareas de verificación se su presencia. Entre los meses de julio y octubre del 2016, se ha evaluado la presencia de roedores y conejo en la isla de sa Dragonera. Para la evaluación de los roedores se ha usado tres métodos de detección: trampas de huellas, 1.670 trampas x noche; trampeo en vivo, 800 trampas x noches y cámaras de barrera, 288 (5 cámaras) días. La detección de conejo se ha realizado verificando 20 transectos lineales. No se ha detectado la presencia de roedores, ni de conejo. Siguiendo los criterios usados en otras erradicaciones insulares, se puede declarar que la isla de sa Dragonera está libre de ratas y ratones, aunque se debería considerar que el riesgo de reinvasión es elevada dada la distancia a la costa de Mallorca o la posibilidad de una introducción accidental desde una embarcación.[cat] Durant l’any 2011 es va realitzar una campanya d'eradicació de rosegadors a l'illa de sa Dragonera. El Parc Natural ha establert que cada cinc any es realitzin tasques de verificació es la seva presència. Entre els mesos de juliol i octubre del 2016, es va avaluar la presència de rosegadors i conill a l'illa de sa Dragonera. Per a l'avaluació dels rosegadors s'ha fet servir tres mètodes de detecció: trampes d'empremtes, 1.670 trampes x nit; trampeig en viu, 800 trampes x nits i càmeres de barrera, 288 (5 càmeres) dies. La detecció de conill s'ha realitzat verificant 20 transsectes lineals. No s'ha detectat la presència de rosegadors, ni de conill. Seguint els criteris usats en altres eradicacions insulars, es pot declarar que l'illa de sa Dragonera està lliure de rates i ratolins, tot i que s'hauria de considerar que el risc de reinvasión és elevada donada la distància a la costa de Mallorca o la possibilitat d'una introducció accidental des d’una embarcació.[eng] During 2011, a rodent eradication campaign was carried out on the island of sa Dragonera. The Natural Parc has established that the presence of rodents should be verified every five years. Between the months of July and October 2016, the presence of rodents and rabbits on the island of sa Dragonera has been evaluated. For

    Does Automated Unit Test Generation Really Help Software Testers? A Controlled Empirical Study

    Get PDF
    Work on automated test generation has produced several tools capable of generating test data which achieves high structural coverage over a program. In the absence of a specification, developers are expected to manually construct or verify the test oracle for each test input. Nevertheless, it is assumed that these generated tests ease the task of testing for the developer, as testing is reduced to checking the results of tests. While this assumption has persisted for decades, there has been no conclusive evidence to date confirming it. However, the limited adoption in industry indicates this assumption may not be correct, and calls into question the practical value of test generation tools. To investigate this issue, we performed two controlled experiments comparing a total of 97 subjects split between writing tests manually and writing tests with the aid of an automated unit test generation tool, EvoSuite. We found that, on one hand, tool support leads to clear improvements in commonly applied quality metrics such as code coverage (up to 300% increase). However, on the other hand, there was no measurable improvement in the number of bugs actually found by developers. Our results not only cast some doubt on how the research community evaluates test generation tools, but also point to improvements and future work necessary before automated test generation tools will be widely adopted by practitioners

    The Effect of Polymethylmethacrylate Bone Cement Vibration on the Bone-Cement Interface

    Get PDF
    Low frequency vibration of polymethylmethacrylate (PMMA) bone cement reduces the viscosity of the cement by shear thinning. The effect of this low frequency vibration on the bone-cement interface was studied using microfocal radiography (MFR) and scanning electron microscopy (SEM). Effects were studied in-vitro and in-vivo. In-vitro, samples of Palacos low viscosity PMMA were placed on blocks of Kiel bone and vibrated. MFR and SEM demonstrated an improvement in the appearance of the bone-cement interface. In-vivo, PMMA was injected into the upper tibia of the dog. An assessment of the effect of high and low pressure injection, and the effect of added low frequency vibration of the cement was made. The effect on cement penetration was studied using MFR and SEM. It was found that vibration produced an improved bone-cement interface compared to low pressure injection, and an interface comparable to that obtained with high pressure injection

    Editorial : Thematic issue on polar and alpine microbiology

    Get PDF
    No abstract availablehttps://academic.oup.com/femsecpm2021Genetic

    Using genetic algorithms to generate test sequences for complex timed systems

    Get PDF
    The generation of test data for state based specifications is a computationally expensive process. This problem is magnified if we consider that time con- straints have to be taken into account to govern the transitions of the studied system. The main goal of this paper is to introduce a complete methodology, sup- ported by tools, that addresses this issue by represent- ing the test data generation problem as an optimisa- tion problem. We use heuristics to generate test cases. In order to assess the suitability of our approach we consider two different case studies: a communication protocol and the scientific application BIPS3D. We give details concerning how the test case generation problem can be presented as a search problem and automated. Genetic algorithms (GAs) and random search are used to generate test data and evaluate the approach. GAs outperform random search and seem to scale well as the problem size increases. It is worth to mention that we use a very simple fitness function that can be eas- ily adapted to be used with other evolutionary search techniques
    corecore