Bolsa 08/07969-9 - Validação - BV FAPESP
Jaca2: um injetor de falhas por alteração do bytecode
Avaliação de metodologias e procedimentos para ensaios de modelos de sistemas de p...
Métodos de geração de casos de testes independentes de conjuntos característico
Processo: 08/07969-9
Assunto(s): Validação
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.
CHAVES PEDROSA, LEHILTON LELIS; MOURA, ARNALDO VIEIRA. Incremental testing of finite state machines. SOFTWARE TESTING VERIFICATION & RELIABILITY, v. 23, n. 8, p. 585-612, DEC 2013. Citações Web of Science: 2.
PEDROSA, Lehilton Lelis Chaves. Geração automática de casos de testes para máquinas de estados finitos. 2010. Dissertação de Mestrado - Universidade Estadual de Campinas (UNICAMP). Instituto de Computação.