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://hdl.handle.net/10216/97882 |
Related Information: | info:eu-repo/grantAgreement/FCT - Fundação para a Ciência e a 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 | Size | Format | |
---|---|---|---|---|
92919.pdf Restricted Access | 2.86 MB | Adobe PDF | Request a copy from the Author(s) |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.