Tools and methods for testing and verification

P.A. Jaramillo Garcia (Editor), A. Pruteanu, W.D. van Driel, W. van Kooten, J.P.M.G. Linnartz

Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

1 Downloads (Pure)


An intelligent lighting system capable of runtime self-adaption to occupants behaviour is an example of a context-level application in which faulty operation has a strong and undesirable impact on the occupants comfort. Especially in cases where the long-term functioning of the systems is of interest, the systems quality should proof very high and therefore proper validation and verification practices are required. To our knowledge there is non an existent tool that deals with testing runtime self-adaptive systems. In this chapter we propose the implementation of a V&V framework previously introduced, by merging several already known tools. First, we give an understanding of ways to quantify and predict the reliability of large-scale distributed systems. Second, key performance indicators of the self-adaptive systems are identified from monitoring techniques and third, the test cases are formalized in a structured form. We present two test cases as examples of a system working under normal operation conditions as well as under induced conditions, based on real-life implementations. Execution of the test is lead by a test coordinator for which we used JSON notation, and then the interpretation and testing is carried out in a c++ toolbox where the monitoring and testing algorithms reside.
Original languageEnglish
Title of host publicationRuntime reconfiguration in networked embedded systems : design and testing practices
EditorsZ. Papp, G. Exarchakos
Place of PublicationBerlin
ISBN (Electronic)978-981-10-0715-6
ISBN (Print)978-981-10-0714-9
Publication statusPublished - 3 May 2016

Publication series

NameInternet of things
ISSN (Print)2199-1073


Dive into the research topics of 'Tools and methods for testing and verification'. Together they form a unique fingerprint.

Cite this