Sciweavers

ICTAC
2010
Springer

Scalable Distributed Concolic Testing: A Case Study on a Flash Storage Platform

13 years 2 months ago
Scalable Distributed Concolic Testing: A Case Study on a Flash Storage Platform
Flash memory has become a virtually indispensable component for mobile devices in today’s information society. However, conventional testing methods often fail to detect hidden bugs in flash file systems due to the difficulties involved in creating effective test cases. In contrast, the approach of model checking guarantees a complete analysis, but only on a limited scale. In the previous work, the authors applied concolic testing to the multi-sector read operation of a Samsung flash storage platform as a trade-off between the aforementioned two methods. This paper describes our continuing efforts to develop an effective and efficient verification framework for flash file systems. We developed a scalable distributed concolic algorithm that utilizes a large number of computing nodes. This new concolic algorithm can alleviate the limitations of the concolic approach caused by heavy computational cost. We applied the distributed concolic technique to the multi-sector read operat...
Yunho Kim, Moonzoo Kim, Nam Dang
Added 26 Jan 2011
Updated 26 Jan 2011
Type Journal
Year 2010
Where ICTAC
Authors Yunho Kim, Moonzoo Kim, Nam Dang
Comments (0)