Estratégia para geração de sequencias de verificação para máquinas de estados finitos (2013)
- Authors:
- Autor USP: PORTO, FAIMISON RODRIGUES - ICMC
- Unidade: ICMC
- Sigla do Departamento: SSC
- Subjects: ENGENHARIA DE SOFTWARE; SOFTWARES (TESTES); MÉTODO DOS ELEMENTOS FINITOS
- Keywords: Checking sequence; Conjunto de distinção; Distinguishing set; FSM based testing; Geração de casos de teste; Sequência de verificação; Test cases generation; Teste baseado em MEF
- Language: Português
- Abstract: O teste de software engloba diferentes técnicas, métodos e conceitos capazes de garantir a qualidade dos mais variados tipos de sistemas. Dentre tais técnicas, encontra-se o teste baseado em Máquinas de Estados Finitos (MEFs), que visa a garantir a conformidade entre a implementação e a especificação de um software. Com esse propósito, diversos métodos foram propostos para a geração de sequências de verificação que garantam cobertura total das possíveis falhas existentes em uma implementação. A maioria dos métodos conhecidos são baseados na utilização de sequências de distinção. Esse recurso, porém, não existe para toda MEF. Alguns métodos buscam a geração de sequências de verificação baseados em recursos alternativos as sequências de distinção, contudo, as sequências geradas são exponencialmente longas. Este trabalho apresenta um método para geração de sequências de verificação que visa a reduzir o tamanho das sequências geradas para o domínio de MEFs que não dispõem de sequência de distinção. Para isso, o método proposto baseia-se na utilização de conjuntos de distinção. Uma avaliação experimental foi realizada afim de mensurar a redução proporcionada pelo método proposto em relação aos principais métodos existentes na literatura. Com esse intuito, foram geradas MEFs aleatórias sob a perspectiva diferentes fatores. Em relação a variação do número de estados, os resultados indicaram reduções acima de 99; 5% em comparação com os métodos existentes, quando analisadas 75% das MEFs geradas
- Imprenta:
- Publisher place: São Carlos
- Date published: 2013
- Data da defesa: 18.04.2013
-
ABNT
PORTO, Faimison Rodrigues. Estratégia para geração de sequencias de verificação para máquinas de estados finitos. 2013. Dissertação (Mestrado) – Universidade de São Paulo, São Carlos, 2013. Disponível em: http://www.teses.usp.br/teses/disponiveis/55/55134/tde-10072013-164922/. Acesso em: 26 jan. 2026. -
APA
Porto, F. R. (2013). Estratégia para geração de sequencias de verificação para máquinas de estados finitos (Dissertação (Mestrado). Universidade de São Paulo, São Carlos. Recuperado de http://www.teses.usp.br/teses/disponiveis/55/55134/tde-10072013-164922/ -
NLM
Porto FR. Estratégia para geração de sequencias de verificação para máquinas de estados finitos [Internet]. 2013 ;[citado 2026 jan. 26 ] Available from: http://www.teses.usp.br/teses/disponiveis/55/55134/tde-10072013-164922/ -
Vancouver
Porto FR. Estratégia para geração de sequencias de verificação para máquinas de estados finitos [Internet]. 2013 ;[citado 2026 jan. 26 ] Available from: http://www.teses.usp.br/teses/disponiveis/55/55134/tde-10072013-164922/
How to cite
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
