An Empirical Study of Testing File-System-Dependent Software with Mock Objects