[rules-dev] Formal verification of Drools - master's thesis

[Swindells, Thomas]

From: rules-dev-bounces at lists.jboss.org [mailto:rules-dev-bounces at lists.jboss.org] On Behalf Of Wolfgang Laun
Sent: 19 September 2011 17:15
To: Rules Dev List
Subject: Re: [rules-dev] Formal verification of Drools - master's thesis

On 19 September 2011 17:57, Mauricio Salatino <salaboy at gmail.com<mailto:salaboy at gmail.com>> wrote:
Hi Jiri,
Drools Verifier do that for you? Am I right?

I think this is a misunderstanding. Looking at Drools' Java code takes a Java bug finding program such as findbugs. What Drools Verifier does is: look at DRL code written by Drools users.

Findbugs applied to Drools code is a good idea, but I would opt for this to include fundamental code that's used by Drools and responsible for a considerable number of JIRAs.

[Swindells, Thomas] I'd agree, but I think this ideally would include the bytecode output by drools - not the user specific parts (if users put issues in their code it's their own fault) but the boiler plate code it produces.

-W


Toni Rikkola is the man behind drools verifier, you can talk with him to improve what he has now. I know that Esteban was also playing with that and adding the concept of Working Set. You can talk with him as well.
Cheers
On Mon, Sep 19, 2011 at 12:43 PM, Ansgar Konermann <ansgar.konermann at googlemail.com<mailto:ansgar.konermann at googlemail.com>> wrote:

If I'm eligible to vote, please go for option 1.
Am 19.09.2011 17:14 schrieb "Jiri Svitak" <jsvitak at redhat.com<mailto:jsvitak at redhat.com>>:

_______________________________________________
rules-dev mailing list
rules-dev at lists.jboss.org<mailto:rules-dev at lists.jboss.org>
https://lists.jboss.org/mailman/listinfo/rules-dev



--
 - CTO @ http://www.plugtree.com
 - MyJourney @ http://salaboy.wordpress.com
- Co-Founder @ http://www.jugargentina.org
 - Co-Founder @ http://www.jbug.com.ar

 - Salatino "Salaboy" Mauricio -


_______________________________________________
rules-dev mailing list
rules-dev at lists.jboss.org<mailto:rules-dev at lists.jboss.org>
https://lists.jboss.org/mailman/listinfo/rules-dev


________________________________

**************************************************************************************
This message is confidential and intended only for the addressee. If you have received this message in error, please immediately notify the postmaster at nds.com and delete it from your system as well as any copies. The content of e-mails as well as traffic data may be monitored by NDS for employment and security purposes. To protect the environment please do not print this e-mail unless necessary.

NDS Limited. Registered Office: One London Road, Staines, Middlesex, TW18 4EX, United Kingdom. A company registered in England and Wales. Registered no. 3080780. VAT no. GB 603 8808 40-00
**************************************************************************************
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.jboss.org/pipermail/rules-dev/attachments/20110919/eb4f4667/attachment.html