A context dependent equivalence between processes
Theoretical Computer Science
Theoretical Computer Science
Symbolic model checking for real-time systems
Information and Computation
Generating test cases for real-time systems from logic specifications
ACM Transactions on Computer Systems (TOCS)
Theoretical Computer Science
Automatic verification of real-time communicating systems by constraint-solving
Proceedings of the 7th IFIP WG6.1 International Conference on Formal Description Techniques VII
ICALP '92 Proceedings of the 19th International Colloquium on Automata, Languages and Programming
Automated Test Generation from Timed Automata
TACAS 2001 Proceedings of the 7th International Conference on Tools and Algorithms for the Construction and Analysis of Systems
A Temporal Logic Based Theory of Test Coverage and Generation
TACAS '02 Proceedings of the 8th International Conference on Tools and Algorithms for the Construction and Analysis of Systems
Removing epsilon-Transitions in Timed Automata
STACS '97 Proceedings of the 14th Annual Symposium on Theoretical Aspects of Computer Science
Testing Concurrent Systems: A Formal Approach
CONCUR '99 Proceedings of the 10th International Conference on Concurrency Theory
FTRTFT '02 Proceedings of the 7th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems: Co-sponsored by IFIP WG 2.2
Fault Diagnosis for Timed Automata
FTRTFT '02 Proceedings of the 7th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems: Co-sponsored by IFIP WG 2.2
Test Generation Derived from Model-Checking
CAV '99 Proceedings of the 11th International Conference on Computer Aided Verification
Formal Test Automation: A Simple Experiment
Proceedings of the IFIP TC6 12th International Workshop on Testing Communicating Systems: Method and Applications
Generating Test Cases for a Timed I/O Automaton Model
Proceedings of the IFIP TC6 12th International Workshop on Testing Communicating Systems: Method and Applications
Revisiting Digitization, Robustness, and Decidability for Timed Automata
LICS '03 Proceedings of the 18th Annual IEEE Symposium on Logic in Computer Science
Timed Test Cases Generation Based on State Characterization Technique
RTSS '98 Proceedings of the IEEE Real-Time Systems Symposium
Specifying and generating test cases using observer automata
FATES'04 Proceedings of the 4th international conference on Formal Approaches to Software Testing
Random testing of interrupt-driven software
Proceedings of the 5th ACM international conference on Embedded software
Testing real-time embedded software using UPPAAL-TRON: an industrial case study
Proceedings of the 5th ACM international conference on Embedded software
Formal testing from timed finite state machines
Computer Networks: The International Journal of Computer and Telecommunications Networking
A game-theoretic approach to real-time system testing
Proceedings of the conference on Design, automation and test in Europe
Comparing the Expressiveness of Timed Automata and Timed Extensions of Petri Nets
FORMATS '08 Proceedings of the 6th international conference on Formal Modeling and Analysis of Timed Systems
On Conformance Testing for Timed Systems
FORMATS '08 Proceedings of the 6th international conference on Formal Modeling and Analysis of Timed Systems
EMSOFT '08 Proceedings of the 8th ACM international conference on Embedded software
Cooperative Testing of Timed Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
Conformance testing for real-time systems
Formal Methods in System Design
Combining Model Checking and Testing in a Continuous HW/SW Co-verification Process
TAP '09 Proceedings of the 3rd International Conference on Tests and Proofs
Model-based testing of a WAP gateway: an industrial case-study
FMICS'06/PDMC'06 Proceedings of the 11th international workshop, FMICS 2006 and 5th international workshop, PDMC conference on Formal methods: Applications and technology
Testing finite state machines presenting stochastic time and timeouts
EPEW'07 Proceedings of the 4th European performance engineering conference on Formal methods and stochastic models for performance evaluation
Model based testing with labelled transition systems
Formal methods and testing
Testing from X-machine specifications
Formal methods and testing
MODELS'10 Proceedings of the 13th international conference on Model driven engineering languages and systems: Part I
Developing UPPAAL over 15 years
Software—Practice & Experience
Monitoring dynamical signals while testing timed aspects of a system
ICTSS'11 Proceedings of the 23rd IFIP WG 6.1 international conference on Testing software and systems
Using TIMEDTTCN-3 in interoperability testing for real-time communication systems
TestCom'06 Proceedings of the 18th IFIP TC6/WG6.1 international conference on Testing of Communicating Systems
Testing real-time multi input-output systems
ICFEM'05 Proceedings of the 7th international conference on Formal Methods and Software Engineering
A formal framework for black-box conformance testing of distributed real-time systems
International Journal of Critical Computer-Based Systems
Interface input/output automata
FM'06 Proceedings of the 14th international conference on Formal Methods
Conformance testing relations for timed systems
FATES'05 Proceedings of the 5th international conference on Formal Approaches to Software Testing
Hybrid input-output conformance and test generation
FATES'06/RV'06 Proceedings of the First combined international conference on Formal Approaches to Software Testing and Runtime Verification
Model-Based testing of thin-client web applications
FATES'06/RV'06 Proceedings of the First combined international conference on Formal Approaches to Software Testing and Runtime Verification
Testing real-time systems under uncertainty
FMCO'10 Proceedings of the 9th international conference on Formal Methods for Components and Objects
Proceedings of the 2012 International Symposium on Software Testing and Analysis
Conformance testing for cyber-physical systems
ACM Transactions on Embedded Computing Systems (TECS)
Implementing conformiq Qtronic
TestCom'07/FATES'07 Proceedings of the 19th IFIP TC6/WG6.1 international conference, and 7th international conference on Testing of Software and Communicating Systems
An orchestrated survey of methodologies for automated software test case generation
Journal of Systems and Software
Science of Computer Programming
| Hi-index | 0.00 |
We present T-Uppaal — a new tool for online black-box testing of real-time embedded systems from non-deterministic timed automata specifications. We describe a sound and complete randomized online testing algorithm and how to implement it using symbolic state representation and manipulation techniques. We propose the notion of relativized timed input/output conformance as the formal implementation relation. A novelty of this relation and our testing algorithm is that they explicitly take environment assumptions into account, generate, execute and verify the result online using the Uppaal on-the-fly model-checking tool engine. A medium size case study shows promising results in terms of error detection capability and computation performance.