Model-based Kernel Testing for Concurrency Bugs through Counter Example Replay | Zendy

Moonzoo Kim | Zendy; Shin Hong | Zendy; ChangKi Hong | Zendy; Taeho Kim | Zendy

AI Assistant Blog Pricing

Home ZAIA Blog

Open Access

Model-based Kernel Testing for Concurrency Bugs through Counter Example Replay

Author(s) -

Moonzoo Kim,

Shin Hong,

ChangKi Hong,

Taeho Kim

Publication year - 2009

Publication title -

electronic notes in theoretical computer science

Language(s) - English

Resource type - Journals

SCImago Journal Rank - 0.242

H-Index - 60

ISSN - 1571-0661

DOI - 10.1016/j.entcs.2009.09.049

Subject(s) - computer science , concurrency , kernel (algebra) , unit testing , operating system , configfs , linux kernel , programming language , parallel computing , software , mathematics , combinatorics

Despite the growing need for customized operating system kernels for embedded devices, kernel development continues to suffer from high development and testing costs for several reasons, including the high complexity of the kernel code, the infeasibility of unit testing, exponential numbers of concurrent behaviors, and a lack of proper tool support. To alleviate these difficulties, this study proposes the MOdel-based KERnel Testing (MOKERT) framework, which supports detection of concurrency bugs in the kernel by combining both model checking techniques and testing methods. The MOKERT framework was applied to the file systems of the Linux 2.6 kernel and found a data race bug in the proc file system

The content you want is available to Zendy users.

Already have an account? Click here to sign in.

Having issues? You can contact us here

Accelerating Research