Exportar registro bibliográfico

Subsídios para a aplicação de métodos de geração de casos de testes baseados em máquinas de estados (2012)

  • Authors:
  • Autor USP: PINHEIRO, ARINEIZA CRISTINA - ICMC
  • Unidade: ICMC
  • Sigla do Departamento: SSC
  • Subjects: ENGENHARIA DE SOFTWARE; LINGUAGEM DE PROGRAMAÇÃO; TESTE E AVALIAÇÃO DE SOFTWARE; SISTEMAS EMBUTIDOS
  • Keywords: Finite state machines; Fsm; Máquinas de estados finitos; Mef; Métodos de geração de casos de teste; Model based testing; modelos; Test cases methods generation; Teste baseado em
  • Language: Português
  • Abstract: A realização de atividades de teste é indispensável para a garantia da qualidade de um produto e para a identificação de defeitos, diminuindo custos de manutenção e evitando ao máximo o risco do cliente encontrar esses defeitos. Nessa linha, testes baseados em modelos têm se mostrado atrativos, pois o custo de geração de casos de testes e de correção de defeitos tende a ser menor. Devido à sua simplicidade conceitual e expressividade na descrição do comportamento de um sistema, um dos modelos mais usados e pesquisados na área de teste baseado em modelos são as Máquinas de Estados Finitos (MEFs). Por meio de MEFs e com apoio de ferramentas apropriadas, a geração de casos de testes para avaliar os comportamentos esperados de um sistema é automatizada, reduzindo tanto o custo da geração e da manutenção quanto as falhas humanas. Desta forma, a aplicabilidade de métodos de geração de casos de teste baseados em modelos no contexto de sistemas embarcados vem sendo investigada. O objetivo deste trabalho de mestrado consiste em investigar a aplicabilidade dos métodos de geração em cenários de teste reais, com foco em sistemas embarcados, identificando as difi- culdades e limitações do processo, bem como os requisitos essenciais para a adequação dos métodos de geração propostos na literatura e de ferramentas de apoio à atividade de teste. O foco principal do projeto é a implementação de mecanismos que atendam aos requisitos levantados, visando a usabilidade, segurança e portabilidadeda ferramenta
  • Imprenta:
  • Data da defesa: 22.06.2012
  • Acesso à fonte
    How to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas

    • ABNT

      PINHEIRO, Arineiza Cristina; SIMÃO, Adenilso da Silva. Subsídios para a aplicação de métodos de geração de casos de testes baseados em máquinas de estados. 2012.Universidade de São Paulo, São Carlos, 2012. Disponível em: < http://www.teses.usp.br/teses/disponiveis/55/55134/tde-10092012-100529/ >.
    • APA

      Pinheiro, A. C., & Simão, A. da S. (2012). Subsídios para a aplicação de métodos de geração de casos de testes baseados em máquinas de estados. Universidade de São Paulo, São Carlos. Recuperado de http://www.teses.usp.br/teses/disponiveis/55/55134/tde-10092012-100529/
    • NLM

      Pinheiro AC, Simão A da S. Subsídios para a aplicação de métodos de geração de casos de testes baseados em máquinas de estados [Internet]. 2012 ;Available from: http://www.teses.usp.br/teses/disponiveis/55/55134/tde-10092012-100529/
    • Vancouver

      Pinheiro AC, Simão A da S. Subsídios para a aplicação de métodos de geração de casos de testes baseados em máquinas de estados [Internet]. 2012 ;Available from: http://www.teses.usp.br/teses/disponiveis/55/55134/tde-10092012-100529/

    Últimas obras dos mesmos autores vinculados com a USP cadastradas na BDPI:

    Digital Library of Intellectual Production of Universidade de São Paulo     2012 - 2020