DOUBT

We want to trust system.
We do not want to believe in system.

New Leader for Project DOUBT wanted!

Project DOUBT is currently looking for new leader.

If interested, please contact The Linux Foundation . Probably Management team "Director of Engineering", or someone at contact point of The Linux Foundation for more detail.

What is DOUBT project?

DOUBT is project to create set of system invalidation checking programs.

DOUBT stands for

  D oubt is
c O llection of
  U ncertainty checking
  B road range
  T esting tools

Introduction

OSDL's Lab Activities such as Carrier Grade Linux or Data Center Linux have requirements over Linux system. But there does not seems to be a way to validate whether system really do meets requirement.

Unfortunately, Alan Turing have made proof in his Halting Problem of Turing machine that there will be no algorithm to prove that one program is bugless. And hence, we can not automatically tell if a Linux system fulfill each requirement.

DOUBT project is to make better than nothing approach to this problem.

In DOUBT, instead of checking for validness, we look for invalidity of system. If system have specific invalid condition, it should show specific symptom. By detecting that symptom, we will know that system is invalid.

Therefore, DOUBT project will:

  1. Look for idea of invalidity ,
  2. Look for idea of symptom for each invalidness,
  3. Look for idea of how to detect the symptom,
  4. Create test tools for each symptom,
  5. and finally, exhibit the result of test.

Mailing List

To join, access https://lists.osdl.org/mailman/listinfo/doubt . Here, you can subscribe yourself to the Mailing List.

Sub Projects

Currently, we have 6 sub projects available.

Target: File System
Project Name Cur. Version License
diskio 4.0 GPL v2.0
fs_mark 3.2 GPL v2.0 or later
wbtest 1.0 GPL v2.0 or later
fs consistency and coherency 1.1.1 GPL v2.0
Twirl mount-umount 1.1 GPL v2.0

Target: Memory Manager
Project Name Cur. Version License
mm_cramp_kernel 1.0 GPL v2.0 or later

Documents

Bug reports

Any bug reports are always welcome. But not only that.

Due to the purpose of this project, we are always afraid of bugs in test tools. To avoid, we want our test tools to be as simple as possible. Any idea of making test tools simpler are always welcome as well.

Please send your bug report, messages to Mailing List .

Worst known bugs are, lack of documents.

Legal Staffs

This Web Page is distributed under the terms of the GNU Public License , v2.0.

Each test tools are originated by each originator, distributed under the terms of each test tools.

Special Thanks to...

OSDL especially OSDL.jp for providing this space in past.

And thanks to The Linux Foundation for providing this space now.