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.
| Original language | English |
|---|---|
| Pages (from-to) | 67-74 |
| Number of pages | 8 |
| Journal | CEUR Workshop Proceedings |
| Volume | 2308 |
| Publication status | Published - 1 Jan 2019 |
| Externally published | Yes |
| Event | 2019 Workshops of the Software Engineering Conference, SEW 2019 - Stuttgart, Germany Duration: 18 Feb 2019 → 22 Feb 2019 |