| Processo: | 08/07969-9 |
| Modalidade de apoio: | Bolsas no Brasil - Mestrado |
| Data de Início da vigência: | 01 de março de 2009 |
| Data de Término da vigência: | 31 de julho de 2010 |
| Área de conhecimento: | Ciências Exatas e da Terra - Ciência da Computação - Teoria da Computação |
| Pesquisador responsável: | Arnaldo Vieira Moura |
| Beneficiário: | Lehilton Lelis Chaves Pedrosa |
| Instituição Sede: | Instituto de Computação (IC). Universidade Estadual de Campinas (UNICAMP). Campinas , SP, Brasil |
| Assunto(s): | Validação |
| Palavra(s)-Chave do Pesquisador: | conjuntos característicos | geração de casos testes | máquina de estados finita | validação | Métodos formais para geração de casos de teste |
Resumo Máquinas de estados finitas (MEF) são utilizadas para modelar especificações e gerar casos de testes, imprescindíveis para validação de sistemas complexos, como protocolos de comunicação e programas de computador. Diversos métodos existem que utilizam conjuntos característicos das MEFs. Entre eles estão o método-W (Chow 1978) e suas derivações. Em (Bonifacio e Moura 2008), o método W é generalizado, prescindindo de conjuntos característicos da especificação. Neste projeto, nós propomos uma extensão do trabalho de Bonifácio para outros métodos derivados do W, que incluem os métodos Wp (Fujiwara e outros 1991), HSI (Luo 1994) e H (Dorofeeva 2005). Além disso, investigamos o ganho dessas generalizações, tomando como métrica o tamanho das instâncias de teste e a complexidade dos algoritmos. | |
| Matéria(s) publicada(s) na Agência FAPESP sobre a bolsa: | |
| Mais itensMenos itens | |
| TITULO | |
| Matéria(s) publicada(s) em Outras Mídias ( ): | |
| Mais itensMenos itens | |
| VEICULO: TITULO (DATA) | |
| VEICULO: TITULO (DATA) | |