Copyright ©2002 W3C ® (MIT, INRIA, Keio), All Rights Reserved. W3C liability, trademark, document use and software licensing rules apply.
This document defines a set of common guidelines for conformance test materials for W3C specifications. This document is one in a family of Framework documents of the Quality Assurance (QA) Activity, which includes the other existing or in-progress specifications QA Framework: Introduction, QA Framework: Operational Guidelines, and QA Framework: Specification Guidelines.
This section describes the status of this document at the time of its publication. Other documents may supersede this document. The latest status of this document series is maintained at the W3C.
This document is a W3C Working Draft (WD), made available by the W3C Quality Assurance (QA) Activity for discussion by W3C members and other interested parties. For more information about the QA Activity, please see the QA Activity statement.
This version is the first published Working Draft. It is expected that updated WD versions of this document will be produced regularly, along with other members of the Framework documents family. Future progression of this document beyond Working Draft is possible, but has not yet been determined.
This part of the Framework document family will eventually have an informative accompanying QA Framework: Test Examples and Techniques document. It will illustrate ways in which the guidelines and checkpoints of this document might be satisfied.
The QA Working Group Patent Disclosure page contains details on known patents related to this specification, in conformance with W3C policy requirements.
Please send comments to www-qa@w3.org, the publicly archived list of the QA Interest Group [QAIG]. Please note that any mail sent to this list will be publicly archived and available, do not send information you wouldn't want to see distributed, such as private data.
Publication of this document does not imply endorsement by the W3C, its membership or its staff. This is a draft document and may be updated, replaced, or obsoleted by other documents at any time. It is inappropriate to use W3C Working Drafts as reference material or to cite them as other than "work in progress".
A list of current W3C Recommendations and other technical documents can be found at http://www.w3.org/TR/.
1. Introduction
1.1 Motivation for this guidelines document
1.2 Navigating through this document.
1.3 Priorities
1.4 Terminology
1.5 Glossary
2. Guidelines
G 1. Provide analysis of
the specification(s).
G 2. Declare the structure of the test suite.
G 3. Document the testing
methodology
G 4. Provide the test automation and
framework
G 5. Provide the results reporting
framework
G 6. Plan for tests development
G 7. Plan for conformance testing
3. Conformance
3.1 Conformance definition
3.2 Conformance disclaimer
4. Acknowledgments
5. References
6. Change History
This document is part of a family of QA Framework documents designed to improve the quality of W3C specifications as well as their implementations by solidifying and extending current quality practices within the W3C. The QA Framework documents are:
The guidelines are intended for all Working Groups as well as developers of conformance materials for W3C specifications. Not only are the Working Groups the consumer of these guidelines they are also key contributors. The guidelines capture the experiences, good practices, activities, and lessons learned of the Working Groups and present them in a comprehensive, cohesive set of documents for all to use and benefit from. The objective is to reuse what works rather than reinvent and to foster consistency across the various Working Group quality activities and deliverables.
This document aims at giving guidelines for testing implementation's conformance with the W3C specifications. In each of the subsections below, you will find information and pointers necessary to either choose among the existing test suites and test frameworks which may suit your needs, or constructing a new ones for testing implementations' conformance.
Whether we are taking on a new test suite development task or we are looking for a test suite to reuse, we always ask ourselves about:
These questions are the necessary basis to determine the quality of a test suite, the test suite quality criteria. The main goal of the checkpoints in this document is to verify if the test suite provides effective means to answer these questions.
The process for developing and using conformance test materials is affected by QA activities beyond those that are explicitly provided in this document. The QA Framework documents are interrelated and complement each other. Links between applicable guidelines in this document and the other Framework documents will be given.
The document illustrates the benefits from following the guidelines for writing specifications, stating conformance criteria, and keeping in mind the testability of specifications, especially stressing the interdependencies between specification markup languages (where it is currently being investigated if there can be an easy mechanism for stating test assertions among other things) and the testing frameworks that are discussed. In particular, the document aims to show the added value introduced by using structured test representations and semantic requirements and how these can be used to provide detailed information on implementation conformance and streamline the testing process.
One of the ultimate goals of a standard is interoperability between it's implementations. Several contemplating efforts help to ensure this goal:
Once we establish a conformance test suite as a criteria for implementations as well as the specification, the quality of the test suite becomes an important factor.
The Guidelines of this document follow the structure of the test suite quality criteria outlined above.
The first two guidelines target the test strategy, providing a simple checklist to verify the scope of the test suite, the "target set" of specifications/areas.
Guidelines 3 - 5 address details of the test methodology and test automation qualities. Guideline 4 (test automation) also focuses on instruments the automation must provide to measure the specification coverage by the test suite. The specification coverage measurement answers the question about test suite completion.
Guideline 5 focuses on the reporting means that the test suite must provide, in order to be able to define the test criteria for implementations.
This document employs the WAI (Web Accessibility Initiative) model for representing guidelines or general principles for the development of conformance materials. See, for example, Web Content Accessibility Guidelines. Each guideline includes:
The checkpoint definitions in each guideline define the processes and operations that need to be implemented in order to accomplish the guideline. Each checkpoint definition includes:
Each checkpoint is intended to be specific enough so that someone can implement the checkpoint as well as verify that the checkpoint has been satisfied.
High quality and timely production of test materials are the key requirements to produce a high quality interoperable standard. Therefore each checkpoint has a priority level assigned by the QA Working Group based on the checkpoint's impact on the quality and timing of the test materials produced by a Working Group.
The keywords "MUST", "MUST NOT", "REQUIRED", "SHALL", "SHALL NOT", "SHOULD", "SHOULD NOT", "RECOMMENDED", "MAY", and "OPTIONAL" will be used as defined in RFC 2119 [RFC2119].
Unusual terms in these framework documents are defined when first used, and most generally useful QA-specific terms will eventually be in the QA Glossary [QA-GLOSSARY].
This section contains the definitions for all the critical terms used in the guidelines below. This does not substitute the QA Glossary [QA-GLOSSARY], but rather focuses on the most important terms for the Testing guidelines.
Guideline 1. Provide analysis of the specification(s).
In order to define the strategy of the test suite, a detailed analysis of the specification (the subject of the test suite) is required. The better the initial analysis can be done, the clearer testing strategy will be.
Checkpoint 1.1. Identify the target set of specifications that are being tested. [Priority 1]
Most if not all of the specifications use notions and behaviors defined in other technical documents. For example, even base specification like XML uses definitions from specifications like URN and URI Syntax, Media Types, Unicode, etc. Some specifications are more self-contained and makes only limited use of the syntax defined in other specifications. Other specifications like XSLT [@@LINK] heavily relies on the syntax and semantics defined in the XPath [@@LINK] specification. In order to understand the scope of the test development work, building the tree of the referenced specifications helps
[EX-TECH] The XQuery specification which has a draft status as of the time of writing, explicitly defines a set of the W3C specifications it depends on together with their versions: XPath 2.0, XmlSchema 1.0, XML 1.0 SE. This allows conformance test developers to determine the scope of their work and to reuse the tests from the test suites built for the referenced standards.
The target set may include more then one specification, depending on how strongly does the primary specification under testing rely on the referenced specifications.
[EX-TECH] For example, XML test suite [@@Link] may not include tests that specifically test the URN format, but XSLT [@@Link] and XQuery [@@Link] test suites will include many tests for XPath functions.
Checkpoint 1.2. Identify test assertions from the target set of specifications. [Priority 1]
Once the test suite defined the target set of specifications that are being tested, more formal analysis is required to be present for each of them.
The QA Specifications Guidelines recommend to produce a set of test assertions for specification, so you may have them already. List of test assertions is necessary to focus testing.
[EX-TECH]
XML Protocol Working Group produced a list of assertions for the SOAP 1.2 part 1 and part 2 specification. The assertions where extracted manually from the specification text and links to the original text were added.
Microsoft, Open Wave and America Online contributed an HTML test suite [Ed: TEMP LOCATION, change before FPWD] that contains a list of assertions from the HTML 4.01 specification.
In both cases, extracted assertions helped to reach maximum specification coverage when developing the test suite. Links from the tests to the assertions provide a quantified information about the specification coverage.
NIST produced a test matrix for the XML 1.0 test suite that includes explicit references to the assertions in the spec.[@@Link]
Checkpoint 1.3. Group test assertions by levels, profiles, modules, etc. [Priority 1]
The conformance criteria, with respect to sub setting the specification , may include various degrees of variability (e.g., levels, profiles, modules). The test assertions should be grouped according to these subsets to allow the subsets to be tested as a whole.
[EX-TECH] In the SOAP example for the checkpoint above, the assertions were grouped by modules.
Checkpoint 1.4. Identify those test assertions that are part of the conformance criteria [Priority 1]
Depending on the Conformance Criteria defined in the specification, not all of the test assertions are necessary to satisfy in order to be conformant to the specification. For example if the conformance criteria of the specification requires implementer to comply with only those assertions that use "MUST" or "SHALL" keywords as defined in [RFC2119], all other test assertions (with "SHOULD", "MAY", etc) do not belong to the conformance criteria.
[EX-TECH] In all of the examples for the checkpoint above, all the assertions belongs to the conformance criteria for the corresponding specifications.
Checkpoint 1.5. Identify all the discretionary choices defined in the specification [Priority 1]
Test suite should accommodate discretionary choices to be used to test products depending on the vendors choice among the allowed behaviors. Having a standalone list of the discretionary choices extracted from the specification helps to automate tuning of the test suite according to the choices taken by a particular implementation.
[EX-TECH] OASIS XSLT/XPath Conformance Technical Committee produced a list of the discretionary items for the XSLT/XPath specifications. This was produced to be able to automate tuning of the test suite according to a particular implementation's choices as described in the checkpoint.
Checkpoint 1.6. Identify optional behaviors in the specification [Priority 2]
Some part of the specifications might be declared as optional to implement as a whole. But if an implementation claims to implement them, it must conforms to the whole part. A good example of such optional "adjuncts" are protocol bindings.
Checkpoint 1.7. Identify behaviors that are undefined or defined ambiguously in the specification [Priority 2]
Although the spec ideally should not have such flaws, one can never guarantee it. Maintaining a list of such issues helps in both: fixing specifications in next revisions and cataloging the incoming tests that falls into undefined or ambiguously defined areas.
Checkpoint 1.8. Identify explicitly undefined behaviors in the specification [Priority 2]
Although it is not a recommended practice, a specification's authors may explicitly abstain from defining product behavior in certain circumstances. List of such statements in the spec helps to analyze incoming tests appropriately.
Checkpoint 1.9. Identify contradictory behaviors in the specification [Priority 2]
Such contradictory combinations should not occur in a specification in the first place, but if they exists, they are needed for both test analysis and future errata tracking.
Checkpoint 1.10. List the user scenarios for the specification [Priority 1]
User scenarios help keep the tests focused. They also help to understand requirements for the test framework on a very early stage of testing
[EX-Tech] The W3C XML Query Working Group produced a comprehensive list of the Use Cases that has been very helpful in development of the conformance test suite.
Guideline 2. Declare the structure of the test suite.
There are many ways to structure the test suite. This guideline lists common requirements to the structure and provide common examples.
Checkpoint 2.1. Document the structure for the test suite. [Priority 1]
Usually the structure of the test suite matches the specification areas/content, but sometimes it is easier to define them based on some other criteria, like applicable testing methodology, user scenarios, profiles etc.
[EX-TECH] Here is an informative list of the possible test suite structures:
The test suite may use a combination of these organizational principles.
Checkpoint 2.2. Provide mapping between the test suite structure and the specification structure. [Priority 1]
Regardless of the principle chosen for the test suite structure, the mapping between the test areas and the specification text is essential. Relationship between tests and specification should be traceable via test to test assertions mapping described in the checkpoint below.
The document model when the test suite structure follows the structure of the specification, is the recommended practice, unless the categorization by user scenarios or some other criteria suites better test suite framework and development prioritization.
[EX-TECH] Each of the contributions to the W3C XML Schema Test collection are categorized according to the specification structure.
[EX-TECH] When mapping between the test suite structure and the test specification is provided, it may be useful to design a set of sample testing scenarios, based on the user scenarios. Those are not actual tests, but rather test examples. This helps to properly select testing framework, create templates for test cases, define future sub areas.
For example, XML Query Use cases document has sample test scenarios that could be used as a basis for any XQuery test suite and gives a good feeling of the requirements for the test framework.
To asses a completeness of the specification coverage by such testing scenarios, additional mapping could be built between the sample testing scenarios and the test assertions. This helps to formalize testing scenarios and provides basis for the future analysis of the specification coverage.
Guideline 3. Document the testing methodology
By testing methodology we understand a high-level answer to the question "How does the test suite verify the compliance to the specification?"
[EX-TECH]
A partial list of methodologies include
For SMIL and SMIL 2.0 the test suite used a specification driven framework. The test suite makes an attempt to verify the use of each element and attribute as defined in the normative language of the specification as well as attempting to verify any interactions between elements, also as defined by normative language. In other specifications I can see a different approach being more appropriate, for example with a specification that defines a specific protocol or method of communication (like soap) would be better tested using a use case type method where a series of use cases are defined but it is up to the tester to create a specific test that verifies a general use case.
Checkpoint 3.1. For each test area identify the testing approach [Priority 1]
By testing approach we understand a set of high-level methods/ideas/techniques to test the implementation's conformance to the standard. It is convenient to define test areas so that testing in a single area can be done using a single methodology.
The rational for using a specific testing methodology with in a specific test area should be defined. This is to ensure a consistent approach to testing by all users of a test suite.
We state that it is convenient to have a single methodology within a single area of testing. We feel it is important for a consistent methodology to be used over all test areas if possible. There is a potential trade off here between consistency and using the best approach to cover a specific area.
[EX-TECH] A simple example of the test suite using different testing approach for difference specification areas would be the W3C XML Schema test suite [@@LINK]. Testing the conformance to the schema validation assertions uses just a schema parsing technique with the expected result being true or false. While testing xml instance validation assertions requires to verify both the schema(s) validity, instance well-formness and instance validity against the schema(s).
Another example from the same test suite is testing xml instance validity against the schema. It may be done using inline schema definition inside the xml instance, explicitly referring schema from the instance using the @schemaLocation attribute or just supplying both the schema document for the namespace used in the xml instance. In different parts of the test suite, different techniques are used.
Checkpoint 3.2. Identify publicly available testing techniques. List the publicly available testing techniques that have been reused [Priority 1]
It is critical to avoid "reinventing the wheel" from both resource considerations and future integration perspectives.
Guideline 4. Provide the test automation and framework
The right choice of the test framework is critical part of the test development.
That said, the right framework for the test suite is a responsability of the Working Group. There are however a series of things that should be in synchronization, most notably reporting, result publication and test extraction (if it is done using the specification granularity we speak of in Specification Guidelines), that QA WG could help with.
Checkpoint 4.1. List available test frameworks, automation applicable. Identify available test frameworks used. If none, justify why new frameworks are needed, and existing ones could not be used. [Priority 1]
The WG that wants to produce a framework for testing implementation conformance with W3C specifications should initially invest some time in reviewing existing testing frameworks (some of which are given in the TestGL ExTech document [@@ link needed]), evaluating them for their purposes and, if plausible (in order to not reinvent the wheel) adopt them. The following roadmap is suggested:
If a particular framework is judged appropriate, inform original author of test framework (or WG chair if the framework was produced by a WG) and communicate additions, changes and errors if applicable.
If you do not find a testing framework that suits your needs, proceed along the following checkpoints to produce a testing framework that is fir to your needs.
Argumentation is the same as in reusing testing methodology
Checkpoint 4.2. Ensure the framework and automation are platform independent. Demonstrate on 3 platforms. Ensure that the framework and automation are built using open standards. [Priority 1]
Ideally, any testing framework should be platform independent, insofar as running and reporting is concerned. In cases when it is not feasible, parts of the framework could be made platform dependent as long as they are provided for each of the main stream platforms. However one needs to keep in mind that providing platform-specific test frameworks raises issues with adding work that needs to be done to the testing framework itself; if one was to provide platform-specific test frameworks, time and resources need to be allocated time to produce and ascertain their quality.
Checkpoint 4.3. Ensure the framework and automation are applicable to any product/content that implements the specification. Demonstrate with three products/contents. Ensure that the framework and automation are built using open standards. [Priority 2]
Similar to the previous one, test suite should be able to cover all products that specification allows. The difficulty arises that we cannot envision at this stage what implementations will come along, neither can we anticipate what subsets of existing specifications that future implementations will conform to. But the fact that test framework is applicable to at least three different implementations brings a good confidence that adopting it to any other product is feasible.
Sometimes parts of a test framework have to be adjusted for the particular implementation. For example, look at the OASYs XSLT [@@LINK] test framework. In this case similar risk of the additional work exists.
[EX-TECH] An example of the product independent testing framework would be a web-based testing framework, that runs in the majority of main stream browsers (with a satisfactory degree of conformance to specifications they implement).
Checkpoint 4.4. Ensure the framework makes it easy to add tests for any of the specification areas. Demonstrate, through an example, how tests are easily added to a specification area. [Priority 2]
Test suite will expand over time, and eventually cover all areas of the specification. Test frameworks should be open to easily adding new test material, especially since test suites will grow over time and test added functionality. Thus it is vital that it is easy to add new tests, properly marked (eg. per specification module). It is also critical to comply to this checkpoint in order to fulfill the checkpoint 5.2 and 8.1 from the QA Operational Guidelines.
Checkpoint 4.5. Ensure the ease of use for the test automation. Document how the test automation is easily used. [Priority 1]
Usability is critical requirements of the test suite. But as critical is to ease the tests contribution.
[EX-TECH]A good example of the documented test framework for a conformance test suite is an XSLT test framework[@@LINK].
Checkpoint 4.6. Ensure the framework allows for specification versioning and errata levels. Explain how specification versioning and errata levels are accommodated by the test framework [Priority 2]
This should be one of the criteria for adopting/producing a testing framework. It is easy to solve in the case of using a particular set of markup which would then include specification level along with added metadata information. Requirement from the Process guidelines.
Checkpoint 4.7. Ensure the framework accounts for choices allowed for discretionary choices in the specification. Explain how discretionary behaviors are accommodated by the framework. [Priority 2]
This is an integral part of the test suite to be applicable to any product allowed by the specification. It also applies to the checkpoint immediately after this one. Given that the tests will be represented in a structured manner, it should be possible to run only those tests that a particular implementation is known to support (which is the case with optional sets of specifications).
Checkpoint 4.8. Ensure the framework allows for tests for optional behaviors defined in the specification. Explain how optional behaviors are accommodated by the framework. [Priority 3]
While optional behaviors are not necessary to implement, some of them might be self contained additions (like protocol bindings), that needs a test suite themselves. These tests will of course be applicable only to those products that claims to implement optional behaviors/profiles.
Experience from the DOM TS shows that allowing for optional/multiple behaviors is a high priority on the wish list for the TS. Implementers want to be able to test particular behaviors as defined in the specification, especially as they may have chosen to support only parts of the specifications (eg. DOM builds on XML, which allows for entity expanding/entity preserving applications).
Checkpoint 4.9. Ensure the test framework accommodates profiles, modules, product classes and levels if they are used in the specification. Demonstrate how the framework allows tests to be filtered by these dimensions of the variability if they are used in the specification. [Priority 2]
A framework should allow configure testing the implementations depending on what allowed combination of the dimensions of the variability they implement.
Checkpoint 4.10. Ensure the framework accommodates conformance policy defined in the specification. Demonstrate how the framework allows tests to be filtered by levels. [Priority 1]
If the conformance criteria introduces levels, test framework should allow to filter tests by levels.
Checkpoint 4.11. Ensure the framework supports test results verification. Demonstrate results verification by testing three products. [Priority 1]
Results verification is critical part of the test framework. Since the test should run on any platform against any product implementing the spec, same applies to the result verification support.
Checkpoint 4.12. Ensure the framework allows the tests to be documented. Explain how to document the tests, within the framework [Priority 2]
For better maintenance. This includes annotating tests with pointers to the original specification(s). Using a proper source and test documentation mechanism is vital for the quality of the test framework.
[EX-TECH] W3C test suites for XML, DOM, XML Schema and OASys XSLT test suite all contain good examples of the documented tests.
Checkpoint 4.13. Ensure the framework has proper test case management. Demonstrate how at least one of the following test case management functions are accomplished, within the framework: managing additions; managing removals; filtering by various criteria [Priority 3]
Test case management includes accounting system for tests, managing additions, removal, filtering by various criteria.
Checkpoint 4.14. Ensure the framework allows specification coverage to be measured. Demonstrate the above by mapping a list of tests to the list of test assertions, grouped by areas [Priority 2]
One effective way to measure the specification coverage is to map list of tests to the list of test assertions grouped by areas. Using a structured markup to represent tests gives the possibility to point to particular parts of the specification (especially if the specifications are also written using structured markup). In this way, one can group tests according to specification parts, and view the results in the same manner.
Guideline 5. Provide the results reporting framework
WG should encourage vendors to report testing results for their products. In order to do that, a WG needs to provide vendors with the results format, necessary style sheets, etc.
Checkpoint 5.1. Ensure that the test framework supports reporting the results. [Priority 1]
All the requirements for the test framework such as applicability to any platform and implementation, ease of use, support for the specification versioning and errata levels directly apply to the results reporting support.
Checkpoint 5.2. Ensure the ease of use for results reporting. Demonstrate that the results reporting has sorting and filtering capabilities. [Priority 1]
This is a necessary part of the ease of use requirement to facilitate the results reporting by vendors.
Checkpoint 5.3. Document how the results reporting allows results to be exported in a self-contained format suitable to publication on the web. [Priority 2]
Results reporting needs to be implemented keeping in mind that results should be publishable on the web. Therefore producing a self-contained version of the test reporting (including pointers to tests and relevant parts of the specification) in HTML form is recommended.
Checkpoint 5.4. Demonstrate that the results reporting provides details on failures (logs) sufficient to investigate. [Priority 3]
Logging facilitates testing results investigation and therefore is part of the ease of use requirement. Results reporting should be able to provide test logs.
[EX-TECH] An example of the logging incorporated into the test framework and results reporting in particular is SOAP Builders interoperability testing participants results page [@@LINK].
Checkpoint 5.5. Document how the results reporting allows for history/storing analysis comments [Priority 3]
Needed to investigate/compare the different versions of the product.
Guideline 6. Plan for tests development
The aim of the checkpoints in this guideline is to ensure that the Working Group has the plan for the test development in place. Fulfillment of the checkpoints below will facilitate compliance with the checkpoints 5.2 and 5.4 from the QA Operational Guidelines
Checkpoint 6.1. Define priorities for the test areas [Priority 2]
Helps to prioritize testing development and test reviews. Also allows to identify certain areas to be covered by the test prototype (see next checkpoint) at the early stages of the test suite development.
Checkpoint 6.2. Introduce a mechanism for the early feedback on the test suite architecture, test framework. Document and publish the mechanism to the intended auditorium. [Priority 3]
An effective way to verify that the test framework and the test suite architecture suites the testing needs is to develop a test suite prototype that contains a limited amount of tests and a test framework prototype for it.
Checkpoint 6.3. Ensure regular specification coverage analysis. Provide the schedule for specification coverage analysis. [Priority 2]
Fulfillment of this checkpoint facilitates satisfying the checkpoint 3.1 of the QA Operational Guidelines
[EX-TECH] Several tips for organizing an effective test suite development are listed below
Guideline 7. Plan for conformance testing
Checkpoints of this guideline aim to ensure that the Working Group has the plan for conducting conformance tests.
Checkpoint 7.1. Document the plan of engaging implementation's vendors into the conformance testing. [Priority 1]
A common practice is to support public discussion group dedicated to the test-suite, organize f2f meetings for vendors and other interested parties.
Checkpoint 7.2. Encourage Vendors to publish test results for their products by reserving a special space where information pertaining to test results can be maintained. [Priority 3]
It may be that the W3C can have a special space where information pertaining to test results can be given, if not explicitly, then using links to those pages where the information can be found (in order not to have to provide disclaimers).
This section defines conformance of Working Group processes and operations to the requirements of this specification. The requirements of this specification are detailed in the checkpoints of the preceding "Guidelines" chapter of this specification, and apply to the Working Group QA-related documents and deliverables required by this specification.
This section defines three levels of conformance to this specification:
A Working Group conforms to the "QA Framework: Operational Guidelines" at Level X (A, AA, or AAA) if the Working Group meets at least all Conformance Level X requirements.
To make an assertion about conformance to this document, specify:
Example:
"The test materials of this Working Group conform to the W3C's 'QA Framework: Test Guidelines', available at http://www.w3.org/TR/2002/qaframe-test/, Level AA."
The checkpoints of this specification present verifiable conformance requirements about the quality of the test materials developed or adopted by the Working Group. As with any verifiable test requirements, users should be aware that:
The following QA Working Group and Interest Group participants have contributed significantly to the content of this document:
Expanded introduction, added motivation, etc...
Added examples to the checkpoints in the Gd1,2,3
[MS] Changed the text of many checkpoints to make them verifiable
[DD] First pass on Introduction, added more text to the checkpoints in the Gd 3-5
Fixed definitions of priorities
Fixed the glitch with the "Test Areas" guideline
Added clarification to Ck 1.1, 1.2, 1.5 (removed "vague"), 1.6
Added short prose to each checkpoint
First draft outline