Skip to content

About

Testcase Generator for the OpenDSE framework.

Resources

Stars

2 stars

Watchers

2 watching

Forks

Repository files navigation

OpenDSE-TestGen Build & Test

OpenDSE-TestGen

OpenDSE-TestGen is a testcase generator for the OpenDSE framework, written in Java. It generates a specification graph consisting of an application graph, an architecture graph, and a set of mapping edges connecting both graphs. The specification is stored in the XML format defined by OpenDSE.

Features

The following architecture types are supported:

  • Gateway
  • NoC
  • Backbone

The following application patterns are supported:

  • N parallel functions with a configurable width in their application graphs
  • Mixed-Criticality application that contains safety-critical and non-critical functions

Java Versions

OpenDSE-TestGen requires Java 21 (LTS) or higher.

Credits

Brought to you by

  • Alexander Reichle
  • Lukas Pfeifer
  • Michael Glaß

This project uses

  • opendse as underlying graph-based system model

About

Testcase Generator for the OpenDSE framework.

Resources

Stars

2 stars

Watchers

2 watching

Forks

Releases

Packages

Contributors

Languages