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:
- Publisher place: São Carlos
- Date published: 2012
- Data da defesa: 22.06.2012
-
ABNT
PINHEIRO, Arineiza Cristina. Subsídios para a aplicação de métodos de geração de casos de testes baseados em máquinas de estados. 2012. Dissertação (Mestrado) – Universidade de São Paulo, São Carlos, 2012. Disponível em: http://www.teses.usp.br/teses/disponiveis/55/55134/tde-10092012-100529/. Acesso em: 28 fev. 2026. -
APA
Pinheiro, A. C. (2012). Subsídios para a aplicação de métodos de geração de casos de testes baseados em máquinas de estados (Dissertação (Mestrado). 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. Subsídios para a aplicação de métodos de geração de casos de testes baseados em máquinas de estados [Internet]. 2012 ;[citado 2026 fev. 28 ] Available from: http://www.teses.usp.br/teses/disponiveis/55/55134/tde-10092012-100529/ -
Vancouver
Pinheiro AC. Subsídios para a aplicação de métodos de geração de casos de testes baseados em máquinas de estados [Internet]. 2012 ;[citado 2026 fev. 28 ] Available from: http://www.teses.usp.br/teses/disponiveis/55/55134/tde-10092012-100529/
How to cite
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
