eiffelroom - Fine tuning assertion checking dynamically - Comments

Thanks for the pointer

maverick — Thu, 31 May 2007 18:19:01 -0700

Hi Manu,

Thanks for the pointer, I'll ask such question there, from now on. For this one, though, I don't think it will be necessary: if you're positive about the fact that the assertion checking cannot be set up programmatically, all I'll do is note that it could support some interesting optimization, for example in the case of big automated test batteries.

Cheers!

Simon

More appropriate medium

manus_eiffel — Thu, 31 May 2007 12:17:47 -0700

Hi Simon,

I think those kind of questions are better answered through the mailing lists rather than in a blog. The answer is that you can specify in the project settings of EiffelStudio which assertions will be monitored during execution, but once it is setup, you cannot change those settings during execution.

Hope this helps, Manu

Fine tuning assertion checking dynamically

maverick — Thu, 31 May 2007 11:34:38 -0700

Hi everybody!

Is there a way to dynamically select the assertions one want to check? It would be interesting for automatic testing to be able to enable all or some particular kind of assertions (like preconditions or postconditions) for a given class. This way, the test case about SOME_CLASS would enable every assertion checking on it and disable most or all assertion checking on the rest of the system.

Does anybody know that such a feature exists?

Cheers!

Simon