Search papers, labs, and topics across Lattice.
This paper introduces the Scenario Specification Language (SCSL) for automated system-level testing of complex distributed robotic systems. SCSL addresses the challenges of high system complexity, non-deterministic behavior, and dynamic reconfiguration by using scenarios that specify test-specific behavior and stimuli, supporting online testing, and providing a collaboration construct for dynamic reconfiguration. A salvage mission example demonstrates SCSL's syntax, semantics, and the capabilities of the prototype tool platform for automatically generated test execution.
Automating system-level testing for distributed robotics is now more practical with a new language that handles complexity, non-determinism, and dynamic reconfiguration.
We present the SCenario Specification Language (SCSL) for automated generation and execution of system-level tests. SCSL targets complex distributed systems (e.g., collaborating autonomous robots) where classical model-based testing becomes impractical because (1) the overall system complexity is too high for a single monolithic model, (2) test behaviour cannot be fully precomputed due to substantial nondeterminism in the distributed system under test (SUT), and (3) the SUT configuration may change dynamically at runtime. Challenge (1) is addressed by scenarios: each scenario specifies test-specific expected SUT behaviour and/or stimuli to be applied during execution. Complex system tests are composed from elementary scenarios using sequential and parallel composition. To address (2), the SCSL tool platform supports online (on-the-fly) testing, selecting and executing test steps during runtime. For (3), SCSL provides a collaboration construct that supports dynamic reconfiguration: removing unavailable components, registering newly joining components, and rewiring interfaces during test execution. We illustrate the syntax and semantics of SCSL using a system-test example in which robots perform a salvage mission, and we use an automatically generated test execution to demonstrate the concepts supported by our prototype tool platform.
