MODEL DRIVEN TESTING DISTRIBUTED ENVIRONMENT MONITORING SYSTEM
Yan Li1, Zhe Zhang2, Guihong Jiang1, Xiaofeng Cui1
1School of Computer, Shandong University of Technology, Zibo 255049, Shandong Province, China
2Software College, Nanyang Normal University, Nanyang 473000, Henan Province, China
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.