Enhancing test coverage by back-tracing model-checker counterexamples (Contributo in atti di convegno)

Type
Label
  • Enhancing test coverage by back-tracing model-checker counterexamples (Contributo in atti di convegno) (literal)
Anno
  • 2005-01-01T00:00:00+01:00 (literal)
Alternative label
  • Fantechi A.; Gnesi S.; Maggiore A. (2005)
    Enhancing test coverage by back-tracing model-checker counterexamples
    in TACoS, International Workshop onTest and Analysis of Component Based Systems, Barcelona
    (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#autori
  • Fantechi A.; Gnesi S.; Maggiore A. (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#note
  • (March 27-28, 2004). Electronic Notes in Computer Science Series Vol. 116. M. Pezzé (ed.). Elsevier, 2005. (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#descrizioneSinteticaDelProdotto
  • ABSTRACT: The automatic detection of unreachable coverage goals and generation of tests for 'corner-case' scenarios is crucial to make testing and simulation based verification more effective. In this paper we address the problem of coverability analysis and test case generation in modular and component based systems. We propose a technique that, given an uncovered branch in a component, either establishes that the branch cannot be covered or produces a test case at the system level which covers the branch. The technique is based on the use of counterexamples returned by model checkers, and exploits compositionality to cope with large state spaces typical of real applications. (literal)
Titolo
  • Enhancing test coverage by back-tracing model-checker counterexamples (literal)
Prodotto di
Insieme di parole chiave

Incoming links:


Prodotto
Insieme di parole chiave di
data.CNR.it