• Refine Query
  • Source
  • Publication year
  • to
  • Language
  • 1
  • Tagged with
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • About
  • The Global ETD Search service is a free service for researchers to find electronic theses and dissertations. This service is provided by the Networked Digital Library of Theses and Dissertations.
    Our metadata is collected from universities around the world. If you manage a university/consortium/country archive and want to be added, details can be found on the NDLTD website.
1

Geração automática de casos de teste CSP orientada por propósitos

de Carvalho Nogueira, Sidney January 2006 (has links)
Made available in DSpace on 2014-06-12T15:59:45Z (GMT). No. of bitstreams: 2 arquivo5536_1.pdf: 1197982 bytes, checksum: 344557c29e4105a048177410482f40ca (MD5) license.txt: 1748 bytes, checksum: 8a4605be74aa9ea9d79846c1fba20a33 (MD5) Previous issue date: 2006 / Conselho Nacional de Desenvolvimento Científico e Tecnológico / 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

Page generated in 0.0298 seconds