Re: Call for test cases

Dave,  thanks very much for the test cases.

It would be helpful, if possible, it you could add a sentence or 2 in the
optional description field to characterize the difference that you are 
illustrating.

Stella





Dave Reynolds <der@hplb.hpl.hp.com> 
Sent by: public-rif-wg-request@w3.org
08/22/2008 10:49 AM

To
"Public-Rif-Wg (E-mail)" <public-rif-wg@w3.org>
cc

Subject
Re: Call for test cases







I tried to add a couple of very simple test cases to illustrate the 
difference between frames and named-argument uniterms.

http://www.w3.org/2005/rules/wiki/Named_Argument_Uniterms_Test
http://www.w3.org/2005/rules/wiki/Named_Argument_Uniterms_Test2

Please let me know if I've got any of the formatting wrong (and indeed 
any of the content).

The parameters in the templates don't seem to match up to the properties 
listed in:
http://www.w3.org/2005/rules/wiki/Test_Case_Format

(desc for "description", talk for "discussion").

Given the feedback to Jos I've not started the page names with 
"Test_case".

Dave

Chris Welty wrote:
> 
> 
> 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
> 
> 

Received on Friday, 29 August 2008 02:08:43 UTC