OZJ : uma ferramenta para geração de óraculos para teste de software a partir de especificação formal

A literatura sobre Teste de Software apresenta diversas estratégias e metodologias que definem critérios eficazes e automatizáveis para selecionar casos de teste capazes de detectar erros em softwares. Embora eficientes na descoberta de erros, as técnicas de seleção de casos de teste exigem que uma quantidade relativamente grande de testes seja realizada para satisfazer os seus critérios. Essa característica acarreta, em parte, um alto custo na atividade de teste, uma vez que, ao fim de cada teste deve-se verificar se o comportamento do software está ou não de acordo com os seus requisitos. Oráculo para teste de software é um mecanismo capaz de determinar se o resultado de um teste está ou não de acordo com os valores esperados. Freqüentemente, assume-se que o próprio projetista de teste é o responsável por esta tarefa. A automatização da atividade dos oráculos deu origem a oráculos automáticos, os quais são capazes de determinar o bom ou mau funcionamento do software a partir de uma fonte de informação confiável. Ao longo dos anos, a especificação formal vêm sendo largamente utilizada como fonte de informação para oráculos automáticos. Diversas estratégias vêm propondo geradores de oráculos baseados em especificações formais. Dentre as características marcantes dessas estratégias, cita-se aquelas que são aplicáveis a implementações derivadas a partir da estrutura da especificação e aquelas que geram oráculos a partir de técnicas específicas de seleção de casos. Essas características, entretanto, limitam a aplicação abrangente dos oráculos por restringi-los tanto a implementações derivadas diretamente de especificações como ao uso de técnicas específicas de seleção de casos de teste. Este trabalho apresenta um estudo sobre os geradores de oráculos para teste de software, identifica aspectos fundamentais que regem seu processo de construção e propõe uma estratégia que permite a geração de oráculos semi-automaticamente, mesmo para implementações não derivadas diretamente da estrutura da especificação. A estratégia proposta é, também, aplicável aos casos de teste derivados de qualquer técnica de seleção de casos de teste.

O espaço de hemodiálise na ótica de usuários com insuficiência renal crônica

Pesquisa qualitativa, de caráter descritivo-exploratório, realizada em uma clínica de hemodiálise, no interior do Paraná. A coleta de dados ocorreu com pacientes que se encontravam em tratamento hemodialítico, no período entre setembro e novembro de 2003, totalizando quinze sujeitos. O objetivo consistiu em conhecer situações significativas para o paciente renal crônico vivenciadas no espaço de hemodiálise. A coleta de dados ocorreu por meio de entrevistas semi-estruturadas e o material foi submetido à análise de conteúdo. Quatro categorias principais apontam os resultados do estudo: início do tratamento; possibilidade de vida; estar com o(s) outro(s) e organização do ambiente físico. Nos relatos, sobressaíram dificuldades associadas ao processo de comunicação, sendo que a falta de informações e o desconhecimento de aspectos que envolvem o tratamento resultam em um fator de insatisfação, no cotidiano vivenciado na clínica. O tratamento hemodialítico é apreendido como uma possibilidade de continuar vivendo, mas esta condição é iluminada e sustentada pela esperança de acessar o transplante renal, como única forma de libertação do próprio tratamento. Ainda ficou patente a atribuição de importância à família, à relação com os demais usuários e com os membros da equipe de saúde, como forma de contribuir para o processo de recuperação e de adaptação, em meio às adversidades impostas pela doença, mas também àquelas requeridas pelo tratamento. Aspectos relacionados à apresentação e estética do ambiente, como limpeza, temperatura e conforto das instalações, emergiram nas falas como fatores que também interferem na satisfação dos pacientes, amenizando o sofrimento e colaborando para o enfrentamento de condições adversas a que estão submetidos.