Validação de especificações de sistemas reativos: definição e análise de critérios de teste (2001)
- Authors:
- Autor USP: MALDONADO, JOSE CARLOS - ICMC
- Unidade: ICMC
- Assunto: SOFTWARES (DESENVOLVIMENTO;QUALIDADE;TESTES)
- Language: Português
- ISBN: 8588442043
- Conference titles: Congresso da Sociedade Brasileira de Computação
-
ABNT
SOUZA, Simone do Rocio Senger de e MALDONADO, José Carlos. Validação de especificações de sistemas reativos: definição e análise de critérios de teste. 2001, Anais.. [S.l.]: Instituto de Ciências Matemáticas e de Computação, Universidade de São Paulo, 2001. . Acesso em: 16 maio 2024. -
APA
Souza, S. do R. S. de, & Maldonado, J. C. (2001). Validação de especificações de sistemas reativos: definição e análise de critérios de teste. In . Instituto de Ciências Matemáticas e de Computação, Universidade de São Paulo. -
NLM
Souza S do RS de, Maldonado JC. Validação de especificações de sistemas reativos: definição e análise de critérios de teste. 2001 ;[citado 2024 maio 16 ] -
Vancouver
Souza S do RS de, Maldonado JC. Validação de especificações de sistemas reativos: definição e análise de critérios de teste. 2001 ;[citado 2024 maio 16 ] - Manual de configuracao de poke-tool
- Manual do usuario da poke-tool
- Poke-tool - estado atual de uma ferramenta para teste estrutural de software baseado em análise de fluxo de dados
- Um esquema de injeção de defeitos baseado em operadores de mutação
- Análise de mutantes e potenciais-usos: uma avaliação empírica
- Proteum-RS/ST: uma ferramenta para apoiar a validação de especificações statecharts baseada na analise de mutantes
- Aumentando a eficácia dos critérios estruturais através da utilização de critérios restritos
- Avaliação do impacto da minimização de conjuntos de casos de teste no custo e eficácia do critério análise de mutantes
- Uma estratégia de minimização de conjuntos de casos de teste para o critério análise de mutantes
- Avaliação da adequação de conjuntos de teste funcional utilizando critérios estruturais com o apoio de ferramentas de teste comerciais
How to cite
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas