Test sequence generation from formally verified sysml models

Pierre De Saqui-Sannes; Ludovic Apvrille

Test sequence generation from formally verified sysml models

Pierre De Saqui-Sannes
, Ludovic Apvrille

Université de Toulouse
Université Paris-Saclay

Résultats de recherche: Contribution à un journal › Article de conférence › Revue par des pairs

Résumé

Test generation has been acknowledged as a costprone activity reducing productivity and time to market. The expected benefits of Model Based Systems Engineering include automated generation of test sequences from models. The paper proposes verification solutions for the System Modeling Language (SysML). In particular, the paper shows how to link test generation to formal verification. The proposed algorithms are implemented by the free software TTool. Two case studies support discussion on conformance and interoperability testing, respectively.

langue originale	Anglais
Pages (de - à)	67-74
Nombre de pages	8
journal	CEUR Workshop Proceedings
Volume	2308
état	Publié - 1 janv. 2019
Modification externe	Oui
Evénement	2019 Workshops of the Software Engineering Conference, SEW 2019 - Stuttgart, Allemagne Durée: 18 févr. 2019 → 22 févr. 2019

Contient cette citation

@article{c9cf08ea48e6478ca1915aa3ea51a031,

title = "Test sequence generation from formally verified sysml models",

abstract = "Test generation has been acknowledged as a costprone activity reducing productivity and time to market. The expected benefits of Model Based Systems Engineering include automated generation of test sequences from models. The paper proposes verification solutions for the System Modeling Language (SysML). In particular, the paper shows how to link test generation to formal verification. The proposed algorithms are implemented by the free software TTool. Two case studies support discussion on conformance and interoperability testing, respectively.",

author = "\{De Saqui-Sannes\}, Pierre and Ludovic Apvrille",

note = "Publisher Copyright: {\textcopyright} 2019 CEUR-WS.; 2019 Workshops of the Software Engineering Conference, SEW 2019 ; Conference date: 18-02-2019 Through 22-02-2019",

year = "2019",

month = jan,

day = "1",

language = "English",

volume = "2308",

pages = "67--74",

journal = "CEUR Workshop Proceedings",

issn = "1613-0073",

publisher = "CEUR-WS",

}

TY - JOUR

T1 - Test sequence generation from formally verified sysml models

AU - De Saqui-Sannes, Pierre

AU - Apvrille, Ludovic

PY - 2019/1/1

Y1 - 2019/1/1

N2 - Test generation has been acknowledged as a costprone activity reducing productivity and time to market. The expected benefits of Model Based Systems Engineering include automated generation of test sequences from models. The paper proposes verification solutions for the System Modeling Language (SysML). In particular, the paper shows how to link test generation to formal verification. The proposed algorithms are implemented by the free software TTool. Two case studies support discussion on conformance and interoperability testing, respectively.

AB - Test generation has been acknowledged as a costprone activity reducing productivity and time to market. The expected benefits of Model Based Systems Engineering include automated generation of test sequences from models. The paper proposes verification solutions for the System Modeling Language (SysML). In particular, the paper shows how to link test generation to formal verification. The proposed algorithms are implemented by the free software TTool. Two case studies support discussion on conformance and interoperability testing, respectively.

M3 - Conference article

AN - SCOPUS:85061768810

SN - 1613-0073

VL - 2308

SP - 67

EP - 74

JO - CEUR Workshop Proceedings

JF - CEUR Workshop Proceedings

T2 - 2019 Workshops of the Software Engineering Conference, SEW 2019

Y2 - 18 February 2019 through 22 February 2019

ER -

Test sequence generation from formally verified sysml models

Résumé

Empreinte digitale

Contient cette citation