Re: Call for test cases

Jos,

Thanks for the test cases!

The test case format page is an initial draft created after F2F9, and we 
need 
to update it,  and reconcile it with the templates.

There are currently fields to record basic associated information, which 
may
be reformatted (and possibly added to) later.  Let us know if there isn't 
a field for
something you want to record.

The proposed test cases on 
http://www.w3.org/2005/rules/wiki/Category:Test_Case
should be in valid presentation syntax, those that aren't need to be 
fixed.

Your test case that you asked about
http://www.w3.org/2005/rules/wiki/Test_Case_Local_Constant
looks good to me, but I'm not sure if conclusion needs to be a document.

Is it ok if we move around some of your test case pages, so that they are 
not all
under "T" ?

(for now) The first letter of your test case page
(as in http://www.w3.org/2005/rules/wiki/<your test case page> )
determines which heading it shows up under on 
http://www.w3.org/2005/rules/wiki/Category:Test_Case

-TCG





Jos de Bruijn <debruijn@inf.unibz.it> 
Sent by: public-rif-wg-request@w3.org
08/21/2008 09:45 AM

To
Chris Welty <cawelty@gmail.com>
cc
"Public-Rif-Wg (E-mail)" <public-rif-wg@w3.org>
Subject
Re: Call for test cases








> Below are instructions to create new test cases on the WIKI. The test
> cases will be automatically classified into the category of the used
> template and the specified dialect. We probably might need more
> templates (categories) later,  as described here
> http://www.w3.org/2005/rules/wiki/Test#Categories_of_RIF_Test_Cases
> 
> But let's start simple first and collect positive entailment tests which
> demonstrate BLD and DTB.
> 
> The properties of the templates for test cases are described here
> http://www.w3.org/2005/rules/wiki/Test_Case_Format

The page lacks descriptions of the properties Text and Format and
guidelines about how to format the title.
Then, it is not very clear to me what the difference is between the
properties Purpose and Description.

> Some example test cases for BLD (positive entailment test cases) can be
> found here
> 
> http://www.w3.org/2005/rules/wiki/Test_Case_Ordered_Relations
> http://www.w3.org/2005/rules/wiki/Test_Case_Unordered_Relations
> http://www.w3.org/2005/rules/wiki/Test_Case_Frames
> http://www.w3.org/2005/rules/wiki/Test_Case_Equality

All the examples like the required properties title and purpose.  In
addition, it is unclear to me which syntax they use. it is certainly not
valid presentation syntax.


I tried to write a test case (a negative entailment test), but I was not
sure whether it is in the correct format.  Please check:
http://www.w3.org/2005/rules/wiki/Test_Case_Local_Constant


Best, Jos

> 
> 
> 
> Stepts to submit test cases on the WIKI at
> http://www.w3.org/2005/rules/wiki/Category:Test_Case
> 
> 1. To create a new test case type in a new unused WIKI URL such as
> http://www.w3.org/2005/rules/wiki/Test_Case_[Name of Test Case]
> and edit the page (you must be logged in).
> 
> 2. Write your test case unsing one of the existing templates for test
> cases. Currently there are two templates
> 
> - A template for positive entailment tests consisting of premises and
> conclusion(s)
> http://www.w3.org/2005/rules/wiki/Template:PositiveEntailmentTest
> - A template for positive syntax tests consisting of a valid RIF rule
> set example
> http://www.w3.org/2005/rules/wiki/Template:PositiveSyntaxTest
> 
> To write a test case, the easiest way is to simply copy and paste the
> sources of an existing test case (edit an existing test case) to your
> new test case and change the fields. An example can be found here
> http://www.w3.org/2005/rules/wiki/Test_Case_Example
> 
> Your new test case will be automatically classified into the category of
> the template which you have used and the category of the dialect, which
> you have specified in your test case, e.g. Core, BLD, PRD.
> 
> 3. It is possible to define new templates for test cases. You might take
> a look at  the sources of the existing templates (edit the template) and
> the description of their properties at
> http://www.w3.org/2005/rules/wiki/Test_Case_Format
> 
> General categories of test cases envisioned by RIF can be found at
> http://www.w3.org/2005/rules/wiki/Test#Categories_of_RIF_Test_Cases
> 
> 

-- 
Jos de Bruijn            debruijn@inf.unibz.it
+390471016224         http://www.debruijn.net/
----------------------------------------------
No one who cannot rejoice in the discovery of
his own mistakes deserves to be called a
scholar.
  - Donald Foster