A framework for table driven testing of Java classes

With the advent of object-oriented languages and the portability of Java, the development and use of class libraries has become widespread. Effective class reuse depends on class reliability which in turn depends on thorough testing. This paper describes a class testing approach based on modeling each test case with a tuple and then generating large numbers of tuples to thoroughly cover an input space with many interesting combinations of values. The testing approach is supported by the Roast framework for the testing of Java classes. Roast provides automated tuple generation based on boundary values, unit operations that support driver standardization, and test case templates used for code generation. Roast produces thorough, compact test drivers with low development and maintenance cost. The framework and tool support are illustrated on a number of non-trivial classes, including a graphical user interface policy manager. Quantitative results are presented to substantiate the practicality and effectiveness of the approach. Copyright (C) 2002 John Wiley Sons, Ltd.

Chloroquine or sulfadoxine-pyrimethamine for the treatment of uncomplicated, Plasmodium falciparum malaria during an epidemic in Central Java, Indonesia

A recent malaria epidemic in the Menoreh Hills of Central Java has increased concern about the re-emergence of endemic malaria on Java, which threatens the island's 120 million residents. A 28-day, in-vivo test of the efficacy of treatment of malaria with antimalarial drugs was conducted among 16 7 villagers in the Menoreh Hills. The treatments investigated, chloroquine (CQ) and sulfadoxine pyrimethamine (SP), constitute, respectively, the first- and second-line treatments for uncomplicated malaria in Indonesia. The prevalence of malaria among 1389 residents screened prior to enrollment was 33%. Treatment outcomes were assessed by microscopical diagnoses, PCR-based confirmation of the diagnoses, measurement of the whole-blood concentrations of CQ and desethylchloroquine (DCQ), and identification of the Plasmodium falciparum genotypes. The 28-day cumulative incidences of therapeutic failure for CQ and SP were, respectively, 47% (N = 36) and 22% (N = 50) in the treatment of P. falciparum, and 18% (N = 77) and 67% (N = 6) in the treatment of P. vivax. Chloroquine was thus an ineffective therapy for P. falciparum malaria, and the presence of CQ-resistant P. vivax and SP-resistant P. falciparum will further compromise efforts to control resurgent malaria on Java.

Movements of the ricefield rat, Rattus argentiventer, near a trap-barrier system in rice crops in West Java, Indonesia

The movements of the ricefield rats (Rattus argentiventer) near a trap-barrier system (TBS) were assessed in lowland flood-irrigated rice crops in West Java, Indonesia, to test the hypothesis that a TBS with a 'trap-crop' modifies the movements of rats within 200 m from the trap-crop. The home range use and locations of rat burrows were assessed using radiotelemetry at two sites, one with a TBS with trap-crop (Treatment site, the crop inside the fence was planted 3 weeks earlier than the surrounding crop) and the other with a TBS without trap-crop (Control site, the crop inside the fence was planted at the same time as the surrounding crop). Each TBS was a 50 x 50 m plastic fence with eight multiple-capture rat traps set at the base. More than 700 rats were caught in the TBS with trap-crop, whereas only 10 rats were caught in the TBS without trap-crop. The home range size of females was significantly smaller at the Treatment site (0.96 ha) than the Control site (2.99 ha), but there was no difference for males. Seventy-eight per cent of rats caught in the TBS and fitted with radiocollars had their daytime burrow locations within 200 m of the TBS. We could not determine if the rats caught in the TBS were residents or transients according to demographic parameters. Our results support the hypothesis that a TBS with a trap-crop protects the surrounding rice crop out to a distance of at least 200 m.

Tool support for testing concurrent Java components

Concurrent programs are hard to test due to the inherent nondeterminism. This paper presents a method and tool support for testing concurrent Java components. Too[ support is offered through ConAn (Concurrency Analyser), a too] for generating drivers for unit testing Java classes that are used in a multithreaded context. To obtain adequate controllability over the interactions between Java threads, the generated driver contains threads that are synchronized by a clock. The driver automatically executes the calls in the test sequence in the prescribed order and compares the outputs against the expected outputs specified in the test sequence. The method and tool are illustrated in detail on an asymmetric producer-consumer monitor. Their application to testing over 20 concurrent components, a number of which are sourced from industry and were found to contain faults, is presented and discussed.

As políticas da insegurança : da Scuderie Detetive Le Cocq às masmorras do novo Espírito Santo

A presente dissertação tem como objetivo a análise das políticas de segurança pública e justiça criminal no Espírito Santo entre 1989 e 2013, utilizando metodologia historiográfica e observando a distância entre os objetivos oficiais e as consequências práticas. No primeiro capítulo, me concentro na contextualização histórica das políticas criminais, analisando a formação organizacional do sistema punitivo brasileiro. Coloco ênfase, de um lado, no processo de militarização, isto é, a adoção de hierarquia, disciplina e formação militares nas agências de segurança pública, e de outro lado, e nas sucessivas legislações penais aprovadas pelo Congresso Nacional. Tais processos nacionais se refletem no Espírito Santo, onde se difundiram “grupos de extermínio” como a Scuderie Le Cocq, mas não havia política de segurança pública. A primeira surge em meio a grave crise política, entre 1999 e 2002. Mas os seus propósitos são mais avançados com o processo de reforma administrativa após 2003, quando o governo se esforça por impôr modelos de gestão empresariais e parcerias público privadas à administração estadual, incluindo a segurança pública e sistema penitenciário. Com isto, ocorre uma rápida expansão do encarceramento seletivo em condições extremas de superlotação e violência, desenvolvendo uma indústria carcerária. No segundo capítulo, realizo uma análise na qual relaciono informações criminais, penitenciárias, econômicas e demográficas, tanto no contexto do Brasil quanto do Espírito Santo. Constato que a repressão estatal tem “preferência” por homens, negros, jovens e de baixa escolaridade; por crimes de drogas e contra o patrimônio, com a utilização cada vez maior da prisão provisória. No Espírito Santo o encarceramento seletivo cresce em maior velocidade que na média nacional, o que se reflete no perfil da população carcerária, sendo esta ainda mais negra, jovem, de baixa escolaridade e presa por tráfico e drogas e em regime provisório, com frequentes denúncias fundamentadas de torturas, mortes e desaparecimentos forçados entre as populações criminalizadas.