Tools and methods for testing and verification

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

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukAcademicpeer 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.
Originele taal-2Engels
TitelRuntime reconfiguration in networked embedded systems : design and testing practices
RedacteurenZ. Papp, G. Exarchakos
Plaats van productieBerlin
ISBN van elektronische versie978-981-10-0715-6
ISBN van geprinte versie978-981-10-0714-9
StatusGepubliceerd - 3 mei 2016

Publicatie series

NaamInternet of things
ISSN van geprinte versie2199-1073

Vingerafdruk Duik in de onderzoeksthema's van 'Tools and methods for testing and verification'. Samen vormen ze een unieke vingerafdruk.

  • Citeer dit

    Jaramillo Garcia, P. A. (editor), Pruteanu, A., van Driel, W. D., van Kooten, W., & Linnartz, J. P. M. G. (2016). Tools and methods for testing and verification. In Z. Papp, & G. Exarchakos (editors), Runtime reconfiguration in networked embedded systems : design and testing practices (blz. 133-136). (Internet of things). Springer.