Serviços Personalizados
Journal
Artigo
Indicadores
- Citado por SciELO
- Acessos
Links relacionados
- Similares em SciELO
Compartilhar
Ingeniería, investigación y tecnología
versão On-line ISSN 2594-0732versão impressa ISSN 1405-7743
Resumo
RAMIREZ-DE LEON, Edgar Darío; CHAVEZ-BOSQUEZ, Oscar e FRANCISCO-LEON, Julián Javier. Empirical Tests and Preliminary Results with the Krakatoa Tool for Full Static Program Verification. Ing. invest. y tecnol. [online]. 2014, vol.15, n.4, pp.493-504. ISSN 2594-0732.
XJML (Ramírez et al., 2012) is a modular external platform for Verification and Validation of Java classes using the Java Modeling Language (JML) through contracts written in XML. One problem faced in the XJML development was how to integrate Full Static Program Verification (FSPV). This paper presents the experiments and results that allowed us to define what tool to embed in XJML to execute FSPV.
Palavras-chave : model checking; verification and validation; JML; XML; Java; Runtime Assertion Checking; Extended Static Checking; Full Static Program Verification.