Academic
Publications
Concolic Testing of the Multi-sector Read Operation for Flash Memory File System

Concolic Testing of the Multi-sector Read Operation for Flash Memory File System,10.1007/978-3-642-10452-7_17,Moonzoo Kim,Yunho Kim

Concolic Testing of the Multi-sector Read Operation for Flash Memory File System   (Citations: 6)
BibTex | RIS | RefWorks Download
Abstract. In today’s information society, flash memory has become a virtually indispensable component, particularly for mobile devices. In order for mobile de- vices to operate successfully, it is essential that flash memory be controlled cor- rectly through file system software. However, as is typical for embedded software, conventional testing methods,often fail to detect hidden flaws in the software due to the difficulty of creating effective test cases. As a different approach, model checking techniques guarantee a complete analysis, but only on a limited scale. In this paper, we describe an empirical study wherein a concolic testing method is applied to the multi-sector read operation for a flash memory. This method,com- bines a symbolic static analysis and a concrete dynamic,analysis to automatically generate test cases and perform exhaustive path testing accordingly. In addition, we analyze the advantages and weaknesses,of the concolic testing approach,on the domain,of the flash file system compared,to model checking techniques.
Published in 2009.
Cumulative Annual
View Publication
The following links allow you to view full publications. These links are maintained by other sources not affiliated with Microsoft Academic Search.
Sort by: