It's really worthwhile to add a DRL compile run before you let the verifier do its work. <br>-W<br><br><br><div class="gmail_quote">On 16 March 2011 10:02, FrankVhh <span dir="ltr"><<a href="mailto:frank.vanhoenshoven@agserv.eu">frank.vanhoenshoven@agserv.eu</a>></span> wrote:<br>
<blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;">Hi Toni and Wolfgang,<br>
<br>
Thanks for your replies.<br>
<br>
First, to clarify my self, with "duplicate rules", I actually meant "rules<br>
that are exactlly the same, but with other names". Moreover, I inserted the<br>
verification just before rule execution, and execution runs fine. So, there<br>
shouldn't be a compile error.<br>
<br>
Removing the "then" part of a rule does not make any difference. It still<br>
runs, but doesn't return any notes/warnings/errors in the ruleset.<br>
<br>
Toni, I am not using one of the "M" versions. Drools verifier is version<br>
5.1.0.<br>
<br>
As a general remark, I definitely agree that "gap analysis" often comes up<br>
with some very unuseful information. I usually call those uncovered areas,<br>
"women with beards" or "experienced juniors". However, there always might be<br>
valuable information in there. Besides, the question whether this<br>
information is valuable or not, doesn't matter, it just doesn't show and it<br>
should.<br>
<br>
Regards,<br>
Frank<br>
<br>
<br>
Toni Rikkola-2 wrote:<br>
><br>
> Yes it can often be ignored and we need some configuration to silence the<br>
> unwanted warnings. The current way is best for use cases like the decision<br>
> table verification in Guvnor.<br>
><br>
> Age is a good example. Person's age can't be less than 0 or more than 120.<br>
> The top number is difficult. 120 is pretty safe, but usually you should be<br>
> suspicious from ~90.<br>
> So in the configurations you could set:<br>
> Person.age 0-90 => check that they are covered<br>
> Person.age 90-120 => check them, but make a notification<br>
><br>
> You can of course do this today with custom verification rules. Just use a<br>
> clean verifier base and add your own verifier rules.<br>
><br>
> Toni<br>
><br>
> On Mar 15, 2011, at 12:39 PM, Wolfgang Laun wrote:<br>
><br>
>> 2011/3/15 Toni Rikkola &<a href="mailto:lt%3Btoni.rikkola@gmail.com">lt;toni.rikkola@gmail.com</a>&gt;<br>
>><br>
>> The verifier can actually find some gaps from rule sets. For example<br>
>> uncovered checks for number values.<br>
>> If you have<br>
>> Person( age <18 )<br>
>> it gives a warning that you might want to cover Person( age >= 18 ).<br>
>><br>
>><br>
>> I'd say that such a warning may not be very useful because<br>
>> - in many cases you may not be interested in the "other" values at<br>
>> all,<br>
>> - in some cases 18, 19,... is handled with Person( age < 50 ) with low<br>
>> salience (not recommended!),<br>
>> - in many (other) cases you use a (low salience) "catch all" rule to<br>
>> handle facts not selected by 1st order rules,<br>
>><br>
>> Moreover, I'm thinking of using additional rules with Verifier, with one<br>
>> of the primary targets being "magic numbers".<br>
>><br>
>> But Verifier is a fine achievement, and the confiugration is here to get<br>
>> you what you want!<br>
>><br>
>> -W<br>
>><br>
>><br>
>> Toni Rikkola<br>
>><br>
>><br>
>><br>
>><br>
>> _______________________________________________<br>
>> rules-users mailing list<br>
>> <a href="mailto:rules-users@lists.jboss.org">rules-users@lists.jboss.org</a><br>
>> <a href="https://lists.jboss.org/mailman/listinfo/rules-users" target="_blank">https://lists.jboss.org/mailman/listinfo/rules-users</a><br>
><br>
><br>
> _______________________________________________<br>
> rules-users mailing list<br>
> <a href="mailto:rules-users@lists.jboss.org">rules-users@lists.jboss.org</a><br>
> <a href="https://lists.jboss.org/mailman/listinfo/rules-users" target="_blank">https://lists.jboss.org/mailman/listinfo/rules-users</a><br>
><br>
<font color="#888888"><br>
<br>
--<br>
View this message in context: <a href="http://drools-java-rules-engine.46999.n3.nabble.com/Drools-verifier-tp2681002p2686028.html" target="_blank">http://drools-java-rules-engine.46999.n3.nabble.com/Drools-verifier-tp2681002p2686028.html</a><br>
Sent from the Drools - User mailing list archive at Nabble.com.<br>
_______________________________________________<br>
rules-users mailing list<br>
<a href="mailto:rules-users@lists.jboss.org">rules-users@lists.jboss.org</a><br>
<a href="https://lists.jboss.org/mailman/listinfo/rules-users" target="_blank">https://lists.jboss.org/mailman/listinfo/rules-users</a><br>
</font></blockquote></div><br>