Computer Science
a year ago

New algorithm ensures full coverage of system transitions for efficient testing.

Lecture notes in computer science
Symbolic Observation Graph-Based Generation of Test Paths
Kaïs Klai, Mohamed Taha Bennani, Jaime Arias, Jörg Desel, Hanen Ochi

Paper Summary

Related papers

Theme background image
Engineering
2 years ago

New neural network filter estimates unobservable system variables with precision.

Process Fault Detection
Neural Networks
Theme background image
Engineering
2 years ago

Unstoppable: New Study Reveals How to Track Targets Without Being Seen

Distributed Control
Iterative Algorithms
Theme background image
Engineering
5 years ago

New method uncovers hidden patterns in complex systems with time delays.

Networked Control
Process Fault Detection
System Identification

The article introduces a way to create test paths for systems using a Petri net model. They identify observable and unobservable transitions in the model and show that observable transitions cover all transitions. They developed algorithms to generate paths that cover all system transitions, using a symbolic observation graph. The experiments with the approach showed promising results.