Validator.nu Validation 2.0. Henri Sivonen

Transcription

1 Validator.nu Validation 2.0 Henri Sivonen

2 Generic RELAX NG validator HTML5 validator In development since 2004 Thesis 2007 Now funded by the Mozilla Corporation

3 Generic Facet

4 HTML5 Facet

5 2.0?

6 SGML

7 HTML5 Parsing

8 DTDs

9 RELAX NG

10 Bring Your Own RELAX NG

11 HTML5 Datatype Library

12 Beyond Schemas

13 API

14 Generic Validation

15 XML 1.0 or HTML5 parsing Bring your own schema or use a preset RELAX NG (XML and Compact) Schematron 1.5 NVDL Java-based checkers Filter out select namespaces

16 HTML5 Validation

17 Minimal UI Schema and parser from Content-Type HTML5 + ARIA XHTML5 + ARIA + SVG MathML 2 Maybe standalone SVG?

18 Architecture

19 Architecture Browser HTTP Response GET?doc=url Result Report

20 HTTP Server Servlet API Byte Stream SAX Events Event Serializer Controller SAX Events SAX Errors Event-Emitting ErrorHandler SAX Errors SAX EntityResolver API SAX Errors Checker Back End Byte Stream HTTP Client

21 HTTP Response GET url Document to Check Origin Server

22 HTTP Server Servlet API Byte Stream SAX Events Event Serializer Controller SAX Events SAX Errors Event-Emitting ErrorHandler SAX Errors SAX EntityResolver API SAX Errors Checker Back End Byte Stream HTTP Client

23 HTTP Server Servlet API Byte Stream SAX Events Event Serializer Controller SAX Events SAX Errors Event-Emitting ErrorHandler SAX Errors SAX EntityResolver API SAX Errors Checker Back End Byte Stream HTTP Client

24 Back End HTML5 Document HTML Parser Splitter Splitter Splitter Etc. XHTML5 Document XML Parser ID assignment RELAX NG validator Schematron validator Table Checker ErrorHandler

25 SAX Parse events as callbacks initiated by parser startelement() characters() endelement()

26 Back End HTML5 Document HTML Parser Splitter Splitter Splitter Etc. XHTML5 Document XML Parser ID assignment RELAX NG validator Schematron validator Table Checker ErrorHandler

27 HTTP Server Servlet API Byte Stream SAX Events Event Serializer Controller SAX Events SAX Errors Event-Emitting ErrorHandler SAX Errors SAX EntityResolver API SAX Errors Checker Back End Byte Stream HTTP Client

28 HTTP Server Servlet API Byte Stream SAX Events Event Serializer Controller SAX Events SAX Errors Event-Emitting ErrorHandler SAX Errors SAX EntityResolver API SAX Errors Checker Back End Byte Stream HTTP Client

29 HTTP Server Servlet API Byte Stream SAX Events Event Serializer Controller SAX Events SAX Errors Event-Emitting ErrorHandler SAX Errors SAX EntityResolver API SAX Errors Checker Back End Byte Stream HTTP Client

30 Browser HTTP Response GET?doc=url Result Report

31 What s New?

32 Compound Documents

33 Intertwined XHTML5, SVG and MathML Holes for RDF, Inkscape and OpenMath RELAX NG at the moment NVDL not needed so far

34 HTML5 + ARIA (Very Experimental)

35 Accessible Rich Internet Applications Attributes for communicating DHTML widget state to Assistive Technology <div role="slider" aria-valuemin="0.0" aria-valuenow="0.5" aria-valuemax="1.0"> HTML integration not formally specified yet

36 Image Report

37 The alt Issue There s more to QA than absent/present Avoid validator silencing with alt="" or alt="image" Different evaluation axes Human vs. Computer

38 Four Categories No alt No alt, linked Empty alt Non-empty alt

39 Valid Before QA

40 Still Valid but Better

41 HTML5 Parser

42 Finally Specified HTML Parsing

43 <a href="([^"]*)">

44 Commoditizing HTML Parsing

45 Outside the Browser Validation Extraction Aggregation Templating XSLT Etc.

46 HTML for Your App Available today One JAR APIs you already use: SAX, DOM, XOM Tree builders easy to add Use the code you wrote for XHTML (as with John Cowan s TagSoup)

47 Features Very permissive licensing: MIT/expat Customizable conversion to XML Both streaming and tree-buffered SAX Encoding detection With optional jchardet and ICU4J sniffers Coming soon: document.write()

48 Beyond Java Good starting point for ports to C, C++, Objective-C, C# Automated rewriting? Python, Ruby: html5lib (today) C# pull API: Twintsam (upcoming)

49 Web Service API

50 Validation for Your App Remote No setup, no fee No SLA, no guarantee Inter-Process Communication python build/build.py all Privacy, your own level of service

51 RESTful API Form inputs + pure POST Just append &out=foo to the URI XML JSON GNU

52 POSTing 1. Get your data into a byte buffer 2. Set Content-Type 3. POST the buffer (following redirects) 4. Read the response Optional: gzip supported both ways

53 HTML Output

54 XML Output <?xml version="1.0" encoding="utf-8"?> <messages xmlns=" xmlns:h=" url=" <error last-line="1" last-column="90" first-column="1"> <message>legacy doctype.</message> <extract><m><!doctype HTML PUBLIC "-//W3C//DTD HTML 4.01//EN" " <html </extract> </error> </messages>

55 JSON Output { "url" : " "messages" : [ { "type" : "error", "lastline" : 1, "lastcolumn" : 90, "firstcolumn" : 1, "message" "extract" "hilitestart" : 0, "hilitelength" : 90 : "Legacy doctype.", : "<!DOCTYPE HTML PUBLIC \"-//W3C//DTD HTML 4.01//EN\" \" TR/html4/strict.dtd\">\n<html", } ] }

56 GNU Output " error: Legacy doctype.

57 POSTing is super-simple Or GET resources from the Web XML & JSON outputs thoroughly specified With forward-compatible processing rules

58 Mashing It Up Cross-site XMLHttpRequest Access Control for Cross-site Requests Server ready; awaiting browsers JSON in callback cross-site JS, GET-only

59 Problems No guarantees Deploying early and often bad code, too No 24/7 operations department Vulnerable to Schematron DoS

60 Local Copy Problems RAM footprint Entity resolver must reach custom schemas data: URIs inconvenient Need to manage updates

61 Questions?