Share on Facebook Tweet on Twitter Share on LinkedIn Share by email
Automated Testing of Environment-Dependent Programs - A Case Study of Modeling the File System for Pex

Soonho Kong, Nikolai Tillmann, and Jonathan de Halleux

Abstract

Programs that interact with the file system are a classical challenge for automated software testing. A common approach to handling this problem is to insert an abstraction layer between the application and the file system. However, even with a well-defined abstraction layer, the burden on the software developer or tester is still high: they have to understand the subtleties of the file system to craft a meaningful set of test cases. The file system is accessed through a complex API, which often causes developers to overlook obscure yet possible corner cases. In this paper, we present a parameterized model of the file system that can be used in conjunction with Pex, an automated test generation tool, to test code that depends on the file system.

Details

Publication typeInproceedings
Published inProc. 6th International Conference on Information Technology: New Generations (ITNG'09)
URLhttp://dx.doi.org/10.1109/ITNG.2009.80
Pages758–762
VolumeITNG.2009.80
SeriesIEEE Conference Proceeding
PublisherIEEE
> Publications > Automated Testing of Environment-Dependent Programs - A Case Study of Modeling the File System for Pex