Conformance test experiments for distributed real-time systems

Authors:
Rachel Cardell-Oliver
Affiliations:
The University of Western Australia, Crawley WA
Venue:
ISSTA '02 Proceedings of the 2002 ACM SIGSOFT international symposium on Software testing and analysis
Year:
2002

Citing 3
Cited 8

Verification of real-time designs: combining scheduling theory with automatic formal verification

ESEC/FSE-7 Proceedings of the 7th European software engineering conference held jointly with the 7th ACM SIGSOFT international symposium on Foundations of software engineering
Requirements-based monitors for real-time systems

Proceedings of the 2000 ACM SIGSOFT international symposium on Software testing and analysis
Automatic generation of tests for timing constraints from requirements

WORDS '97 Proceedings of the 3rd Workshop on Object-Oriented Real-Time Dependable Systems - (WORDS '97)

Achieving communication coverage in testing

ACM SIGSOFT Software Engineering Notes
Using communication coverage criteria and partial model generation to assist software integration testing

Software Quality Control
Conformance testing for real-time systems

Formal Methods in System Design
Using partial models to support the testing of distributed systems

SEA '07 Proceedings of the 11th IASTED International Conference on Software Engineering and Applications
Testing Real-Time Systems Using TINA

TESTCOM '09/FATES '09 Proceedings of the 21st IFIP WG 6.1 International Conference on Testing of Software and Communication Systems and 9th International FATES Workshop
A formal framework for black-box conformance testing of distributed real-time systems

International Journal of Critical Computer-Based Systems
A test generation framework for quiescent real-time systems

FATES'04 Proceedings of the 4th international conference on Formal Approaches to Software Testing
Detecting problematic message sequences and frequencies in distributed systems

Proceedings of the ACM international conference on Object oriented programming systems languages and applications

Quantified Score

Hi-index	0.00

Visualization

Abstract

This paper introduces a new technique for testing that a distributed real-time system satisfies a formal timed automata specification. It outlines how to write test specifications in the language of Uppaal timed automata, how to translate those specifications into program code for executing the tests, and describes the results of test experiments on a distributed real-time system with limited hardware and software resources.