[Bug 3715] Lack of coverage for static typing feature

http://www.w3.org/Bugs/Public/show_bug.cgi?id=3715

           Summary: Lack of coverage for static typing feature
           Product: XML Query Test Suite
           Version: 1.0
          Platform: Other
        OS/Version: Linux
            Status: NEW
          Severity: normal
          Priority: P2
         Component: XML Query Test Suite
        AssignedTo: andrew.eisenberg@us.ibm.com
        ReportedBy: frans.englich@telia.com
         QAContact: public-qt-comments@w3.org


The XQTS lacks coverage in several known areas(and probably unknown too), and
here is a known one which I haven't written tests for locally:

As of this writing there have been a lot of bugs reported on tests that aren't
static typing safe. These tests haven't been reported previously despite static
typing implementors have been reported other bugs, suggesting that their
implementations aren't conformant is this area.

I believe an improvement for this lack of coverage is to find all reports
kindly reported by tim@cbcl.co.uk and write static typing tests that are
similar, but intentionally cases type errors.

So, this report can be addressed whenever a pickup-heat is done for XQTS, and
new tests are added.

That implementors seem to implement static typing so widely, really makes me
wonder how useful spec'ing static typing is.

(Another area where XQTS could use stronger coverage is regular expressions.)


Frans

Received on Wednesday, 13 September 2006 11:16:12 UTC