A test framework for Rosy and Rosy components