Test Sequence Generation From Formally Verified SysML Models

Abstract : Test generation has been acknowledged as a cost-prone 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.
Complete list of metadatas

Cited literature [25 references]  Display  Hide  Download

https://hal.telecom-paristech.fr/hal-02337493
Contributor : Ludovic Apvrille <>
Submitted on : Tuesday, October 29, 2019 - 2:45:17 PM
Last modification on : Tuesday, November 5, 2019 - 9:32:02 AM

File

AvioSE2019_DeSaquiSannes_Apvri...
Files produced by the author(s)

Identifiers

  • HAL Id : hal-02337493, version 1

Citation

Pierre de Saqui-Sannes, Ludovic Apvrille. Test Sequence Generation From Formally Verified SysML Models. Asia-Pacific Software Engineering Conference (APSEC'2019), Feb 2019, Stuttgart, Germany. ⟨hal-02337493⟩

Share

Metrics

Record views

9

Files downloads

5