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

Informaatioteknologia

Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Konferenssiartikkeli › Tieteellinen › vertaisarvioitu

1 Sitaatiot (Scopus)

134 Lataukset (Pure)

Abstrakti

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.

Alkuperäiskieli	Englanti
Otsikko	MODELS '20: Proceedings of the 23rd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings
Julkaisupaikka	New York, NY, United States
Kustantaja	ACM
Sivut	251-256
Sivumäärä	6
ISBN (elektroninen)	9781450381352
DOI - pysyväislinkit	https://doi.org/10.1145/3417990.3421399
Tila	Julkaistu - lokak. 2020
OKM-julkaisutyyppi	A4 Artikkeli konferenssijulkaisuussa
Tapahtuma	ACM/IEEE 23rd International Conference on Model Driven Engineering Languages and Systems - Kesto: 16 lokak. 2020 → 23 lokak. 2020

Konferenssi

Konferenssi	ACM/IEEE 23rd International Conference on Model Driven Engineering Languages and Systems
Lyhennettä	MODELS '20
Ajanjakso	16/10/20 → 23/10/20

Pääsy asiakirjaan

10.1145/3417990.3421399

MLE2020-CameraReadyHyväksytty kirjoittajan käsikirjoitus, 804 KBLisenssi: Publisher rights policy

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

Viittausmuodot

@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. julkaisussa 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, Sivut 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.

Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Konferenssiartikkeli › Tieteellinen › vertaisarvioitu

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 - Published conference proceeding

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

Abstrakti

Konferenssi

Pääsy asiakirjaan

Sormenjälki

Viittausmuodot