Completed tests for File class