Formal test-case generation for UML statecharts (Contributo in atti di convegno)

Type

• Contributo in atti di convegno (Classe)
• Prodotto della ricerca (Classe)

Label

• Formal test-case generation for UML statecharts (Contributo in atti di convegno) (literal)

Anno

• 2004-01-01T00:00:00+01:00 (literal)

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#doi

• 10.1109/ICECCS.2004.1310906 (literal)

Alternative label

• Stefania Gnesi; Diego Latella; Mieke Massink (2004)
  Formal test-case generation for UML statecharts
  in 9th IEEE International Conference on Engineering of Complex Computer Systems, Florence
  (literal)

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#autori

• Stefania Gnesi; Diego Latella; Mieke Massink (literal)

Pagina inizio

• 75 (literal)

Pagina fine

• 84 (literal)

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#titoloVolume

• Proceedings of the Ninth IEEE International Conference on Engineering Complex Computer Systems (literal)

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#note

• (Italy, April 14-16, 2004). Proceedings, pp. 75-84. Bellini, P., Bohner, S. and Steffen, B. (eds.). IEEE Computer Society Press, 2004. (literal)

Note

• ISI Web of Science (WOS) (literal)
• Scopu (literal)

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#affiliazioni

• CNR/ISTI, Via Moruzzi 1, I56124 Pisa, ITALY; CNR/ISTI, Via Moruzzi 1, I56124 Pisa, ITALY; CNR/ISTI, Via Moruzzi 1, I56124 Pisa, ITALY (literal)

Titolo

• Formal test-case generation for UML statecharts (literal)

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#isbn

• 0-7695-2109-6 (literal)

Abstract

• The Unified Modeling Language has been introduced as a notation for modeling and reasoning about large and complex systems, and their design, across a wide range of application domains. System modeling and analysis tech- niques, especially those based on formal methods, are more and more used for enhancing traditional System Engineer- ing techniques for improving system quality. In particular this holds for model-based formal test case derivation using formal conformance testing. The contribution of the present paper is to provide a solid mathematical basis for confor- mance testing and automatic test case generation for UML Statecharts (UMLSCs). We propose a formal conformance- testing relation for input-enabled transition systems with transitions labeled by input/output-pairs (IOLTSs). IOLTSs provide a suitable semantic model for a behavioral sub- set of UMLSCs. We also provide an algorithm which, for a UMLSC specification and the alphabet of implementations, generates a test suite. The algorithm is proven exhaustive and sound w.r.t. the conformance relation. (literal)

Editore

• IEEE Computer Society (Editore)

Prodotto di

• Metodi e Strumenti per la Progettazione di Sistemi Software-Intensive ad Elevata Complessità (ICT.P09.008.002) (Modulo)
• Istituto di scienza e tecnologie dell'informazione \"Alessandro Faedo\" (ISTI) (Istituto)

Autore CNR

• MIEKE MASSINK (Unità di personale interno)
• DIEGO LATELLA (Unità di personale interno)
• STEFANIA GNESI (Persona)

Insieme di parole chiave

• Keywords of "Formal test-case generation for UML statecharts" (Insieme di parole chiave)

Incoming links:

Autore CNR di

• MIEKE MASSINK (Unità di personale interno)
• DIEGO LATELLA (Unità di personale interno)
• STEFANIA GNESI (Persona)

Prodotto

• Istituto di scienza e tecnologie dell'informazione \"Alessandro Faedo\" (ISTI) (Istituto)
• Metodi e Strumenti per la Progettazione di Sistemi Software-Intensive ad Elevata Complessità (ICT.P09.008.002) (Modulo)

Editore di

• IEEE Computer Society (Editore)

Insieme di parole chiave di

• Keywords of "Formal test-case generation for UML statecharts" (Insieme di parole chiave)