Call for test cases

RIF WG,

Please take a few minutes to think up a test case or two (or ten) for BLD, and 
put them up on the Wiki.  We informally agreed on the last telecon to focus 
mainly on entailment tests (though if you find a real need for some other kind 
of test case please present the case and argument to the group).  Adrian, Leora, 
and Stella are editing the 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

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



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


-- 
Dr. Christopher A. Welty                    IBM Watson Research Center
+1.914.784.7055                             19 Skyline Dr.
cawelty@gmail.com                           Hawthorne, NY 10532
http://www.research.ibm.com/people/w/welty

Received on Thursday, 21 August 2008 13:04:33 UTC