Dear Waldek,

Waldek Hebisch <[EMAIL PROTECTED]> writes:

> Martin Rubey wrote:
> > 
> > Waldek Hebisch <[EMAIL PROTECTED]> writes:
> > 
> > > It also makes harder to track changes to categories.
> > 
> > Don't understand this one.
 
> svn tells us the last revision in which given file changed and
> keeps log of changes.  If we have non-code changes or
> changes which do not affect functionality then trying to find
> out which patch caused some change in functionality requires
> "filtering out noise".

OK, I see.  Yes, this is a serious argument.  However, it applies
generally to testing "in the code".

I guess, to really resolve this conflict one would have to depend
on more sophisticated literate programming tools, which I
certainly do not want to employ.

> > > 3) In practice we test domains and packages: while some
> > > functions are implemented in categories we can test them
> > > only via domains.  Also, good test _should_ depend on
> > > implementation: we should test for known/suspected weak
> > > spots of implementation, we should aim for full coverage...
> > > Putting tests in categories moves implemention information
> > > into wrong place.
> > 
> > I'm quite sure that this is not true.  Tests should *not*
> > know about implementation, because otherwise I'll possibly
> > unconsciously test only things that work anyway.  (Happened
> > to me once...)
> 
> Googling for "Test coverage" should explain the issue.  There
> are dangers of using _only_ tests based on implementation, but
> using only black-box tests is even more dangerous.

Hm, I'm not sure about that one - and I didn't find a good
explanation of the pros and cons.  Best was probably:
http://www.faqs.org/faqs/software-eng/testing-faq/section-13.html

I guess however, that testing individual functions in the
categories does not mean that we cannot have other tests
elsewhere.

Hm, I think I'll simply put the new tests into
elemnum.input.pamphlet for now.

Martin


--~--~---------~--~----~------------~-------~--~----~
You received this message because you are subscribed to the Google Groups 
"FriCAS - computer algebra system" group.
To post to this group, send email to [email protected]
To unsubscribe from this group, send email to [EMAIL PROTECTED]
For more options, visit this group at 
http://groups.google.com/group/fricas-devel?hl=en
-~----------~----~----~----~------~----~------~--~---

Reply via email to