Time semantics of executable activity diagrams for relativized conformance testing

Junaid Iqbal; Dragos Truscan; Juri Vain

doi:10.1145/3417990.3421399

Time semantics of executable activity diagrams for relativized conformance testing

Junaid Iqbal, Dragos Truscan, Juri Vain

Informationsteknologi

Forskningsoutput: Kapitel i bok/konferenshandling › Konferensbidrag › Vetenskaplig › Peer review

22 Nedladdningar (Pure)

Sammanfattning

The executable subset of UML provides the ability to execute and simulate design models prior to implementation. In this paper, we introduce time semantics and relativized time input/output conformance rtioco relation for executable UML activity diagrams. The aforementioned features are essential and viable to perform online conformance testing. We present a tool support by extending the fUML execution engine, and demonstrate the approach on an example.

Originalspråk	Engelska
Titel på värdpublikation	MODELS '20: Proceedings of the 23rd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings
Utgivningsort	New York, NY, United States
Förlag	ACM
Sidor	251-256
Antal sidor	6
ISBN (elektroniskt)	9781450381352
DOI	https://doi.org/10.1145/3417990.3421399
Status	Publicerad - okt. 2020
MoE-publikationstyp	A4 Artikel i en konferenspublikation
Evenemang	ACM/IEEE 23rd International Conference on Model Driven Engineering Languages and Systems - Varaktighet: 16 okt. 2020 → 23 okt. 2020

Konferens

Konferens	ACM/IEEE 23rd International Conference on Model Driven Engineering Languages and Systems
Förkortad titel	MODELS '20
Period	16/10/20 → 23/10/20

Åtkomst av dokument

10.1145/3417990.3421399

MLE2020-CameraReadyAccepterat manuskript från författare, 804 KBLicens: Publisher rights policy

https://urn.fi/URN:NBN:fi-fe202201147742

Citera det här

@inproceedings{15860103a94f492e8cc712270b1c9173,

title = "Time semantics of executable activity diagrams for relativized conformance testing",

abstract = "The executable subset of UML provides the ability to execute and simulate design models prior to implementation. In this paper, we introduce time semantics and relativized time input/output conformance rtioco relation for executable UML activity diagrams. The aforementioned features are essential and viable to perform online conformance testing. We present a tool support by extending the fUML execution engine, and demonstrate the approach on an example.",

keywords = "Software Testing, fUML, Time semantics, executable UML, software validation, software verification",

author = "Junaid Iqbal and Dragos Truscan and Juri Vain",

year = "2020",

month = oct,

doi = "10.1145/3417990.3421399",

language = "English",

pages = "251--256",

booktitle = "MODELS '20: Proceedings of the 23rd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings",

publisher = "ACM",

address = "United States",

note = "ACM/IEEE 23rd International Conference on Model Driven Engineering Languages and Systems, MODELS '20 ; Conference date: 16-10-2020 Through 23-10-2020",

}

Iqbal, J , Truscan, D & Vain, J 2020, Time semantics of executable activity diagrams for relativized conformance testing. i MODELS '20: Proceedings of the 23rd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings., 42, ACM, New York, NY, United States, s. 251-256, ACM/IEEE 23rd International Conference on Model Driven Engineering Languages and Systems, 16/10/20. https://doi.org/10.1145/3417990.3421399

Time semantics of executable activity diagrams for relativized conformance testing. / Iqbal, Junaid ; Truscan, Dragos; Vain, Juri.
MODELS '20: Proceedings of the 23rd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings. New York, NY, United States: ACM, 2020. s. 251-256 42.

Forskningsoutput: Kapitel i bok/konferenshandling › Konferensbidrag › Vetenskaplig › Peer review

TY - GEN

T1 - Time semantics of executable activity diagrams for relativized conformance testing

AU - Iqbal, Junaid

AU - Truscan, Dragos

AU - Vain, Juri

PY - 2020/10

Y1 - 2020/10

N2 - The executable subset of UML provides the ability to execute and simulate design models prior to implementation. In this paper, we introduce time semantics and relativized time input/output conformance rtioco relation for executable UML activity diagrams. The aforementioned features are essential and viable to perform online conformance testing. We present a tool support by extending the fUML execution engine, and demonstrate the approach on an example.

AB - The executable subset of UML provides the ability to execute and simulate design models prior to implementation. In this paper, we introduce time semantics and relativized time input/output conformance rtioco relation for executable UML activity diagrams. The aforementioned features are essential and viable to perform online conformance testing. We present a tool support by extending the fUML execution engine, and demonstrate the approach on an example.

KW - Software Testing

KW - fUML

KW - Time semantics

KW - executable UML

KW - software validation

KW - software verification

U2 - 10.1145/3417990.3421399

DO - 10.1145/3417990.3421399

M3 - Conference contribution

SP - 251

EP - 256

BT - MODELS '20: Proceedings of the 23rd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings

PB - ACM

CY - New York, NY, United States

T2 - ACM/IEEE 23rd International Conference on Model Driven Engineering Languages and Systems

Y2 - 16 October 2020 through 23 October 2020

ER -

Time semantics of executable activity diagrams for relativized conformance testing

Sammanfattning

Konferens

Åtkomst av dokument

Fingeravtryck

Citera det här