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

• Tipo: Artigo em Revista Científica Internacional
• Data: 2016

Autores

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

Revista

Título: International Journal on Software Tools for Technology Transfer

Vol. 18 Nº 3

Páginas: 285-304

ISSN: 1433-2779

Editora: Springer Nature

Indexação

ISI Web of Knowledge - 6 Citações

Scopus - 10 Citações

INSPEC

Classificação Científica

CORDIS: Ciências Tecnológicas > Tecnologia > Tecnologia da informação

Projetos Associados

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

Outras Informações

ID Authenticus: 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.

Idioma: Inglês

Tipo (Avaliação Docente): Científica

Nº de páginas: 20