Sciweavers

Share
ICST
2008
IEEE

Pre-testing Flash Device Driver through Model Checking Techniques

10 years 6 months ago
Pre-testing Flash Device Driver through Model Checking Techniques
Flash memory has become virtually indispensable in most mobile devices, such as mobile phones, digital cameras, mp3 players, etc. In order for mobile devices to successfully provide services, it is essential that flash memory be controlled correctly through the device driver software. However, as is typical for embedded software, conventional testing methods often fail to detect hidden flaws in the complex device driver software. This deficiency incurs significant development and operation overhead to the manufacturers. As a complementary approach to improve the reliability of embedded software, model checking provides a complete analysis of a target model but the size of the target software is limited due to the state explosion problem. In this project, we have verified the correctness of a multi-sector read operation of Samsung OneNANDTM flash device driver by using both model checking and testing. We started the verification task with the model checkers NuSMV and Spin for an...
Moonzoo Kim, Yunja Choi, Yunho Kim, Hotae Kim
Added 31 May 2010
Updated 31 May 2010
Type Conference
Year 2008
Where ICST
Authors Moonzoo Kim, Yunja Choi, Yunho Kim, Hotae Kim
Comments (0)
books