Sampling of Shape Expressions with ShapEx

In this paper we present SHAPEx, a tool that generates random behaviors from shape expressions, a formal specification language for describing sophisticated temporal behaviors of CPS. The tool samples a random behavior in two steps: (1) it first explores the space of qualitative parameterized shapes...

Celý popis

Uloženo v:
Podrobná bibliografie
Vydáno v:2021 19th ACM-IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE) s. 118 - 125
Hlavní autoři: Basset, Nicolas, Dang, Thao, Gigler, Felix, Mateis, Cristinel, Nickovic, Dejan
Médium: Konferenční příspěvek
Jazyk:angličtina
Vydáno: ACM 20.11.2021
Témata:
Automata
Behavioral sciences
hit-and-run
Libraries
sampling
Shape
shape expressions
Space exploration
Systematics
testing
Visualization
On-line přístup:Získat plný text
Tagy: Přidat tag
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!
Popis
Shrnutí:In this paper we present SHAPEx, a tool that generates random behaviors from shape expressions, a formal specification language for describing sophisticated temporal behaviors of CPS. The tool samples a random behavior in two steps: (1) it first explores the space of qualitative parameterized shapes and then (2) instantiates parameters by sampling a possibly non-linear constraint. We implement several sampling strategies in the tool that we present in the paper and demonstrate its applicability on two use scenarios.
DOI:10.1145/3487212.3487350