From LTL to Scenarios: Automatic Test Case Generation for Axini Modeling Language

Maarten Schröder; Machiel van der Bijl; Wan Fokkink

doi:10.1007/978-3-031-85134-6_11

From LTL to Scenarios: Automatic Test Case Generation for Axini Modeling Language

Maarten Schröder, Machiel van der Bijl, Wan Fokkink^*

^*Corresponding author for this work

Research output: Chapter in Book / Report / Conference proceeding › Chapter › Academic › peer-review

Abstract

Axini offers a commercial platform to perform model-based software testing, using models written in Axini’s Modeling Language. To verify properties of a system, they use scenario constructs that describe these properties, which are matched against automatically generated test cases. These scenarios are used as alternatives to properties written in Linear Temporal Logic. We provide a translation from a fragment of this logic to scenarios. Moreover, we present a method, using scenarios, to automatically generate test cases, based on the requirements of the system. Experiments show the effectiveness of the method.

Original language	English
Title of host publication	Rebeca for Actor Analysis in Action
Subtitle of host publication	Essays Dedicated to Marjan Sirjani on the Occasion of Her 60th Birthday
Editors	Edward A. Lee, Mohammad Reza Mousavi, Carolyn Talcott
Publisher	Springer Nature
Pages	236-265
Number of pages	30
ISBN (Electronic)	9783031851346
ISBN (Print)	9783031851339
DOIs	https://doi.org/10.1007/978-3-031-85134-6_11
Publication status	Published - 2025

Publication series

Name	Lecture Notes in Computer Science
Publisher	Springer
Volume	15560 LNCS
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Bibliographical note

Publisher Copyright:
© The Author(s), under exclusive license to Springer Nature Switzerland AG 2025.

Access to Document

10.1007/978-3-031-85134-6_11

Persistent URL (handle)

Persistent link

Cite this

Schröder, M., van der Bijl, M., & Fokkink, W. (2025). From LTL to Scenarios: Automatic Test Case Generation for Axini Modeling Language. In E. A. Lee, M. Reza Mousavi, & C. Talcott (Eds.), Rebeca for Actor Analysis in Action: Essays Dedicated to Marjan Sirjani on the Occasion of Her 60th Birthday (pp. 236-265). (Lecture Notes in Computer Science; Vol. 15560 LNCS). Springer Nature. https://doi.org/10.1007/978-3-031-85134-6_11

Schröder, Maarten ; van der Bijl, Machiel ; Fokkink, Wan. / From LTL to Scenarios : Automatic Test Case Generation for Axini Modeling Language. Rebeca for Actor Analysis in Action: Essays Dedicated to Marjan Sirjani on the Occasion of Her 60th Birthday. editor / Edward A. Lee ; Mohammad Reza Mousavi ; Carolyn Talcott. Springer Nature, 2025. pp. 236-265 (Lecture Notes in Computer Science).

@inbook{41f5fb0446b844cda1c09a468844918a,

title = "From LTL to Scenarios: Automatic Test Case Generation for Axini Modeling Language",

abstract = "Axini offers a commercial platform to perform model-based software testing, using models written in Axini{\textquoteright}s Modeling Language. To verify properties of a system, they use scenario constructs that describe these properties, which are matched against automatically generated test cases. These scenarios are used as alternatives to properties written in Linear Temporal Logic. We provide a translation from a fragment of this logic to scenarios. Moreover, we present a method, using scenarios, to automatically generate test cases, based on the requirements of the system. Experiments show the effectiveness of the method.",

author = "Maarten Schr{\"o}der and {van der Bijl}, Machiel and Wan Fokkink",

note = "Publisher Copyright: {\textcopyright} The Author(s), under exclusive license to Springer Nature Switzerland AG 2025.",

year = "2025",

doi = "10.1007/978-3-031-85134-6_11",

language = "English",

isbn = "9783031851339",

series = "Lecture Notes in Computer Science",

publisher = "Springer Nature",

pages = "236--265",

editor = "Lee, {Edward A.} and {Reza Mousavi}, Mohammad and Carolyn Talcott",

booktitle = "Rebeca for Actor Analysis in Action",

address = "Switzerland",

}

Schröder, M, van der Bijl, M & Fokkink, W 2025, From LTL to Scenarios: Automatic Test Case Generation for Axini Modeling Language. in EA Lee, M Reza Mousavi & C Talcott (eds), Rebeca for Actor Analysis in Action: Essays Dedicated to Marjan Sirjani on the Occasion of Her 60th Birthday. Lecture Notes in Computer Science, vol. 15560 LNCS, Springer Nature, pp. 236-265. https://doi.org/10.1007/978-3-031-85134-6_11

From LTL to Scenarios: Automatic Test Case Generation for Axini Modeling Language. / Schröder, Maarten; van der Bijl, Machiel; Fokkink, Wan.
Rebeca for Actor Analysis in Action: Essays Dedicated to Marjan Sirjani on the Occasion of Her 60th Birthday. ed. / Edward A. Lee; Mohammad Reza Mousavi; Carolyn Talcott. Springer Nature, 2025. p. 236-265 (Lecture Notes in Computer Science; Vol. 15560 LNCS).

Research output: Chapter in Book / Report / Conference proceeding › Chapter › Academic › peer-review

TY - CHAP

T1 - From LTL to Scenarios

T2 - Automatic Test Case Generation for Axini Modeling Language

AU - Schröder, Maarten

AU - van der Bijl, Machiel

AU - Fokkink, Wan

N1 - Publisher Copyright: © The Author(s), under exclusive license to Springer Nature Switzerland AG 2025.

PY - 2025

Y1 - 2025

N2 - Axini offers a commercial platform to perform model-based software testing, using models written in Axini’s Modeling Language. To verify properties of a system, they use scenario constructs that describe these properties, which are matched against automatically generated test cases. These scenarios are used as alternatives to properties written in Linear Temporal Logic. We provide a translation from a fragment of this logic to scenarios. Moreover, we present a method, using scenarios, to automatically generate test cases, based on the requirements of the system. Experiments show the effectiveness of the method.

AB - Axini offers a commercial platform to perform model-based software testing, using models written in Axini’s Modeling Language. To verify properties of a system, they use scenario constructs that describe these properties, which are matched against automatically generated test cases. These scenarios are used as alternatives to properties written in Linear Temporal Logic. We provide a translation from a fragment of this logic to scenarios. Moreover, we present a method, using scenarios, to automatically generate test cases, based on the requirements of the system. Experiments show the effectiveness of the method.

UR - http://www.scopus.com/inward/record.url?scp=105001386869&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=105001386869&partnerID=8YFLogxK

U2 - 10.1007/978-3-031-85134-6_11

DO - 10.1007/978-3-031-85134-6_11

M3 - Chapter

AN - SCOPUS:105001386869

SN - 9783031851339

T3 - Lecture Notes in Computer Science

SP - 236

EP - 265

BT - Rebeca for Actor Analysis in Action

A2 - Lee, Edward A.

A2 - Reza Mousavi, Mohammad

A2 - Talcott, Carolyn

PB - Springer Nature

ER -

Schröder M, van der Bijl M, Fokkink W. From LTL to Scenarios: Automatic Test Case Generation for Axini Modeling Language. In Lee EA, Reza Mousavi M, Talcott C, editors, Rebeca for Actor Analysis in Action: Essays Dedicated to Marjan Sirjani on the Occasion of Her 60th Birthday. Springer Nature. 2025. p. 236-265. (Lecture Notes in Computer Science). Epub 2025 Mar 21. doi: 10.1007/978-3-031-85134-6_11