Paper Info
Title
A Framework for Distributed Testing of Timed Composite Systems
Abstract
Software systems are more and more complex. They are usually constructed by combining several components which can be implemented separately and deployed in distributed environments. This paper presents a framework for testing these kind of systems. Particularly, each component of a system is tested by a tester and there is no communication between testers. The tester is guided by local test cases that are generated from the composition of models of components where the communication among components may be synchronous or asynchronous. The framework is complemented with a tool chain for automating test generation. The paper presents also a case study on the European Train Control System.
Year
DOI
Venue
2014
10.1109/APSEC.2014.16
APSEC (1)
Keywords
Field
DocType
timed systems,software systems,program testing,test generation,european train control system,model-based testing,railways,distributed testing,timed composite systems,tool,etcs,controllability,testing,observability,computational modeling
Asynchronous communication,Observability,Controllability,Computer science,Distributed testing,European Train Control System,Software system,Real-time computing,Model-based testing,Test case
Conference
Volume
ISSN
Citations 
1
1530-1362
3
PageRank 
References 
Authors
0.40
15
3
Name
Order
Citations
PageRank
Huu Nghia Nguyen1173.18
Fatiha Zaïdi220017.06
Ana R. Cavalli367176.11