GeraÃÃo automÃtica de casos de teste CSP orientada por propÃsitos

AUTOR(ES)
DATA DE PUBLICAÇÃO

2006

RESUMO

O processo de desenvolvimento de software està sujeito a inserÃÃo de erros diversos cuja presenÃa compromete a qualidade final dos produtos de software. Teste à uma atividade dinÃmica e bastante custosa dentro das vÃrias empregadas pela Garantia da Qualidade de Software. O objetivo de teste à demonstrar que um comportamento especÃfico (cenÃrio) de um sistema foi bem (passou no teste) ou mal sucedido (falhou no teste), atravÃs de um veredicto. AutomaÃÃo de testes visa tornar o processo mais Ãgil em atividades repetitivas e menos suscetÃvel a erros humanos. Existem vÃrias abordagens de geraÃÃo automÃtica de teste, baseadas na representaÃÃo formal do comportamento do sistema, que empregam diferentes critÃrios de seleÃÃo para os testes. Quando o objetivo do teste à focar na investigaÃÃo de certas propriedades ou comportamentos importantes do sistema a ser testado, podemos utilizar o critÃrio de seleÃÃo denominado propÃsito de teste (test purposes). CSP (Communicating Sequential Processes) à uma notaÃÃo formal bastante expressiva, uma Ãlgebra de processos Ãtil para especificar comportamentos de sistemas concorrentes e distribuÃdos, de hardware e software. Infelizmente, nÃo existe na literatura abordagens para geraÃÃo de testes diretamente a partir de Ãlgebras de processo como CSP. As abordagens existentes utilizam a representaÃÃo operacional (sistemas de transiÃÃes rotuladas â LTS) dos processos CSP. O objetivo deste trabalho à introduzir uma estratÃgia para geraÃÃo automÃtica de testes consistentes (sound), elaborada inteiramente a partir da semÃntica denotacional de CSP (notaÃÃo de processos e modelos semÃnticos). à definida uma teoria de testes baseada na Teoria de Testes de Tretmans. Um ponto comum entre estas teorias à que o conjunto de aÃÃes de entrada e saÃda para especificaÃÃes (alfabetos), implementaÃÃes e testes sÃo separados, de forma a definir com precisÃo os veredictos para execuÃÃo dos testes e a relaÃÃo de conformidade entre implementaÃÃo e especificaÃÃo. Adicionalmente, uma relaÃÃo de conformidade denotada cspioco à introduzida em termos de refinamentos de processos para determinar se o processo que representa a implementaÃÃo a ser testada està coerente com o comportamento do processo da especificaÃÃo. à apresentada, ainda, a estrutura e a utilizaÃÃo de uma ferramenta implementada com o propÃsito de avaliar esta abordagem dentro do ambiente de teste de um projeto de pesquisa que envolve uma cooperaÃÃo entre o CIn-UFPE e a Motorola Industrial Limitada. Alguns experimentos prÃticos foram realizados neste contexto

ASSUNTO(S)

csp geraÃÃo de testes propÃsito de testes test generation cspioco engenharia de software csp refinement checking verificaÃÃo de refinamentos test purpose cspioco

ACESSO AO ARTIGO

Documentos Relacionados