Test adequacy measurement for real-time reactive system