Comparing Testing and Runtime Verification of IoT Systems: A Preliminary Evaluation based on a Case Study