W3C home > Mailing lists > Public > public-rif-wg@w3.org > August 2008

[RIF-Test] RIF Test Cases

From: Adrian Paschke <Adrian.Paschke@gmx.de>
Date: Mon, 11 Aug 2008 22:22:36 +0200
Message-ID: <20080811202236.90050@gmx.net>
To: public-rif-wg@w3.org

Dear All,

With respect to our actions 548 and 549 we would like to discuss the following questions in tomorrow's telecon.

1. Categories and types of test cases for RIF

-          Which types of test cases do we need for RIF?
-          What it the purpose of the different types?
-          Test suites, e.g. for the different RIF dialects, built-ins and
functions of DTB, RIF use cases and requirements of UCR

see http://www.w3.org/2005/rules/wiki/Test#Categories_of_RIF_Test_Cases
and test cases discussion page
http://www.w3.org/2005/rules/wiki/TCS#Categories_of_RIF_Dialect_test_cases

2. Normative or Not; Conformance suite or informative?

- Are test cases normative and if yes which categories / types are normative
which not?
- What does it mean to be conformant to the "normative" RIF tests?

The RIF charter requires us to deliver test cases which reflect issue resolution and  which aid  in conformance evaluation see
http://www.w3.org/2005/rules/wiki/TCS#Conformance_suite_or_informative.3F


3. What does it mean to say that a RIF test is passed?

- Do we say it passes if  (a) we can express this premise, and (b) the
semantics entails that all models that satisfy the premise satisfy the conclusion
    ---- in BLD?
    ---- in all dialects of RIF?
    ---  in all languages that we expect can be translated into RIF or dialects of RIF?

 
4. Presentation and representation of RIF test cases and test suites

-  Formal representation
-  Concrete XML-based RIF syntax
-  Human-oriented presentation syntax

see http://www.w3.org/2005/rules/wiki/TCS#RIF_test_case_structure
and the RIF Test Case Format
http://www.w3.org/2005/rules/wiki/Test_Case_Format for the existing test
case examples on the test case category page
http://www.w3.org/2005/rules/wiki/Category:Test_Case

 
5. Process of collection and releasing test cases in the RIF working group

- Shall we solicit test cases from the community or only the RIF working
group?
- Setup a repository for RIF test cases, like:
http://www.w3.org/2002/03owlt/ or (re-)use the WIKI
http://www.w3.org/2005/rules/wiki/Category:Test_Case
- In which format do we accept test case submissions (to maximize
participation, we might not insist on a particular format, but might accept
test cases in various formats, even in natural language).
- How do we approve test cases, e.g. like in the OWL working group
http://www.w3.org/TR/owl-test/#approval

 

Best Regards,

 Adrian, Stella, Leora

-- 
Ist Ihr Browser Vista-kompatibel? Jetzt die neuesten 
Browser-Versionen downloaden: http://www.gmx.net/de/go/browser
Received on Monday, 11 August 2008 20:24:44 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Tuesday, 2 June 2009 18:33:53 GMT