W3C home > Mailing lists > Public > www-qa@w3.org > May 2002

Re: Testable assertion tagging for W3C specifications

From: Jonathan Robie <jonathan.robie@datadirect-technologies.com>
Date: Mon, 06 May 2002 15:03:01 -0700
Message-Id: <>
To: Lofton Henderson <lofton@rockynet.com>, scott_boag@us.ibm.com
Cc: spec-prod@w3.org, w3c-query-editors@w3.org, www-qa@w3.org
We already do some things to ensure consistency and correctness in our 

We use xmlspec, which gives us consistency in markup and formatting 
conventions. We use conventions for our markup that allow us to do queries 
that extract the queries from the use cases or the XQuery spec, so that we 
can run them through a parser or test them against an implementation (this 
does require some manual intervention). We generate a parser from the same 
markup that generates the productions for the grammar in our documents. We 
have a Formal Semantics document. All of these things result in real 
effort, but we have decided that the quality gains associated with them 
justify the effort.

Can someone do a mockup of how automatic tagging of assertions would be 
used, the level of correctness that could be guaranteed from this approach, 
the extent to which this constrains editors in describing features, etc? So 
far, I have not heard anything concrete enough to let me assess the 
cost/benefit. I don't know the cost, and I don't know the benefit.

Received on Monday, 6 May 2002 18:03:06 UTC

This archive was generated by hypermail 2.4.0 : Friday, 17 January 2020 22:43:19 UTC