Re: Call for 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.

For BLD test cases the template seems to work.

> 
> 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.

Not according to the spec. Those formulas that are not documents are
implicitly assumed to be in a special query document.

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

Sure. I was just following Chris' instructions in the naming...


Best, Jos

> 
> (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
> 

-- 
                         debruijn@inf.unibz.it

Jos de Bruijn,        http://www.debruijn.net/
----------------------------------------------
One man that has a mind and knows it can
always beat ten men who haven't and don't.
  -- George Bernard Shaw