blogFine tuning assertion checking dynamically

maverick's picture
in

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

Comments

More appropriate medium

manus_eiffel's picture

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

Thanks for the pointer

maverick's picture

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

Syndicate content