Test case writing