|
SAST 2009 - Workshop Brasileiro de Teste de Software Sistemático e Automatizado
Co-locado com SBMF/SBLP 2009 Gramado, RS 19 de Agosto de 2009 Teste de software é a atividade central no processo de validação e verificação de sistemas de software. Tem sido largamente aplicado na indústria com o objetivo de detectar defeitos e também compor certificação de sistemas. A pesquisa nesta área tem crescido continuamente nos últimos anos e um notável progresso acadêmico já foi alcançado. A indústria tem melhorado continuamente os processos de teste. Abordagens sistemáticas provaram ser mais efetivas que testes ad-hoc, bem como a automatização das atividades repetitivas e estenuantes. Além disso, diversos casos de sucesso têm sido reportados. O principal objetivo do Workshop Brasileiro de Teste de Software Sistemático e Automatizado é ser um fórum que reuna a comunidade de pesquisadores e a indústria de teste de software no Brasil, promovendo o avanço da pesquisa e prática na área através do estabelecimento de colaborações e projetos em conjunto.
Artigos Aceitos
Artigos Técnicos1. Uma Técnica MDT para a Geração Automática de Casos de Teste Usando Padrões de Teste Camila Maciel (Universidade Federal de Campina Grande), Patricia Machado (Universidade Federal de Campina Grande), Franklin Ramalho (Universidade Federal de Campina Grande) 2. Geração de Sentenças para Testes a partir de Descrições de Linguagens Cleverton Hentz (Universidade Federal do Rio Grande do Norte), Anamaria Martins Moreira (Universidade Federal do Rio Grande do Norte) 3. Análise de Mutantes Aplicadas a Critérios de Cobertura de Teste a partir de MEFs Flávio Dusse (USP), José Maldonado (SSC/ICMC-USP/ São Carlos), Adenilso Simao (ICMC-USP) 4. Geração de Dados de Teste a Partir de Modelos de Sistemas Embarcados: Uma Revisão Sistemática Rodrigo Fraxino Araujo (ICMC/USP), Vinícius Humberto Durelli (Universidade de São Paulo), Marcio Delamaro (Universidade de São Paulo), José Maldonado (SSC/ICMC-USP/ São Carlos) 5. Geração de Seqüências de Verificação baseado em Algoritmos Genéticos Paulo Henrique Ribeiro (Universidade de São Paulo), Jorge Francisco Cutigi (Universidade de São Paulo), Adenilso Simao (ICMC-USP) 6. Oráculos de Teste para Domínios GUI: Uma Revisão Sistemática Rafael Oliveira (Universidade de Sao Paulo), Marcio Delamaro (Universidade de São Paulo), Fatima Nunes (EACH-USP) 7. Análise de Fluxo de Controle e Dados a partir do Diagrama de Atividades da UML 2.0 Jeferson Ferreira (Universidade Estadual de Campinas), Eliane Martins (UNICAMP) Relatório de Experiência:8. Test Case Selector: Uma Ferramenta para Seleção de TestesJuliana Mafra (Universidade Federal de Pernambuco), Breno Miranda (Universidade de Pernambuco), Juliano Iyoda (Universidade Federal de Pernambuco), Augusto Sampaio (Universidade Federal de Pernambuco)
Programa |