Techniques and toolset for conformance testing against UML sequence diagrams

• Type: Article in International Conference Proceedings Book
• Date: 2013

Authors

Faria, JP (Author) FEUP; Paiva, ACR (Author) FEUP; De Castro, MV (Author) Other

Conference proceedings International

Title: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Pages: 180-195

25th IFIPWG 6.1 International Conference on Testing Software and Systems, ICTSS 2013

Istanbul, 13 November 2013 through 15 November 2013

Indexing

ISI Web of Knowledge

Scopus - 1 Citation

Other information

Authenticus ID: P-009-4T5

DOI: 10.1007/978-3-642-41707-8_12

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 (SDs), describing both external and internal interactions. Test code is automatically generated from the SDs and executed on the Java 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. Incremental conformance checking is achieved by first translating SDs to non-deterministic acceptance automata with parallelism. © IFIP International Federation for Information Processing 2013.

Language: English

Type (Professor's evaluation): Scientific

No. of pages: 16