Paper Info
Title
Conformance test experiments for distributed real-time systems
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.
Year
DOI
Venue
2002
10.1145/566172.566196
ISSTA
Keywords
Field
DocType
software resource,test specification,distributed real-time systems,conformance test experiment,uppaal,limited hardware,automata specification,test experiment,program code,design for testability,lego rcx,conformance testing,timed automata,real-time system,new technique,satisfiability
Design for testing,Program code,Programming language,Software engineering,Computer science,Automaton,Conformance testing,Real-time computing,Software
Conference
Volume
Issue
ISSN
27
4
0163-5948
ISBN
Citations 
PageRank 
1-58113-562-9
13
0.78
References 
Authors
5
1
Name
Order
Citations
PageRank
Rachel Cardell-Oliver127133.25