Test for getting reactive system design