A toolset for conformance testing against UML sequence diagrams based on event-driven colored Petri nets

• Type: Article in International Scientific Journal
• Date: 2016

Authors

João Pascoal Faria (Author) FEUP; Ana C. R. Paiva (Author) FEUP

Journal

Title: International Journal on Software Tools for Technology Transfer

Vol. 18 No. 3

Pages: 285-304

ISSN: 1433-2779

Publisher: Springer Nature

Indexing

ISI Web of Knowledge - 6 Citations

Scopus - 10 Citations

INSPEC

Scientific classification

CORDIS: Technological sciences > Technology > Information technology

Associated Projects

PTDC/EIA-EIA/119479/2010 - Teste de interfaces gráficas com o utilizador baseado em padrões

Other information

Authenticus ID: P-00A-8V0

DOI: 10.1007/s10009-014-0354-x

Abstract (EN): 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.

Language: English

Type (Professor's evaluation): Scientific

No. of pages: 20