Dear Ibrahim,
In a way, behind the scenes, I have been helping Gustaf in improving
the quality of Naviserver.
My company, Spazio IT, is active providing Verification and Validation
activities to the European Space Agency and AIRBUS Helicopters.
http://www.spazioit.com/pages_en/sol_inf_en/code_quality_en/
For them I have developed a code quality platform based on the open source
web application SonarQube (http://www.sonarqube.org). In particular I have
modified and customized the Ada and C/C++ plugins for the special needs of
my customers.
To make a long story short I was also interested in the quality and
stability of Naviserver so I made available a demo of the above mentioned
quality platform to Gustaf and I run analyses on Naviserver on a daily basis
the system on a daily basis, spending on it something in between 30minutes -
1 hour every day.
I have been doing this since the 28th of September.
The demo system, with information on Naviserver, is available here.
http://sonarsrv.spazioit.com:9000/
Basically most of the improvements Gustaf has been implementing have been
triggered by the analyses results made available on this platform.
In terms of research activity I'm currently integrating into the platform as
improvements to the C/C++ static analysis it provides CBMC
(http://www.cprover.org/cbmc/) and Frama-C (http://frama-c.com/).
The results of this research will be presented at the European Space Agency
in December. After the event I will made available the presentation and
speech also to this list.
For the time being please have a look at the following presentation.
http://www.spazioit.com/pages_en/sol_inf_en/code_quality_en/code-inspection_
en/
Thanks and kind regards,
Maurizio Martignano
Tel +39 0376 1434259 - Fax +39 0376 1434187
Mob +39 349 7284927
---------------------------------------------------------------
Spazio IT - Soluzioni Informatiche s.a.s.
P.IVA: IT02178630204 / REA: MN - 231014
Registered Office: via Manzoni 40
Operating Office: via Don Bosco 10
46030 - San Giorgio di Mantova
ITALY
www.spazioit.com
-----Original Message-----
From: Ibrahim Tannir [mailto:itan...@archiware.com]
Sent: 13 November 2014 13:00
To: naviserver-devel@lists.sourceforge.net
Subject: [naviserver-devel] Code Quality
Hello everybody,
First of all, I'd like to thank Gustaf and Andrew who are currently
investing a lot of effort into cleaning up the code.
Since Gustaf seems to have some time that he is dedicating into our cause
right now, an idea struck me, that could bring us and the code up to the
next level:
I have been monitoring Coverity and their development for years
http://www.coverity.com/products/coverity-save/
Even tough they target high end and high profile software and companies,
they have been quite supportive of the open community.
So I thought we might also ask them to allow us to run Naviserver and Tcl
through their static code analysis suite.
To be able to do so, someone must invest the time and the effort.
Both Zoran and I are up to our necks in work. However, if Gustaf would be
willing to do so, given the time he is already investing, that would be
great. It might even speed up and simplify the work he is currently doing.
@Gustav, what do you think?
Cheers,
Ibrahim
----------------------------------------------------------------------------
--
Comprehensive Server Monitoring with Site24x7.
Monitor 10 servers for $9/Month.
Get alerted through email, SMS, voice calls or mobile push notifications.
Take corrective actions from your mobile device.
http://pubads.g.doubleclick.net/gampad/clk?id=154624111&iu=/4140/ostg.clktrk
_______________________________________________
naviserver-devel mailing list
naviserver-devel@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/naviserver-devel
------------------------------------------------------------------------------
Comprehensive Server Monitoring with Site24x7.
Monitor 10 servers for $9/Month.
Get alerted through email, SMS, voice calls or mobile push notifications.
Take corrective actions from your mobile device.
http://pubads.g.doubleclick.net/gampad/clk?id=154624111&iu=/4140/ostg.clktrk
_______________________________________________
naviserver-devel mailing list
naviserver-devel@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/naviserver-devel
