Cargando…
High-level testing of distributed systems based on a link model without loss of information
A new dynamic model of a distributed real-time computing system is investigated. The model is embedded in the system software and is intended for test diagnostics of violations in addressing exchanges between the system software modules. The questions of observability and controllability of the prop...
| Autores principales: | , , |
|---|---|
| Lenguaje: | eng |
| Publicado: |
2021
|
| Acceso en línea: | https://dx.doi.org/10.1088/1742-6596/1864/1/012020 http://cds.cern.ch/record/2773411 |