rt/snapraid
1
0
Fork 0
mirror of https://github.com/amadvance/snapraid.git synced 2026-10-26 19:01:57 -04:00
Code Issues Projects Releases Packages Wiki Activity Actions

Auto update

Browse source
This commit is contained in:
Andrea Mazzoleni 2016-01-10 21:16:55 +01:00
parent 11fca7402b
commit 84c6e80fb6
1 changed files with 10 additions and 3 deletions
Download patch file Download diff file Expand all files Collapse all files

13
design.html
View file

@ -51,14 +51,21 @@ The result is a simple architecture and an easy to understand implementation,
following the <a href="http://en.wikipedia.org/wiki/Edsger_W._Dijkstra">Dijkstra</a>
quote <i>Simplicity is prerequisite for reliability</i>.
</p>
<p>
Extensive and automated tests with the runtime checker <a href="http://valgrind.org/">valgrind (memcheck/helgrind/drd)</a>,
the <a href="https://github.com/google/sanitizers">Google sanitizer (asan/msan/tsan/ubsan)</a>
and the <a href="http://clang-analyzer.llvm.org/">clang static analyzer</a>
Extensive and automated tests with the runtime checker <a href="http://valgrind.org/">valgrind</a>,
the <a href="https://github.com/google/sanitizers">Google sanitizer</a>.
are done to ensure the correctness of the final application.
The test has a <a href="cov/">code coverage of over 90%</a>, measured with <a href="http://ltp.sourceforge.net/coverage/lcov.php">lcov</a>.
</p>
<p>
The source code is also verified with the
<a href="https://scan.coverity.com/projects/snapraid">coverity scan</a>
and <a href="http://clang-analyzer.llvm.org/">clang</a>
static analyzers.
</p>
<p>
The second design principle was <span class="bold">robustness</span>.
It supports any kind of problem. Even on kernel panics, power-downs