A counter-example testing approach for orchestrated services (Contributo in atti di convegno)

Type
Label
  • A counter-example testing approach for orchestrated services (Contributo in atti di convegno) (literal)
Anno
  • 2010-01-01T00:00:00+01:00 (literal)
Alternative label
  • De Angelis F.; Polini A.; De Angelis G. (2010)
    A counter-example testing approach for orchestrated services
    in Third International Conference on Software Testing, Verification and Validation, Paris
    (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#autori
  • De Angelis F.; Polini A.; De Angelis G. (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#note
  • In: ICST 2010 - Third International Conference on Software Testing, Verification and Validation (Paris, 6-10 April 2010). Proceedings, pp. 373 - 382. IEEE Computer Society, 2010. (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#descrizioneSinteticaDelProdotto
  • ABSTRACT: Service oriented computing is based on a typical combination of features such as very late binding, run-time integration of software elements owned and managed by third parties, run-time changes. These characteristics generally make difficult both static and dynamic verification capabilities of service-centric systems. In this domain verification and testing research communities have to face new issues and revise existing solutions; possibly profiting of the new opportunities that the new paradigm makes available. In this paper, focusing on service orchestrations, we propose an approach to automatic test case generation aiming in particular at checking the behaviour of services participating in a given orchestration. The approach exploits the availability of a runnable model (the BPEL specification) and uses model checking techniques to derive test cases suitable to detect possible integration problems. The approach has been implemented in a plug-in for the Eclipse platform a (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#affiliazioni
  • Department of Mathematics and Computer Science, University of Camerino, Italy, CNR-ISTI, Pisa (literal)
Titolo
  • A counter-example testing approach for orchestrated services (literal)
Prodotto di
Autore CNR
Insieme di parole chiave

Incoming links:


Prodotto
Autore CNR di
Insieme di parole chiave di
data.CNR.it