Model driven testing distributed environment monitoring system

Distributed environment monitoring system is more and more widely used, especially the design and verification of embedded system in environmental monitoring is the guarantee of successful use of environmental monitoring. In this paper we demonstrate how testcase prioritization can be performed with the use of model-checkers. For this, different well known prioritization techniques are adapted for model-based use. New property based prioritization techniques are introduced. In addition it is shown that prioritization can be done at test-case generation time, thus removing the need for test-suite post-processing. Several experiments for embedded systems are used to show the validity of these ideas.