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

Cited 7 time in webofscience Cited 20 time in scopus
  • Hit : 804
  • Download : 650
DC FieldValueLanguage
dc.contributor.authorKim, Moon-Zooko
dc.contributor.authorKim, Yun-Hoko
dc.contributor.authorChoi, Yun-Jako
dc.date.accessioned2011-05-26T05:20:38Z-
dc.date.available2011-05-26T05:20:38Z-
dc.date.created2012-02-06-
dc.date.created2012-02-06-
dc.date.issued2012-05-
dc.identifier.citationFORMAL ASPECTS OF COMPUTING, v.24, no.3, pp.355 - 374-
dc.identifier.issn0934-5043-
dc.identifier.urihttp://hdl.handle.net/10203/23902-
dc.description.abstractIn 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.-
dc.description.sponsorshipWe would like to thank Hotae Kim at Samsung Electronics for his valuable discussion on the environment models for flash file systems. This work was supported by the Engineering Research Center of Excellence Program of Korea Ministry of Education, Science and Technology(MEST)/ National Research Foundation of Korea(NRF) (grant number 2010-0001727) and the MKE(Ministry of Knowledge Economy), Korea, under the ITRC(Information Technology Research Center) support program supervised by NIPA(National IT Industry Promotion Agency) (NIPA-2009-(C1090- 0902-0032)).en
dc.languageEnglish-
dc.language.isoen_USen
dc.publisherSPRINGER-
dc.subjectMODEL-
dc.titleConcolic testing of the multi-sector read operation for flash storage platform software-
dc.typeArticle-
dc.identifier.wosid000303585300005-
dc.identifier.scopusid2-s2.0-84861570295-
dc.type.rimsART-
dc.citation.volume24-
dc.citation.issue3-
dc.citation.beginningpage355-
dc.citation.endingpage374-
dc.citation.publicationnameFORMAL ASPECTS OF COMPUTING-
dc.identifier.doi10.1007/s00165-011-0200-9-
dc.embargo.liftdate9999-12-31-
dc.embargo.terms9999-12-31-
dc.contributor.localauthorKim, Moon-Zoo-
dc.contributor.nonIdAuthorChoi, Yun-Ja-
dc.type.journalArticleArticle-
dc.subject.keywordAuthorFlash memory-
dc.subject.keywordAuthorconcolic testing-
dc.subject.keywordAuthorunit analysis-
dc.subject.keywordAuthorand embedded software verification-
dc.subject.keywordPlusMODEL-
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 7 items in WoS Click to see citing articles in records_button

qr_code

  • mendeley

    citeulike


rss_1.0 rss_2.0 atom_1.0