Please use this identifier to cite or link to this item: https://hdl.handle.net/10216/97882
Author(s): João Pascoal Faria
Ana C. R. Paiva
Title: A toolset for conformance testing against UML sequence diagrams based on event-driven colored Petri nets
Issue Date: 2016
Abstract: Novel techniques and a toolset are presented for automatically testing the conformance of software implementations against partial behavioral models constituted by a set of parameterized UML sequence diagrams, describing both external interactions with users or client applications and internal interactions between objects in the system. Test code is automatically generated from the sequence diagrams and executed on the implementation under test, and test results and coverage information are presented back visually in the model. A runtime test library handles internal interaction checking, test stubs, and user interaction testing, taking advantage of aspect-oriented programming techniques. Incremental conformance checking is achieved by first translating sequence diagrams to Extended Petri Nets that combine the characteristics of Colored Petri Nets and Event-Driven Petri Nets.
Subject: Tecnologia da informação
Information technology
URI: https://repositorio-aberto.up.pt/handle/10216/97882
Related Information: info:eu-repo/grantAgreement/FCT - Fundação para a Ciência e Tecnologia/Projectos de I&DT em Todos os Domínios Científicos/PTDC/EIA-EIA/119479/2010/Teste de interfaces gráficas com o utilizador baseado em padrões/PTDC/EIA-EIA/119479/2010
Document Type: Artigo em Revista Científica Internacional
Rights: restrictedAccess
Appears in Collections:FEUP - Artigo em Revista Científica Internacional

Files in This Item:
File Description SizeFormat 
92919.pdf
  Restricted Access
2.86 MBAdobe PDF    Request a copy from the Author(s)


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.