Uma estratêgia para redução de conjuntos de seqüências de teste para máquinas de estados finitos (2010)
- Authors:
- Autor USP: CUTIGI, JORGE FRANCISCO - ICMC
- Unidade: ICMC
- Sigla do Departamento: SSC
- Subjects: SOFTWARES (DESENVOLVIMENTO;TESTES); ENGENHARIA DE SOFTWARE; LINGUAGEM DE PROGRAMAÇÃO
- Language: Português
- Abstract: O teste baseado em modelos visa à derivação de casos de teste a partir de modelos produzidos ao longo do desenvolvimento de software. Nesse contexto, as Máquinas de Estados Finitos têm sido amplamente pesquisadas e utilizadas para derivação de seqüências de teste. Para isso, vários métodos de geração de seqüências de teste têm sido desenvolvidos há várias décadas. O objetivo desses métodos é a obtenção de um conjunto de teste que seja capaz de revelar os defeitos de uma implementação. Entretanto, muitas vezes os conjuntos gerados são muito grandes, o que torna sua aplicação inviável. Trabalhos recentes definiram condições que podem ser utilizadas para investigar mecanismos de redução de casos de teste. Este trabalho apresenta uma estratégia para a redução de conjuntos de seqüências de teste a partir de Máquinas de Estados Finitos com base em condições de suficiência. A estratégia baseia-se na combinação de seqüências de um conjunto de teste, de forma a reduzir o número de seqüências e o tamanho delas, mantendo a completude do conjunto. São apresentadas seis abordagens de redução baseadas na estratêgia proposta, as quais foram implementadas em uma ferramenta. Para avaliar as abordagens foram conduzidos estudos experimentais, os quais também serviram para inferir sobre as características e propriedades de cada abordagem. Além disso, um estudo de caso com MEFs reais também foi realizado
- Imprenta:
- Publisher place: São Carlos
- Date published: 2010
- Data da defesa: 18.06.2010
-
ABNT
CUTIGI, Jorge Francisco. Uma estratêgia para redução de conjuntos de seqüências de teste para máquinas de estados finitos. 2010. Dissertação (Mestrado) – Universidade de São Paulo, São Carlos, 2010. Disponível em: http://www.teses.usp.br/teses/disponiveis/55/55134/tde-16082010-142539/. Acesso em: 01 jan. 2026. -
APA
Cutigi, J. F. (2010). Uma estratêgia para redução de conjuntos de seqüências de teste 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-16082010-142539/ -
NLM
Cutigi JF. Uma estratêgia para redução de conjuntos de seqüências de teste para máquinas de estados finitos [Internet]. 2010 ;[citado 2026 jan. 01 ] Available from: http://www.teses.usp.br/teses/disponiveis/55/55134/tde-16082010-142539/ -
Vancouver
Cutigi JF. Uma estratêgia para redução de conjuntos de seqüências de teste para máquinas de estados finitos [Internet]. 2010 ;[citado 2026 jan. 01 ] Available from: http://www.teses.usp.br/teses/disponiveis/55/55134/tde-16082010-142539/ - Computational approaches for the discovery of significant genes in cancer
- GeNWeMME: a network-based computational method for prioritizing groups of significant related genes in cancer
- Approaches for the identification of driver mutations in cancer: a tutorial from a computational perspective
- A computational approach for the discovery of significant cancer genes by weighted mutation and asymmetric spreading strength in networks
- Topological characterization of cancer driver genes using reactome super pathways networks
- Combining mutation and gene network data in a machine learning approach for false-positive cancer driver gene discovery
How to cite
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
