The Community for Technology Leaders
2013 20th Asia-Pacific Software Engineering Conference (APSEC) (2013)
Ratchathewi, Bangkok, Thailand
Dec. 2, 2013 to Dec. 5, 2013
ISSN: 1530-1362
ISBN: 978-1-4799-2143-0
pp: 559-564
ABSTRACT
Modern industrial systems are often large and distributed. Consequently, building the test harness for them can be technically challenging. A compositional approach attempts to overcome this problem by partitioning the system into smaller parts easier to test separately. And in particular, compositionality helps to avoid as much as possible testing the whole monolithic system thanks to mathematical results which relate the global correctness of the system to the correctness of its constituent parts. In this paper, we present a compositionality result for model-based testing in the setting of the conformance relation tioco which is dedicated to timed systems. We show how to exploit this result in practice by extending a previously defined symbolic testing framework.
INDEX TERMS
Testing, Thermostats, Heating, Context, Switches, Cooling, Temperature sensors
CITATION

B. Bannour, C. Gaston, M. Aiguier and A. Lapitre, "Results for Compositional Timed Testing," 2013 20th Asia-Pacific Software Engineering Conference (APSEC), Ratchathewi, Bangkok, Thailand Thailand, 2013, pp. 559-564.
doi:10.1109/APSEC.2013.81
94 ms
(Ver 3.3 (11022016))