gsoc:2022-gsoc-lsb-projects
Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision | |||
|
gsoc:2022-gsoc-lsb-projects [2022/02/21 16:49] khoroshilov |
gsoc:2022-gsoc-lsb-projects [2022/02/22 18:19] (current) khoroshilov |
||
|---|---|---|---|
| Line 11: | Line 11: | ||
| Code License: GPL/BSD, specs: GNU FDL | Code License: GPL/BSD, specs: GNU FDL | ||
| - | Mentors: Alexey Khoroshilov (alexey dot khoroshilov at gmail dot com), Jeff Licquia (licquia at linuxfoundation dot org), Vadim Mutilin, Denis Silakov (dsilakov at gmail dot com). | + | Mentors: Alexey Khoroshilov (alexey dot khoroshilov at gmail dot com), Jeff Licquia (licquia at linuxfoundation dot org), Vadim Mutilin, Denis Moskalev. |
| - | =====Develop New LSB Desktop Test Suite===== | + | =====Develop New Linux Test Suites===== |
| + | |||
| + | 1-4 contributor full-size OR half-size | ||
| LSB Desktop tests [1,2] is a part of LSB certification tests. Existing tests do not cover all interfaces included into LSB and LSB specification continues to grow ([[http://linuxbase.org/navigator/browse/status.php|http://linuxbase.org/navigator/browse/status.php]]). The goal of the project is to develop tests for newly included libraries and for interfaces that have no tests yet ([[http://linuxbase.org/navigator/coverage/cov2.php|http://linuxbase.org/navigator/coverage/cov2.php]]). | LSB Desktop tests [1,2] is a part of LSB certification tests. Existing tests do not cover all interfaces included into LSB and LSB specification continues to grow ([[http://linuxbase.org/navigator/browse/status.php|http://linuxbase.org/navigator/browse/status.php]]). The goal of the project is to develop tests for newly included libraries and for interfaces that have no tests yet ([[http://linuxbase.org/navigator/coverage/cov2.php|http://linuxbase.org/navigator/coverage/cov2.php]]). | ||
| Line 24: | Line 26: | ||
| =====Analysis and fixing of race condition warnings in the Linux kernel===== | =====Analysis and fixing of race condition warnings in the Linux kernel===== | ||
| + | |||
| + | 1 contributor full-size OR 2 contributors half-size | ||
| One of the most difficult to catch causes of bugs are race conditions — they may manifest itself only on rare schedules, and they are hard to fix — they usually require rethinking and careful selection of synchronization mechanism. Various methods exist for detecting race conditions. One of them is a static analysis, which allows to find errors in the module parts hardly reachable with testing. | One of the most difficult to catch causes of bugs are race conditions — they may manifest itself only on rare schedules, and they are hard to fix — they usually require rethinking and careful selection of synchronization mechanism. Various methods exist for detecting race conditions. One of them is a static analysis, which allows to find errors in the module parts hardly reachable with testing. | ||
| Line 47: | Line 51: | ||
| =====Development of environment model specifications for static verification of Linux Kernel===== | =====Development of environment model specifications for static verification of Linux Kernel===== | ||
| + | |||
| + | 1 contributor full-size | ||
| The Linux Driver Verification (LDV) program aims to apply heavy-weight static verification tools to find bugs in Linux kernel modules. In contrast to widely used static analysis tools, the approach considers a module as a whole and performs thorough verification empowered by formal techniques. | The Linux Driver Verification (LDV) program aims to apply heavy-weight static verification tools to find bugs in Linux kernel modules. In contrast to widely used static analysis tools, the approach considers a module as a whole and performs thorough verification empowered by formal techniques. | ||
gsoc/2022-gsoc-lsb-projects.1645462145.txt.gz · Last modified: 2022/02/21 16:49 by khoroshilov
Page Tools
Except where otherwise noted, content on this wiki is licensed under the following license: CC Attribution-Noncommercial-Share Alike 4.0 International
