Structural Test Case Generation Based on System Models