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.

Semelhanças e diferenças de valores pessoais entre consumidores de eletrodomésticos nos municípios de Lajeado e Estrela-RS

O comportamento das pessoas é baseado na sua cultura, valores e atitudes. Conhecendo-os melhor, é possível entender um pouco melhor como as pessoas agem. Este trabalho objetivou identificar semelhanças e diferenças de valores pessoais entre os consumidores domiciliados na cidade de Lajeado e de Estrela através da escala de Valores de Rokeach (1973). Rokeach divide os Valores em Instrumentais e Valores Terminais. Os primeiros seriam ferramentas para atingir os segundos, desejos do ser humano. Este trabalho foi realizado através de um instrumento de coleta, aplicado a 102 clientes de Lajeado e a 100 clientes de Estrela. Os dados foram então tabulados e analisados. Os resultados demonstraram que há semelhanças e diferenças significativas entre as duas cidades, segundo a Escala de Rokeach. Os dois primeiros Valores Instrumentais em ambas as cidades são Honesto e Responsável. Os dois primeiros Valores Terminais são Um Mundo de Paz e Segurança Familiar. Ocorrem diferenças entre as cidades quando se considera a segmentação, como é o caso da Idade. Os valores “Amizade Verdadeira”, “Segurança Familiar” e “Salvação” são significativos para Estrela, mas não para Lajeado. Nesta, por sua vez, é significativo “Sabedoria”.

Interfaces do trabalho voluntário na aposentadoria

Este estudo buscou identificar as intersecções entre o trabalho voluntário, envelhecimento e aposentadoria. Procurou-se dar visibilidade ao trabalho voluntário realizado pelo idoso, contextualizando o voluntariado no período anterior e posterior à aposentadoria. O referencial teórico deste estudo baseou-se nos conceitos de velhice, terceira idade, aposentadoria, trabalho voluntário e motivações para realizar esta ação. Foram pesquisados 12 homens aposentados com 70 anos e mais, aposentados que realizam trabalho voluntário há mais de um ano. As entrevistas, semi-estruturadas, abordaram os seguintes temas: velhice, aposentadoria, trabalho voluntário antes e após a aposentadoria e foram analisadas a partir da proposta de análise de conteúdo. Nos resultados destaca-se que o trabalho voluntário foi visto pelos depoentes como um trabalho sem remuneração. Não foi considerado como uma obrigação e nem tendo rigidez no horário, sendo uma opção, e realizado com prazer. A velhice foi caracterizada pela multiplicidade das representações: ora descrita como um momento de perda, por estereótipos negativos ora por um momento onde há experiência de vida e conhecimento. O voluntariado é uma continuação da vida laboral antes da aposentadoria, pois os depoentes continuam a realizar ação voluntária, sendo que alguns não se percebem aposentados devido a esta ação. As funções realizadas pelos idosos relacionaram-se à masculinidade e ao exercício de poder, existindo uma distinção entre o trabalho voluntário realizado por mulheres e por homens. A reciprocidade é fundamental para entender o trabalho voluntário: o idoso pelo voluntariado, auxilia os necessitados, exerce os princípios morais adquiridos, tais como o exercício da caridade e da solidariedade, ao mesmo tempo em que recebe em troca, o reconhecimento social, a possibilidade de continuar produtivo e de exercer o poder, a salvação e a imortalidade simbólica.