Conformance testing for real-time systems

DOI10.1007/S10703-009-0065-1zbMath1180.68072OpenAlexW2120916408MaRDI QIDQ842583

Moez Krichen, Stavros Tripakis

Publication date: 25 September 2009

Published in: Formal Methods in System Design (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10703-009-0065-1

zbMATH Keywords

real-time systemstimed automatatest generationpartial observabilitycoverageconformance testingon-the-fly algorithmsspecification and verification

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60) Reliability, testing and fault tolerance of networks and computer systems (68M15)

Related Items (13)

Control Strategies for Off-Line Testing of Timed Systems ⋮ Deriving Homing Sequences for Finite State Machines with Timed Guards ⋮ Passive testing with asynchronous communications and timestamps ⋮ Bounded Determinization of Timed Automata with Silent Transitions ⋮ Control strategies for off-line testing of timed systems ⋮ Learning deterministic one-clock timed automata via mutation testing ⋮ Bounded determinization of timed automata with silent transitions ⋮ Off-Line Test Selection with Test Purposes for Non-deterministic Timed Automata ⋮ Compositional schedulability analysis of real-time actor-based systems ⋮ A game approach to determinize timed automata ⋮ An Implementation Relation for Cyclic Systems with Refusals and Discrete Time ⋮ Realizability of Schedules by Stochastic Time Petri Nets with Blocking Semantics ⋮ Adaptive experiments for state identification in finite state machines with timeouts

Uses Software

• Unnamed Item
• Uppaal
• STG

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Event-clock automata: a determinizable class of timed automata
• A theory of timed automata
• Forward analysis of updatable timed automata
• Experimental evaluation of verification and validation tools on Martian Rover software
• Dynamical properties of timed automata
• Testing Software Design Modeled by Finite-State Machines
• Compositional specification of timed systems
• Model Checking Software
• Fault Diagnosis for Timed Automata
• Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems
• Foundations of Software Science and Computational Structures
• Formal Approaches to Software Testing
• Formal Approaches to Software Testing
• Formal Approaches to Software Testing
• Formal Modeling and Analysis of Timed Systems
• Formal Approaches to Software Testing
• Formal Approaches to Software Testing
• Testing timed automata

This page was built for publication: Conformance testing for real-time systems