Um estudo sobre teste versus verificação formal de programas Java (2004)
- Authors:
- Autor USP: PRUDENTE, LEANDRO CESAR - IME
- Unidade: IME
- Sigla do Departamento: MAC
- Assunto: ENGENHARIA DE SOFTWARE
- Language: Português
- Abstract: Neste trabalho, estabelecemos uma correspondência entre a atividade de teste e a verificação formal de propriedades para programas concorrentes Java. Para tanto, aplicamos um dos critérios baseados no fluxo de objetos (critério de todos os pares definição-uso de objetos) e a ferramenta de verificação Bandera. A prioridade verificada é a ausência de deadlock. O estudo foi feito para analisar a cobertura dos requisitos identificados de cada programa, segundo o critério de teste adotado. Esta análise foi feita sobre 10 programas que apresentam o deadlock e logo em seguida sobre estes mesmos programas com a retirada do deadlock. Quando a propriedade é violada, a análise é realizada sobre os contra-exemplos gerados pela Bandera. Por outro lado, quando a propriedade não é violada, a análise é feita sobre os estados exercitados. Através deste estudo, percebemos que o uso de uma ferramenta de verificação formal é útil para auxiliar a cobertura do critério definido. Além disso, também mostramos que a análise de programas com e sem deadlock são complementares, ou seja, requisitos que não foram exercitados com a violação da propriedade foram exercitados quando esta não foi violada e vice-versa.
- Imprenta:
- Data da defesa: 14.04.2004
-
ABNT
PRUDENTE, Leandro César. Um estudo sobre teste versus verificação formal de programas Java. 2004. Dissertação (Mestrado) – Universidade de São Paulo, São Paulo, 2004. Disponível em: https://teses.usp.br/teses/disponiveis/45/45134/tde-20220712-121325/. Acesso em: 23 abr. 2024. -
APA
Prudente, L. C. (2004). Um estudo sobre teste versus verificação formal de programas Java (Dissertação (Mestrado). Universidade de São Paulo, São Paulo. Recuperado de https://teses.usp.br/teses/disponiveis/45/45134/tde-20220712-121325/ -
NLM
Prudente LC. Um estudo sobre teste versus verificação formal de programas Java [Internet]. 2004 ;[citado 2024 abr. 23 ] Available from: https://teses.usp.br/teses/disponiveis/45/45134/tde-20220712-121325/ -
Vancouver
Prudente LC. Um estudo sobre teste versus verificação formal de programas Java [Internet]. 2004 ;[citado 2024 abr. 23 ] Available from: https://teses.usp.br/teses/disponiveis/45/45134/tde-20220712-121325/
How to cite
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
