Structural coverage analysis of test sets derived from formal specifications: a comparative study in the space applications context / Análise de cobertura de critérios de teste estruturais a partir de conjuntos derivados de especificações formais: um estudo comparativo no contexto de aplicações espaciais
AUTOR(ES)
Paula Fernanda Ramos Herculano
DATA DE PUBLICAÇÃO
2007
RESUMO
Testing techniques can be divided, in high level, in code-based ones (white box) and specification based ones (black box). None of them are complete as they intend to identify different kinds of faults. The use of them together can increase the application confidence level. Thus, it is important to investigate the relationship between structural testing techniques and functional testing techniques, how they complete themselves and how they can be used together. This paper was developed in the context of the Plavis (PLAtform of software Validation &Integration on Space systems) project. This project provides comparative studies between functional generation testing techniques (based on formal specifications) and structural generation testing techniques, such as control-flow and data-flow criteria, applied in the implementation. In a specific context, this study provides data about the relationship between these techniques and how they can be used together. In the context of the Plavis project, the goal is to provide a testing strategy, based on functional and structural criteria, and a set of tools, composing a testing environment to be used in Space Applications projects, at INPE
ASSUNTO(S)
software testing teste de conformidade model-based testing formal methods conformance testing teste baseado em modelos métodos formais teste de software
Documentos Relacionados
- Validação de especificações de sistemas reativos: Definição e análise de critérios de teste.
- Diretrizes e critérios de cobertura de teste a partir de especificações UML
- Partial generation of Java code from Z formal specifications.
- Qualidade de conjuntos de teste de software de código aberto: uma análise baseada em critérios estruturais
- Qualidade de conjuntos de teste de software de código aberto: uma análise baseada em critérios estruturais