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

[Mauricio Salatino]

Oh great.. sorry for the confusion!

On Tue, Sep 20, 2011 at 10:05 AM, Jiri Svitak <jsvitak at redhat.com> wrote:

>  The thesis would be aimed at verifying Drools Java code. With Findbugs you
> can find bugs in every Java project, but in this case the Findbugs would use
> user defined bug patterns (based on JIRAs/Bugzillas).
> Drools verifier is intended to verify correctness of user's DRL using
> static analysis.
>
> Model checking is more difficult to do. It executes code, so I would have
> to create environment for it to run, for example an application which uses
> Drools. Then verify some property of the system.
>
>
>
> On 09/19/2011 06:18 PM, Mauricio Salatino wrote:
>
> Exactly, I thought that the main point is verify the correctness of the
> Rules, If I misunderstood that sorry..
> If you are talking about only finding bugs in the Drools code, it will be
> the same as finding bugs in any other project right?
> I'm just curious..
>
>  Best Regards!
>
> On Mon, Sep 19, 2011 at 1:14 PM, Wolfgang Laun <wolfgang.laun at gmail.com>wrote:
>
>> On 19 September 2011 17:57, Mauricio Salatino <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.
>>
>> -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> 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>:
>>>>
>>>>  _______________________________________________
>>>> rules-dev mailing list
>>>> 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
>>> https://lists.jboss.org/mailman/listinfo/rules-dev
>>>
>>>
>>
>> _______________________________________________
>> rules-dev mailing list
>> 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 listrules-dev at lists.jboss.orghttps://lists.jboss.org/mailman/listinfo/rules-dev
>
>
>
> _______________________________________________
> rules-dev mailing list
> 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 -
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.jboss.org/pipermail/rules-dev/attachments/20110920/b34ec7be/attachment.html