MODEL DRIVEN TESTING DISTRIBUTED ENVIRONMENT MONITORING SYSTEM

Yan Li¹, Zhe Zhang², Guihong Jiang¹, Xiaofeng Cui¹

¹School of Computer, Shandong University of Technology, Zibo 255049, Shandong Province, China

²Software 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.