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.

Projeto de implementa????o das cirurgias card??acas no estado do Rio de Janeiro

As estat??sticas revelam a grande demanda reprimida de cirurgias card??acas no Estado do Rio de janeiro (dados de 1996). A conseq????ncia desta restri????o, tem sido um grande n??mero de mortes prematuras, em rela????o ao esperado para o tipo de patologia e tecnologia dispon??vel. Os pacientes que sobrevivem apresentam uma qualidade de vida muito aqu??m daquela que a medicina atual poderia lhes oferecer. Com a iniciativa, a efici??ncia de todo o processo passou a ser avaliada por instrumentos de coleta de dados que permitiram o dimensionamento dos custos previstos no setor e o aumento do n??mero de cirurgias no Estado do Rio de Janeiro, resultando na redu????o da mortalidade de pacientes com cardiopatias

Grupo informativo multidisciplinar em pr??-operat??rio de cirurgia card??aca: a informa????o e a multidisciplinariedade no hospital terci??rio como contribui????o ?? qualidade e ?? humaniza????o no atendimento p??blico de sa??de

A informa????o, atrav??s da Educa????o em sa??de, ?? elemento b??sico para que o cidad??o possa ser participante ativo do processo de busca de maior qualidade de vida, atrav??s do tratamento oferecido. Entretanto, a dificuldade de acesso ao sistema, a falta de vagas e o tempo de espera por uma cirurgia card??aca s??o fatores t??o emergenciais no setor, que o direito ?? um sistema de transmiss??o sistem??tica de informa????o sobre o tratamento nem sempre ?? levado em conta no pr??-operat??rio. Portanto, na busca de um atendimento mais humanizado ao paciente e seus familiares, torna-se importante n??o perder de vista que o cidad??o que procura o hospital traz uma complexidade que alia a doen??a a uma s??rie de vari??veis a serem vistas al??m do lado cl??nico, o que demonstra a necessidade de uma proposta multidisciplinar que possa oferecer informa????es sobre o processo a ser vivenciado no pr?? e p??s-cir??rgico, de forma a oferecer um tratamento ainda melhor

Eu bebo sim e estou vivendo : qualidade de vida, masculinidade, padrões de consumo de álcool e representações sociais de bebida alcoólica para homens usuários de unidade de saúde da família

A Política Nacional de Atenção Integral à Saúde do Homem propõe formas diferenciadas de atuação da equipe de saúde no atendimento da população masculina, uma vez que este público demanda estratégias diferenciadas de serviço. Ao se deparar com a realidade vivenciada pelos homens, surgem várias questões acerca do estereótipo social construído acerca das características masculinas e suas vivências. O objetivo da pesquisa foi compreender alguns aspectos relevantes para as práticas de saúde de homens usuários de Unidade de Saúde da Família, como qualidade de vida, consumo de álcool, representações sociais da bebida alcoólica e características de masculinidade. Foi utilizada uma amostra de 300 homens, frequentadores de Unidade de Saúde da Família, e aplicado um questionário contendo os dados sociodemográficos, o World Health Organization Quality of Life (Whoqol-bref), o Bem Sex-Role Inventory (BSRI), um exercício de evocação sobre bebida alcoólica, o Alcohol Use Disorders Identification Test (Audit) e um bloco para verificar os problemas ocasionados pelo consumo de álcool e a procura por tratamento. Os dados dos instrumentos quantitativos foram analisados com testes estatísticos de comparação de médias e de correlação. Os dados das evocações foram analisados com o software EVOC (Ensemble de Programmes Permettant l’Analyse des Évocations). Na primeira análise, constatou-se adesão mais alta a características femininas, alta percepção de qualidade de vida e padrões de consumo de álcool semelhantes às médias nacionais. Homens que declararam praticar sua religião apresentaram média significativamente menor de consumo de álcool. Apresentaram correlação inversamente proporcional ao consumo de álcool as características femininas de gênero, os domínios físico, social, psicológico e percepção global de qualidade de vida. Na análise das evocações, constatou-se que os elementos com tendência à centralidade são, em sua maioria, de cunho negativo. Os dados da população geral apresentaram o termo gosto como um aspecto positivo e central da bebida alcoólica. O grupo de abstinentes não apresentou avaliação positiva do termo e o grupo de bebedores apresentou o termo diversão na primeira periferia, referindo-se aos aspectos positivos e de socialização da bebida alcoólica. Os resultados indicaram uma qualidade de vida satisfatória, a religião e as características femininas destacaram-se como um fator de proteção ao uso de bebida alcoólica. Apresentaram, ainda, percepção dos problemas associados ao próprio consumo. Apesar de a maioria dos termos relacionados à bebida alcoólica ser negativo, este consumo ainda se dá em um nível considerável. Por isso, se faz necessária a construção de vínculo entre o profissional e o usuário do serviço de saúde a fim de dar oportunidade para que as reais práticas sobre a bebida alcoólica sejam evidenciadas. Esses dados podem ajudar profissionais de Saúde da Família a refletirem sobre as representações sociais que constroem acerca dos homens de classe popular usuários do serviço

Models for the Reverse Engineering of Java/Swing Applications

Abstract. Interest in design and development of graphical user interface (GUIs) is growing in the last few years. However, correctness of GUI's code is essential to the correct execution of the overall software. Models can help in the evaluation of interactive applications by allowing designers to concentrate on its more important aspects. This paper describes our approach to reverse engineering abstract GUI models directly from the Java/Swing code.

Há alternativas ao aumento de impostos? Sim, há.

“Procuradoria aconselha levar swaps a tribunal”. Referindo-se com maior especificidade: “A Procuradoria-Geral da República manteve contactos informais com o Ministério das Finanças para avaliar a possibilidade de o Estado levar a tribunal os contratos de alto risco assinados por empresas públicas de transporte. E deu indicações ao Governo de que há condições para conseguir a anulação dos swaps, se o Estado optar pela via litigiosa – o que ainda não aconteceu. Para isso, o Executivo tem de dar essa indicação ao Ministério Público”. Abstract: "Attorney advises swaps take the court." Referring with greater specificity: "The Attorney General's Office had informal contacts with the Ministry of Finance to evaluate the possibility of the state to prosecute high-risk contracts signed by public transport companies. And has directed the Government that there are conditions to achieve the cancellation of swaps if the state chooses the remedy litigation - which has not happened yet. For this, the Executive must provide that information to the prosecutor. "

XAdES4J: a java library for XAdES signature services

As comunicações electrónicas são cada vez mais o meio de eleição para negócios entre entidades e para as relações entre os cidadãos e o Estado (e-government). Esta diversidade de transacções envolve, muitas vezes, informação sensível e com possível valor legal. Neste contexto, as assinaturas electrónicas são uma importante base de confiança, fornecendo garantias de integridade e autenticação entre os intervenientes. A produção de uma assinatura digital resulta não só no valor da assinatura propriamente dita, mas também num conjunto de informação adicional acerca da mesma, como o algoritmo de assinatura, o certificado de validação ou a hora e local de produção. Num cenário heterogéneo como o descrito anteriormente, torna-se necessária uma forma flexível e interoperável de descrever esse tipo de informação. A linguagem XML é uma forma adequada de representar uma assinatura neste contexto, não só pela sua natureza estruturada, mas principalmente por ser baseada em texto e ter suporte generalizado. A recomendação XML Signature Syntax and Processing (ou apenas XML Signature) foi o primeiro passo na representação de assinaturas em XML. Nela são definidas sintaxe e regras de processamento para criar, representar e validar assinaturas digitais. As assinaturas XML podem ser aplicadas a qualquer tipo de conteúdos digitais identificáveis por um URI, tanto no mesmo documento XML que a assinatura, como noutra qualquer localização. Além disso, a mesma assinatura XML pode englobar vários recursos, mesmo de tipos diferentes (texto livre, imagens, XML, etc.). À medida que as assinaturas electrónicas foram ganhando relevância tornou-se evidente que a especificação XML Signature não era suficiente, nomeadamente por não dar garantias de validade a longo prazo nem de não repudiação. Esta situação foi agravada pelo facto da especificação não cumprir os requisitos da directiva 1999/93/EC da União Europeia, onde é estabelecido um quadro legal para as assinaturas electrónicas a nível comunitário. No seguimento desta directiva da União Europeia foi desenvolvida a especificação XML Advanced Electronic Signatures que define formatos XML e regras de processamento para assinaturas electrónicas não repudiáveis e com validade verificável durante períodos de tempo extensos, em conformidade com a directiva. Esta especificação estende a recomendação XML Signature, definindo novos elementos que contêm informação adicional acerca da assinatura e dos recursos assinados (propriedades qualificadoras). A plataforma Java inclui, desde a versão 1.6, uma API de alto nível para serviços de assinaturas digitais em XML, de acordo com a recomendação XML Signature. Contudo, não existe suporte para assinaturas avançadas. Com este projecto pretende-se desenvolver uma biblioteca Java para a criação e validação de assinaturas XAdES, preenchendo assim a lacuna existente na plataforma. A biblioteca desenvolvida disponibiliza uma interface com alto nível de abstracção, não tendo o programador que lidar directamente com a estrutura XML da assinatura nem com os detalhes do conteúdo das propriedades qualificadoras. São definidos tipos que representam os principais conceitos da assinatura, nomeadamente as propriedades qualificadoras e os recursos assinados, sendo os aspectos estruturais resolvidos internamente. Neste trabalho, a informação que compõe uma assinatura XAdES é dividia em dois grupos: o primeiro é formado por características do signatário e da assinatura, tais como a chave e as propriedades qualificadoras da assinatura. O segundo grupo é composto pelos recursos assinados e as correspondentes propriedades qualificadoras. Quando um signatário produz várias assinaturas em determinado contexto, o primeiro grupo de características será semelhante entre elas. Definiu-se o conjunto invariante de características da assinatura e do signatário como perfil de assinatura. O conceito é estendido à verificação de assinaturas englobando, neste caso, a informação a usar nesse processo, como por exemplo os certificados raiz em que o verificador confia. Numa outra perspectiva, um perfil constitui uma configuração do serviço de assinatura correspondente. O desenho e implementação da biblioteca estão também baseados no conceito de fornecedor de serviços. Um fornecedor de serviços é uma entidade que disponibiliza determinada informação ou serviço necessários à produção e verificação de assinaturas, nomeadamente: selecção de chave/certificado de assinatura, validação de certificados, interacção com servidores de time-stamp e geração de XML. Em vez de depender directamente da informação em causa, um perfil — e, consequentemente, a operação correspondente — é configurado com fornecedores de serviços que são invocados quando necessário. Para cada tipo de fornecedor de serviços é definida um interface, podendo as correspondentes implementações ser configuradas de forma independente. A biblioteca inclui implementações de todos os fornecedores de serviços, sendo algumas delas usadas for omissão na produção e verificação de assinaturas. Uma vez que o foco do projecto é a especificação XAdES, o processamento e estrutura relativos ao formato básico são delegados internamente na biblioteca Apache XML Security, que disponibiliza uma implementação da recomendação XML Signature. Para validar o funcionamento da biblioteca, nomeadamente em termos de interoperabilidade, procede-se, entre outros, à verificação de um conjunto de assinaturas produzidas por Estados Membros da União Europeia, bem como por outra implementação da especificação XAdES.