https://baptiste-wicht.com/enSun, 15 Feb 2026 06:57:41 GMTNikola (getnikola.com)http://blogs.law.harvard.edu/tech/rsshttps://baptiste-wicht.com/posts/2014/06/software-reliability-presentation.htmlBaptiste Wicht<section id="software-reliability"> <h2>Software Reliability</h2> <p>In behalf of my school (College of Engineering and Architecture of Fribourg), I presented a shoft presentation about Software Reliability. In this presentation, I outline the main issues about the subject and propose some solutions:</p> <ul class="simple"> <li><p>Software Validation</p></li> <li><p>Defensive Programming</p></li> <li><p>Software Analysis Tools</p></li> </ul> <p>In the Software Analysis Tools, I present three tools: cppcheck, Valgrind and the Clang Static analyzer. Several examples are presented for each tools as well as some recommendations for using them. A short presentation of SonarQube is also performed.</p> <p>I thought that it could be of some interest to some of the readers, so here it is:</p> <div style="text-align:center;"><iframe src="http://www.slideshare.net/slideshow/embed_code/35576524" width="597" height="486" frameborder="0" marginwidth="0" marginheight="0" scrolling="no" style="border:1px solid #CCC; border-width:1px 1px 0; margin-bottom:5px; max-width: 100%;" allowfullscreen> </iframe></div><p>Don't hesitate if you have any comments or questions about the presentation ;)</p> <p>The source code for the examples is available <a class="reference external" href="https://github.com/wichtounet/analysis-examples">on Github</a>.</p> </section>clangGentooLinuxProgrammingReliabilityToolshttps://baptiste-wicht.com/posts/2014/06/software-reliability-presentation.htmlSat, 07 Jun 2014 14:45:33 GMT