Concolic testing of the multi-sector read operation for flash storage platform software

Cited 4 time in webofscience Cited 0 time in scopus
  • Hit : 595
  • Download : 603
In today's information society, flash memory has become a virtually indispensable component, particularly for mobile devices. In order for mobile devices to operate successfully, it is essential that flash memory be controlled correctly through flash storage platform software such as the file system, flash translation layer, and low-level device drivers. 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 flash storage platform software. This method combines a concrete dynamic execution and a symbolic execution to automatically generate test cases for full path coverage. Through the experiments, we analyze the advantages and weaknesses of the concolic testing approach on the flash storage platform software.
Publisher
SPRINGER
Issue Date
2012-05
Language
English
Article Type
Article
Keywords

MODEL

Citation

FORMAL ASPECTS OF COMPUTING, v.24, no.3, pp.355 - 374

ISSN
0934-5043
DOI
10.1007/s00165-011-0200-9
URI
http://hdl.handle.net/10203/23902
Appears in Collection
CS-Journal Papers(저널논문)
Files in This Item
This item is cited by other documents in WoS
⊙ Detail Information in WoSⓡ Click to see webofscience_button
⊙ Cited 4 items in WoS Click to see citing articles in records_button

qr_code

  • mendeley

    citeulike


rss_1.0 rss_2.0 atom_1.0