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